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

Future-proof CompilersTestCases #1762

Closed JasonGross closed 11 months ago

JasonGross commented 11 months ago

Also add some utility functions to ZRangeProofs

This is very minor progress towards avoiding replacing the abstract state of higher order functions with bottom when we can avoid it, in service of #1609.