search

mit-plv / fiat-crypto

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

Use WebWorkers and a cache for js-of-ocaml #1739

Closed JasonGross closed 1 year ago

JasonGross commented 1 year ago

Now that --enable effects means we're no longer hitting recursion limits, it's useful to not block the UI thread and to use a cache (currently in localStorage).

On top of #1737. Separate PR so that we can finally merge #1737.