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

Add support for wasm files in assets subdirectory #1966

Closed JasonGross closed 2 months ago

JasonGross commented 2 months ago

This seems to be the change with the new wasm_of_ocaml. This commit should be backwards compatible with older wasm_of_ocaml.

On top of #1961