search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
215 stars 54 forks source link

[build] Specify 1.13 as the minimal version for zarith #873

Closed maranget closed 2 months ago

maranget commented 2 months ago

Some convenient functions such as of_int64_unsigned are introduced by this recent version.