Menu ▾ ▴

Bugs  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.

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▾
420 Internal JML bug when using \old in a \forall open Henrik Thomsen 2017-03-18 2017-03-18 OpenJML  
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  
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 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)