A contextual equivalence checker for Interface Middleweight Java

Getting started with the code

Make sure you have a recent version of the .net (windows) or mono (otherwise) framework that works.
Make sure you have a recent F# compiler.
Clone this repository and sjr/PUtils and sjr/RegSat and make sure they are all siblings in your directory tree.
In your shell, navigate to the root of this repository and run "build.cmd" (windows) or "build.sh" (bash) to check that it all builds.

After getting started as above, run "build.cmd runtests" (windows) or "build.sh runtests" (bash).

Name		Name	Last commit message	Last commit date
Latest commit History 121 Commits
.nuget		.nuget
IMJEquiv		IMJEquiv
tests		tests
wpds		wpds
.hgignore		.hgignore
IMJ-paper.pdf		IMJ-paper.pdf
IMJEquiv.sln		IMJEquiv.sln
README.md		README.md
build.cmd		build.cmd
build.fsx		build.fsx
build.sh		build.sh