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

bump bedrock2, use "always" in GarageDoor spec #1846

Closed andres-erbsen closed 7 months ago

andres-erbsen commented 7 months ago

Depends on successful fast-forward of https://github.com/mit-plv/rupicola/pull/105 https://github.com/mit-plv/bedrock2/pull/408 https://github.com/mit-plv/coqutil/pull/113