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▾
104 Typecheck level 0 Universe type declaration open Curtis Clifton 2009-06-05 2012-11-27 JAJML None  
102 Typecheck level 0 JML statements open Curtis Clifton 2009-06-05 2012-11-27 JAJML None  
101 Typecheck level 0 JML expressions open Curtis Clifton 2009-06-05 2012-11-27 JAJML None  
99 Typecheck level 0 heavyweight spec cases open Curtis Clifton 2009-06-05 2012-11-27 JAJML None  
98 Typecheck level 0 represents clauses open Curtis Clifton 2009-06-05 2012-11-27 JAJML None  
97 Typecheck level 0 object invariants open Curtis Clifton 2009-06-05 2012-11-27 JAJML None  
96 Typecheck level 0 modifiers open ghaitho Curtis Clifton 2009-06-05 2009-06-23 JAJML None  
94 Typecheck level 0 type-spec \TYPE open Curtis Clifton 2009-06-05 2012-11-27 JAJML None  
93 Typecheck level 0 initially clauses open Curtis Clifton 2009-06-05 2012-11-27 JAJML None  
87 Create abstract syntax for level 0 type-spec \TYPE open Curtis Clifton 2009-06-05 2012-11-27 JAJML None  
81 Parse .spec files open Curtis Clifton 2009-06-05 2009-06-05 JAJML None  
75 Parse level 0 type-spec \TYPE open Curtis Clifton 2009-06-05 2009-06-05 JAJML None  
69 Make JML pass all tests under JDK 1.5 open Gary T. Leavens 2006-05-25 2012-11-27 All of JML2's code None  
67 checker should have a single notion of nullity open Patrice Chalin Patrice Chalin 2005-12-13 2006-05-19 checker (i.e., the jml tool) None  
66 Add implmentation of Unbounded Stack to PDD open Gary T. Leavens Gary T. Leavens 2005-09-15 2012-11-27 Documentation (of the JML langauge and tools) None  
65 Update reference manual with jmlspecs-interest decisions open Gary T. Leavens Gary T. Leavens 2005-07-31 2012-11-27 Documentation (of the JML langauge and tools) None  
63 Constant folding for \bigint expressions with big values open Patrice Chalin Patrice Chalin 2004-06-21 2006-05-19 checker (i.e., the jml tool) None  
62 JMLa \warn, \nowarn etc are still supported open Frederic Rioux Patrice Chalin 2004-06-21 2006-05-19 checker (i.e., the jml tool) None  
61 Find and fix bugs pointed out by findbugs open Gary T. Leavens 2004-06-12 2012-11-27 All of JML2's code None  
60 Fix class loader to allow CClass and CTypes hashCode fix open Gary T. Leavens 2004-06-12 2006-05-19 checker (i.e., the jml tool) None  
58 problematic code related to sym files open David Cok 2004-04-24 2006-05-25 checker (i.e., the jml tool) None  
57 document -warning levels open David Cok 2004-04-17 2006-05-18 checker (i.e., the jml tool) None  
56 Generated by comments in jmldoc output open David Cok David Cok 2004-04-17 2006-05-19 jmldoc (documentation tool) None  
55 improve internal documentation for jmldoc open David Cok 2004-04-17 2006-05-19 jmldoc (documentation tool) None  
54 quiet and verbose flags open David Cok 2004-04-17 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 1 of 2)