Coq tactics for the Iris framework to support certified program synthesis using SuSLik.
We recommend installing with OPAM.
After cloning this repo:
# inside the ssl-iris folder
git submodule init && git submodule update
opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
opam pin add iris
opam pin add string-ident
opam install .
Run make clean && make install in the project root.