This is a (unofficial) Redex model of the WebAssembly formalism from the paper
"Bringing the Web up to Speed with WebAssembly" by Haas et al.
It aims to model the reduction semantics of wasm but it doesn't quite cover everything in the paper. It's missing the following at least:
- module instantiation semantics
- static type system / validation
and of course likely has various bugs.
See also: the wasm reference interpreter & spec.
Copyright © 2019 Asumu Takikawa
Licensed under Apache License 2.0, the same as the reference interpreter & tests.
Attribution: many of the tests are derived from the reference tests.