search

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
717 stars 147 forks source link

Pin Zig to the current stable version instead of master #1951

Closed jedisct1 closed 2 months ago

jedisct1 commented 2 months ago

Fixes #1950