Menu ▾ ▴

Feature Requests  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.

These are feature requests for JML and associated tools. Features requests should be for things that are user-visible. Suggestions for cleaning up the code, or to make development better are not considered feature requests, and should be put under "Things to Do" instead.

Showing results of 73

# Summary▾ Status▾ Owner▾
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
 Creator▾
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Creator
 Created▾ Updated▾ Labels▾ Module▾
108 serialization tags not implemented in jmldoc open David Cok 2004-04-17 2013-10-27 jmldoc (documentation tool) None  
107 localization for jmldoc open David Cok David Cok 2004-04-17 2013-10-27 jmldoc (documentation tool) None  
106 docletpath, extdirs, locale options not implemented in jmldo open David Cok 2004-04-17 2013-10-27 jmldoc (documentation tool) None  
105 nonexistent files in -link and -docpath open David Cok 2004-04-17 2013-10-27 jmldoc (documentation tool) None  
104 specs as part of field documentation open David Cok 2004-04-17 2013-10-27 jmldoc (documentation tool) None  
103 showPromotion open David Cok 2004-04-17 2013-10-27 jmldoc (documentation tool) None  
102 MJ features in jmldoc open David Cok 2004-04-17 2013-10-27 jmldoc (documentation tool) None  
101 anonymous classes open David Cok 2004-04-17 2013-10-27 jmldoc (documentation tool) None  
100 --deprecation open David Cok 2004-04-17 2013-10-27 checker (i.e., the jml tool) None  
99 antlr inheritance open David Cok 2004-04-17 2013-10-27 checker (i.e., the jml tool) None  
98 better error recovery open David Cok 2004-04-16 2013-10-27 jmldoc (documentation tool) None  
97 initializer blocks open David Cok 2004-04-16 2013-10-27 jmldoc (documentation tool) None  
95 incremental production of documentation open David Cok 2004-04-16 2013-10-27 jmldoc (documentation tool) None  
94 combining system and jmldoc html pages open David Cok 2004-04-16 2013-10-27 jmldoc (documentation tool) None  
93 nowarn annotations in jmldoc output open David Cok 2004-04-16 2013-10-27 jmldoc (documentation tool) None  
92 Executability of existential quantifiers in jmlc open Yoonsik Cheon 2004-03-28 2013-10-27 jmlrac (i.e., the jmlc tool) None  
91 Old expressions and executability of quantifiers open Yoonsik Cheon 2004-03-28 2013-10-27 jmlrac (i.e., the jmlc tool) None  
89 static model methods in interfaces open David Cok 2004-03-18 2006-05-18 checker (i.e., the jml tool) None  
88 \not_modified extension to allow expressions as arguments open David Cok 2004-03-18 2006-05-18 checker (i.e., the jml tool) None  
85 Jmlunit should have a verbose mode open Gary T. Leavens 2004-02-08 2013-10-27 jmlunit (unit testing tool) None  
83 Jmlc should test for nonnull whatever is to be \fresh open Gary T. Leavens 2004-01-25 2013-10-27 jmlrac (i.e., the jmlc tool) None  
79 Set types should implement an interface in org.jmlspecs.lang open Gary T. Leavens 2003-12-27 2014-08-12 models (specification types in org.jmlspecs.models) None  
73 Should warn if a final field is listed as assignable open David Cok 2003-11-17 2013-10-27 checker (i.e., the jml tool) None  
72 JML checker doesn't say what methods must be overridden open Clyde D. Ruby Riccardo Casero 2003-11-12 2013-10-27 checker (i.e., the jml tool) None  
67 Enforce purity declarations in checker open Cui Gary T. Leavens 2003-10-21 2013-10-27 checker (i.e., the jml tool) None  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Module
 
(applies to this page only)
<< < 1 2 3 > >> (Page 2 of 3)