IMM 1.6.3

Updated version of VsCoq to 2.1.7.

IMM 1.6.2

Made compatible with Coq 8.19.

IMM 1.6.1

Updated hahnExt dependency to 0.9.1

IMM 1.4

Merge branch 'master' of github.com:weakmemory/imm

* 'master' of github.com:weakmemory/imm:
  Update README.md

IMM 1.3

Moved Promising 1.0 to IMM compilation correctness proof to a separate repository.

IMM 1.2

JSMM: 'mo' renamed to 'tot' as in Watt-al:PLDI20

IMM 1.1

updated Coq version in opam file

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.

The first release

The first release created in order to generate an OPAM package.