Thesis Reference Implementation

This is the release corresponding to the reference implementation mentioned in Adam's MSc thesis (https://doi.org/10.14288/1.0392977).

PLDI SRC Model

This is an initial model of the Wasm-prechk type system. It supports most of WebAssembly except for floating point numbers and certain bit operations. Module typing is also currently in progress and not included in this release.

Examples of the type system in use can be found in IndexTypeTests.rkt, and the type rules can be found in IndexTypingRules.rkt.