search

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
708 stars 147 forks source link

Greatly reduce the compilation time of src/Arithmetic/BarrettReduction.v #1919

Closed ppedrot closed 4 months ago

ppedrot commented 4 months ago

On my machine, from 14mn to 25s.