Menu ▾ ▴

Things to Do  Maximize  Restore

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.

Miscellaneous tasks that should be completed for JML and associated tools.

Showing results of 43

# Summary▾ Status▾ Owner▾ Creator▾
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Creator
 Created▾ Updated▾ Labels▾ Module▾
53 implementation of JavadocJml.g open David Cok 2004-04-17 2006-05-19 checker (i.e., the jml tool) None  
52 use of italics in jmldoc for interfaces is inconsistent open David Cok 2004-04-16 2006-05-19 jmldoc (documentation tool) None  
51 files parsed unnecessarily (efficiency) open Tim Wahls 2004-04-15 2006-05-19 checker (i.e., the jml tool) None  
40 Make portable tests of -d for jmlunit open Gary T. Leavens 2003-05-24 2006-05-19 jmlunit (unit testing tool) None  
38 Makefiles should die when tests don't pass open Gary T. Leavens 2003-05-04 2005-07-14 Developer's infrastructure (Makefiles, etc.) None  
30 Write and edit the JML Reference Manual open Gary T. Leavens Gary T. Leavens 2003-04-22 2006-05-18 Documentation (of the JML langauge and tools) None  
24 External g.f. for pretty-printing? open Yoonsik Cheon 2003-04-19 2003-04-19 checker (i.e., the jml tool) None  
23 Clean up Makefiles in specs directory open Yoonsik Cheon 2003-04-19 2006-05-19 Developer's infrastructure (Makefiles, etc.) None  
22 Clarify default modifiers for interface model declarations open Gary T. Leavens Yoonsik Cheon 2003-04-19 2003-04-22 Documentation (of the JML langauge and tools) None  
19 Prevent mutual recursion in represents clauses open Yoonsik Cheon 2003-04-19 2006-05-19 Design of the JML language None  
18 Static initializers of interfaces in jmlc open Yoonsik Cheon 2003-04-19 2006-05-19 jmlrac (i.e., the jmlc tool) None  
17 Check model classes and interfaces open Yoonsik Cheon 2003-04-19 2006-05-19 jmlrac (i.e., the jmlc tool) None  
15 Assertion check on/off mechanism per-class open Yoonsik Cheon 2003-04-19 2006-05-19 jmlrac (i.e., the jmlc tool) None  
14 Check initially clauses open Yoonsik Cheon 2003-04-19 2006-05-19 jmlrac (i.e., the jmlc tool) None  
12 Check static invariants of interfaces? open Yoonsik Cheon 2003-04-19 2006-05-19 jmlrac (i.e., the jmlc tool) None  
11 Exceptions in delegation methods for jmlc open Yoonsik Cheon 2003-04-19 2006-05-19 jmlrac (i.e., the jmlc tool) None  
6 JUnit tests in jmlrac do not check exit values open David Cok 2003-02-01 2006-05-19 Developer's infrastructure (Makefiles, etc.) None  
4 Ambiguity in -sourcepath for jmldoc open David Cok 2003-01-20 2006-05-19 jmldoc (documentation tool) None  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Module
 
(applies to this page only)
<< < 1 2 (Page 2 of 2)