Dependencies

• coq-iris 4.3.0
• iris-wasm

How to Setup

opam install coq-iris.4.3.0

git clone git@github.com:logsem/iriswasm.git
cd iriswasm/
opam install .

Build

make