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.
# | Summary▾ |
Status▾
|
Owner▾
|
Creator▾
|
Created▾ | Updated▾ | Labels▾ | Module▾ | |
---|---|---|---|---|---|---|---|---|---|
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 |