Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Feature Requests Maximize Restore

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 74

# 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
153 GUI feedback on proof success open David Cok 2013-10-27 2013-10-27 OpenJML OpenJML  
152 Automate plug-in build open David Cok David Cok 2012-12-01 2013-10-27 OpenJML OpenJML  
151 Prover has no support for XOR in invariants open David Cok Anonymous 2011-03-10 2013-10-27 OpenJML OpenJML  
150 Usability and null pointers open David Cok Anonymous 2011-03-10 2013-10-27 OpenJML OpenJML  
149 Add support for "//@nowarn" open David Cok Anonymous 2011-03-10 2013-10-27 OpenJML OpenJML  
148 Reload JML2 resources open Werner Dietl Werner Dietl 2008-09-22 2012-11-27 JML2 Eclipse plug-in None  
147 add progress bar to help make JML tools a better backend open Werner Dietl Joseph Kiniry 2008-07-23 2013-10-27 User interface improvements None  
146 jmlc doesn't implement measured _by clause open Gary T. Leavens 2008-03-10 2013-10-27 jmlrac (i.e., the jmlc tool) None  
145 jmlc doesn't handle quantifiers in in-line assertions open Patrice Chalin Gary T. Leavens 2008-03-10 2013-10-27 jmlrac (i.e., the jmlc tool) None  
144 jmlc should check specifications of model methods open Gary T. Leavens 2008-03-10 2013-10-27 jmlrac (i.e., the jmlc tool) None  
141 Allowing JML specs in Java5 annotations open Kristina Taylor Arnout Engelen 2006-10-22 2013-10-27 Design of the JML language None  
139 Jmlc should not inherit code specification cases open Gary T. Leavens 2005-11-28 2013-10-27 jmlrac (i.e., the jmlc tool) None  
138 Warn when @ preceeded by spaces at start of comment open Gary T. Leavens 2005-09-29 2013-10-27 checker (i.e., the jml tool) None  
137 RAC skips code specification cases open Clyde D. Ruby 2005-09-29 2006-05-25 jmlrac (i.e., the jmlc tool) None  
134 Add multithreading syntax support to JML tools open Apolo Imagod Gary T. Leavens 2005-07-31 2013-10-27 checker (i.e., the jml tool) None  
133 Jmlc doesn't execute model methods defined in refinements open Gary T. Leavens 2005-07-06 2013-10-27 jmlrac (i.e., the jmlc tool) None  
129 assignable, working_space, & duration should be checked open Dion Hinchcliffe 2005-01-03 2013-10-27 jmlrac (i.e., the jmlc tool) None  
127 Checking pre and postconditions of native methods open Yoonsik Cheon 2004-10-26 2013-10-27 jmlrac (i.e., the jmlc tool) None  
123 Jmlspec should automatically add 'also' just when needed open Gary T. Leavens 2004-08-27 2013-10-27 jmlspec (skeleton class generation tool) None  
121 Support for inner classes open shanleyr 2004-08-12 2013-10-27 jmlrac (i.e., the jmlc tool) None  
120 Allow \old in assertions meaning the pre-state of a method open Gary T. Leavens 2004-07-26 2013-10-27 jmlrac (i.e., the jmlc tool) None  
119 Allow all specification constructs in model methods open Gary T. Leavens 2004-07-23 2013-10-27 jmlrac (i.e., the jmlc tool) None  
118 More information about model fields is needed in JMLRAC open Clyde D. Ruby 2004-07-13 2013-10-27 jmlrac (i.e., the jmlc tool) None  
115 Jmldoc should work with J2SDK 1.5 open Gary T. Leavens 2004-06-01 2013-10-27 jmldoc (documentation tool) None  
114 Jmlc should compile used and out-of-date files open Gary T. Leavens 2004-06-01 2013-10-27 jmlrac (i.e., the jmlc tool) None  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Module
 
(applies to this page only)
1 2 3 > >> (Page 1 of 3)