All OpenJML development and issues are now hosted on GitHub at https://github.com/OpenJML/OpenJML
Issues recorded here may be overlooked and we want to be sure to address any problems or suggestions from interested users.
This is a list of outstanding support requests. If you have experience that would help others here, please feel free to contribute.
|59||Sudden problem running openJML||open||Nikolaos Triantafyllou||2015-10-31||2015-11-23||none|
|54||Using RAC and ESC in command line||open||David Cok||Peter Wong||2011-10-25||2012-12-02||Can't figure out how to use working tool||OpenJML|
|47||JML4 without Eclipse||open||Patrice Chalin||jerome white||2009-02-20||2012-12-02||Platform||JML4|