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

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #1961

Closed JasonGross closed 2 months ago

JasonGross commented 2 months ago

This should also pave the way to more easily installing files in assets folders when we land #1958

JasonGross commented 2 months ago

The CI passed, but it seems to have somehow not output anything on the install step?! I will merge anyway, so we can add the next followup PR