Bugs  Maximize  Restore

Addressing user bug reports is one of our primary concerns. If some bugs seem to remain unresolved, it is typically because we are unaware of any users impacted by the bugs. If one of the listed bugs makes the JML tools less useful to you, please email one of the project administrators or developers and we will elevate the priority of the bug and change it from self reported to user reported. Thank you! Note that you must be logged in to sourceforge to submit a bug on this project.

Showing results of 134

# 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
419 Perhaps, Do not check for feasibility of assert false statements open David Cok David Cok 2015-05-26 2015-05-26 OpenJML OpenJML  
418 Implement constant folding, particularly THIS != null open David Cok David Cok 2015-05-26 2015-05-26 OpenJML OpenJML  
417 Difficulty solving floating point problems open David Cok David Cok 2015-05-26 2015-05-26 OpenJML  
416 AUFLIRA is time-consuming open David Cok David Cok 2015-05-26 2015-05-26 OpenJML OpenJML  
415 Auto select the SMT logic open David Cok David Cok 2015-05-26 2015-05-26 OpenJML OpenJML  
413 Problem with loading of inner classes that implement an interface accepted Peter Würtz Vinther Jørgensen 2015-05-06 2015-05-22 bug, OpenJML OpenJML  
411 All Eclipse hover error messages turned into "Counterexample: no proof information available" open Arend Rensink 2014-12-10 2015-11-27 OpenJML  
407 java.lang.StackOverflowError accepted Dr Ian Bayley 2014-05-29 2015-05-22 OpenJML OpenJML  
406 Please report this internal bug (java.lang.NullPointerException) open Dr Ian Bayley 2014-05-29 2015-05-22 OpenJML OpenJML  
404 Can't statically check files with HashMaps open Dr Ian Bayley 2014-05-28 2015-07-01 OpenJML OpenJML  
403 Eclipse plugin doesn't work with Java 8 or 9 open tomas 2014-05-18 2015-11-27 OpenJML  
402 URGENT: JML rac "Internal Bug please report" preventing my teaching JML at RMIT University open Keith 2014-04-24 2015-05-22 OpenJML OpenJML  
397 OpenJML fails to download/install on Eclipse Juno - artifact not found open Marc Miltenberger 2013-01-18 2015-05-22 OpenJML  
396 openjml rac extended class open David Cok fithwith 2012-11-02 2013-10-27 OpenJML OpenJML  
386 jmlc does not reliably run in a 1.7 VM open Yoonsik Cheon Joseph Kiniry 2011-05-13 2013-10-27 jmlrac (i.e., the jmlc tool) None  
384 Assignable clause checking disabled in jmlc open Yoonsik Cheon Faraz Hussain 2010-03-09 2012-11-27 jmlrac (i.e., the jmlc tool) None  
383 JML annotations inside model methods show up as comments open Yoonsik Cheon Faraz Hussain 2010-02-02 2013-10-27 jmlrac (i.e., the jmlc tool) None  
382 \Exists problem open Gary T. Leavens Ricardo Rodrigues 2009-07-16 2013-10-27 jmlunit (unit testing tool) None  
381 Invariants for Model Fields Ignored open Yoonsik Cheon Eric Kerfoot 2008-12-02 2012-11-27 jmlrac (i.e., the jmlc tool) None  
380 Jmlc no longer prints much info about assertion violations open Frederic Rioux Gary T. Leavens 2008-11-18 2013-10-27 jmlrac (i.e., the jmlc tool) None  
379 \forall over JMLObjectSequence generates bad code open Yoonsik Cheon Neeraj 2008-10-21 2012-11-27 jmlrac (i.e., the jmlc tool) None  
378 Pureness Checking Unexpected Behaviour open Yoonsik Cheon Eric Kerfoot 2008-08-02 2013-10-27 jmlrac (i.e., the jmlc tool) None  
377 void type is giving no error open Yoonsik Cheon Amritam Sarcar 2008-07-21 2012-11-27 jmlrac (i.e., the jmlc tool) None  
376 Error reporting - wrong character location open Yoonsik Cheon George Karabotsos 2008-05-22 2012-11-27 checker (i.e., the jml tool) None  
375 jmlc error, two versions of Object.hashCode() found open Gary T. Leavens Mandeep Singh 2008-05-10 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 .. 6 > >> (Page 1 of 6)

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks