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▾
64 Jmlc should report the exception originally thrown open Gary T. Leavens 2003-08-29 2013-10-27 jmlrac (i.e., the jmlc tool) None  
63 Jmlrac should point out what subexpression is false open Gary T. Leavens 2003-08-15 2013-10-27 jmlrac (i.e., the jmlc tool) None  
62 Jmlc -F should compile referenced files when no surrogates open Gary T. Leavens 2003-08-15 2013-10-27 jmlrac (i.e., the jmlc tool) None  
60 Jmlc efficiency: reduce error message generation cost open Roy Patrick Tan 2003-08-11 2013-10-27 jmlrac (i.e., the jmlc tool) None  
59 Jmlc: remove reflection from accessing interface surrogates open Roy Patrick Tan 2003-08-11 2013-10-27 jmlrac (i.e., the jmlc tool) None  
58 Make --noreflection default behavior of jmlc open Roy Patrick Tan 2003-08-11 2013-10-27 jmlrac (i.e., the jmlc tool) None  
57 Efficiency: Jmlc should cache model fields open Roy Patrick Tan 2003-08-07 2013-10-27 jmlrac (i.e., the jmlc tool) None  
55 Jmlrac needs to implement < and <= for lock order open David Cok 2003-07-27 2013-10-27 jmlrac (i.e., the jmlc tool) None  
47 Print array elements instead of using toString for arrays open Gary T. Leavens 2003-05-23 2013-10-27 jmlrac (i.e., the jmlc tool) None  
46 Support for primitive arbitrary precision numeric types. open Patrice Chalin Patrice Chalin 2003-05-15 2012-11-27 Design of the JML language None  
45 Missing refine clauses open Yoonsik Cheon 2003-04-29 2013-10-27 checker (i.e., the jml tool) None  
37 Jmlc needs option to not generate assertions open Cui Curtis Clifton 2003-04-20 2013-10-27 jmlrac (i.e., the jmlc tool) None  
27 Need new tool to generate a spec according to a view. open Joseph Kiniry 2003-03-27 2013-10-27 None  
24 Checker should be able to find refinements in jar files open Gary T. Leavens 2003-02-16 2013-10-27 checker (i.e., the jml tool) None  
23 Object's equals method should not be specified as pure open Gary T. Leavens Gary T. Leavens 2003-02-13 2013-10-27 Design of the JML language None  
21 Consolidate listing of meaningless tests in JMLTestRunner open David Cok 2003-02-02 2013-10-27 jmlunit (unit testing tool) None  
20 Better test coverage features in JMLTestRunner open David Cok 2003-02-02 2013-10-27 jmlunit (unit testing tool) None  
19 Better pretty printing of annotations by jmldoc open David Cok 2003-01-20 2013-10-27 jmldoc (documentation tool) None  
15 Print more information in assertion violation messages open Yoonsik Cheon 2003-01-03 2013-10-27 jmlrac (i.e., the jmlc tool) None  
12 Check for good style and completeness of specifications open Joseph Kiniry 2002-12-31 2013-10-27 checker (i.e., the jml tool) None  
11 Check specifications for model methods with bodies open David Cok 2002-12-27 2013-10-27 jmlrac (i.e., the jmlc tool) None  
10 Usage and output improvements for jmlc open David Cok 2002-12-27 2013-10-27 jmlrac (i.e., the jmlc tool) None  
6 Efficiency: limit parsing in JML, lazily process files open David Cok 2002-12-19 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 3 of 3)