Development of JML tools
Overview
The Common (formerly ISU) tools for JML are open source, so all are welcome to help in their implementation, or to supply bug fixes. Development work on these tools was part of the MultiJava compiler project.
All current work is being done on sourceforge.net's jmlspecs project, from which you can:
- browse our CVS archive,
- read our mailing list archives, or
- read and submit change requests, feature requests, etc.
Details
- How to help develop the JML tools (basic starting points, including a link to the file docs/developer-tips.html in the JML release).
- Staff at the University of Central Florida and Iowa State University working on JML.
- Others working on JML tools.
- Some pictures of JML developers.
- Acknowledgements.
Last modified Saturday, February 16, 2013.