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
5
6
7

type elem = Values.ref_ list ref
type t = elem

let alloc rs = ref rs
let size seg = Lib.List32.length !seg
let load seg i = Lib.List32.nth !seg i
let drop seg = seg := []