finite-wasm 0.6.1

Guarantee deterministic limits on execution time and space resources made available to the WebAssembly programs in a runtime-agnostic way. 
1
2
3
4

description = "A library for writing/reading/running WebAssembly binaries"
requires = "bigarray,str"
archive(byte) = "wasm.cmo"
archive(native) = "wasm.cmx"