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 rupicola #1743

Closed samuelgruetter closed 1 year ago

samuelgruetter commented 1 year ago

Two changes are needed because coqutil's Bitwidth instances are now #[export] instead of #[global].

samuelgruetter commented 1 year ago

(this PR is deliberately out-of-date with the master branch because there have been CI failures on the master branch, so I based it on the last commit with a green tick)