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

Adapt w.r.t. coq/coq#19228. #1934

Closed ppedrot closed 3 months ago

ppedrot commented 4 months ago

This is backwards compatible.