finite-wasm 0.5.1

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

1
2
3

exception Invalid of Source.region * string

val check_module : Ast.module_ -> unit (* raises Invalid *)