mrsmkl

Test program for emscripten-module-wrapper

llvm 6 with wasm support

Compile llvm with wasm support.

Testing offchain and onchain WebAssembly interpreters

tools for formal verification of solidity programs