Adapt wrt Coq/Coq#18164

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 wrt Coq/Coq#18164 #1738

Closed Villetaneuse closed 1 year ago

Villetaneuse commented 1 year ago

These changes should be mostly backwards compatible (at least down to 8.16). PS: the sp2019 target is intended, I'm trying to pass "fiat_crypto_legacy" in Coq's CI.

JasonGross commented 12 months ago

@Villetaneuse is there a similar patch that applies to fiat-crypto master?