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

Fix wasm_of_ocaml version, hopefully #1986

Closed JasonGross closed 1 week ago

JasonGross commented 1 week ago

As per the README on https://github.com/ocaml-wasm/wasm_of_ocaml