IMM: POPL 2019 artifact

IMM v1.0.1

A VirtualBox image with the release's source code and necessary libraries may be downloaded from here (or here).
The image has been tested with VirtualBox 5.2.18 with Oracle VM VirtualBox Extension pack.

The login is popl and the password is popl.

All necessary software is installed, and the project is checked out to /home/popl/imm.
Additionally, Emacs and Proof General are installed so that you can browse the sources.

The proofs might be checked by opening a terminal and running

cd /home/popl/imm
make clean; make -j2

There might be some warnings about notations. The build terminating without printing "error" is successful.