Search Results for "sourceforge"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.

Version 1.1.5 - Added: Added the ability to edit the EMV panel - You can change which tags show, and what order they are in - Added: Tag 9F10 (Issuer Application Data) to which also includes CVR (a subtag of 9F10) - Added: Menu link to the homepage (sourceforge) - Fixed: 9F07/AUC had the wrong tag details - Fixed: File>Close now saves notes and config updates before exiting - Fixed: Tag 95/TVR title had a spelling mistake - Fixed: Homepage wasn't populating EMV page names - Fixed: EMV menu would prompt to update even if there was nothing changed - Changed: Removed unused classes, old stuff that isn't used - Changed: Reverted home page image - Changed: Removed some test prints and refactored EMV classes - Changed: No longer prompts to restart after EMV menu change, just changes it - Changed: EMV Navigation Panel button generation (for the dynamic buttons) thetoolbox2013@gmail.com

The JSwat project has moved to Google Code: http://code.google.com/p/jswat/ -- the contents of the SourceForge project are no longer being updated. Please visit the new site. Thank you.