Hi,
We've just made release candidate 5.0_rc2 of the JML tools. This release is
available from from the sourceforge project page for JML
http://sourceforge.net/projects/jmlspecs
or directly from sourceforge.net
http://sourceforge.net/project/showfiles.php?group_id=65346
in the file JML.5.0_rc2.tar.gz. This is a gzipped tar file.
Some highlights of the release are summarized below. See the NEWS.txt
file in the release for other changes, including changes inherited
from the previous release of JML (more or less) and many bug fixes.
Highlights include:
- Better documentation, including the JML.html file and improvements
to the reference manual.
- New collection types in the JML models. These include
JMLEqualsSet, JMLEqualsBag, JMLEqualsSequence, and types of
the form JMLXToYRelation and JMLXToYMap, where X and Y are
taken from {Equals, Value, Object}. These are used to specify the
collection types in java.util more accurately.
- Better specifications of the sample types and J2SDK types.
against class files, thanks to David Cok.
- Better GUI support, especially for jmldoc.
- Several bug fixes.
See the NEWS.txt file in the release for more details, bug
fixes, and incompatabilities with the previous release.
Please let us know your comments on JML, and if you find bugs.
You can now file bug reports from the sourceforge.net project page for
the jmlspecs project,
http://sourceforge.net/projects/jmlspecs
and you can see the bugs we know about there.
Gary T. Leavens
Department of Computer Science, Iowa State University
229 Atanasoff Hall, Ames, Iowa 50011-1041 USA
http://www.cs.iastate.edu/~leavens phone: +1-515-294-1580
|