This is the primary repository for the OpenJML project. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website.
Releases numbered 0.16.X and following are installed simply by unzipping the downloaded release file into an empty directory of the user's choice.
The release includes the executable file openjml, which implements OpenJML.
On Mac OS, you may need to execute the mac-setup script so that the Mac security system allows the OpenJML libraries to be executed.
The 0.16.X series of releases do not need a particular version (or any version) of Java installed.
This material is partially based upon work supported by the National Science Foundation under Grant No. ACI-1314674. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.