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

Attempt to fix wasm_of_ocaml #1958

Closed JasonGross closed 2 months ago

JasonGross commented 2 months ago

As per https://github.com/ocaml-wasm/wasm_of_ocaml?tab=readme-ov-file#installation, to deal with the CI failure in https://github.com/mit-plv/fiat-crypto/pull/1957 / https://github.com/mit-plv/fiat-crypto/actions/runs/10906100009/job/30271149044?pr=1957

JasonGross commented 2 months ago

wasm is not building without this change, so let's merge, even though this doesn't completely fix things