Helping Develop JML tools

Current development on the Common (formerly ISU) JML tools is based on the MultiJava compiler. This is an open source development effort, and you are welcome to contribute. To see what we're up to, get a current snapshot of our CVS repository by following the instructions at the following URL:

To become a developer, you first need to register for a user account on Work with JML a bit and perhaps send us some patches and bug reports. After we get to know you, send email to the project administrators for the jmlspecs and MultiJava projects asking to be made a developer on these projects. Then follow the directions in the file docs/developer-tips.html in the JML release.

SourceForge Logo

Last modified Wednesday, December 13, 2017.