toy-wasm-symbexp

toy-wasm-symbexp This is a toy WASM symbolic interpreter. It illustrates the following articles: Part 1 - Introduction Part 2 - Writing a concrete interpreter - browse code at this stage Part 3 - Writing a symbolic interpreter - browse code at this stage Part 4 - Writing a symbolic interpreter...