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
4
5
6
7
type data = string ref
type t = data

let alloc bs = ref bs
let size seg = I64.of_int_u (String.length !seg)
let load seg i = (!seg).[Int64.to_int i]
let drop seg = seg := ""