OpenJML/OpenJML

Issues

• The build process for OpenJML of version OpenJML-0.21.0-alpha-0 fails on OpenBSD.

  #820 opened 8 months ago by andrewchawk
  1

• quantifiers

  #817 opened 9 months ago by davidcok
  1

• Additional work on records

  #819 opened 9 months ago by davidcok
  0

• Implement nightly tests

  #818 opened 9 months ago by davidcok
  0

• */ not parsed correctly, if occurring within line comment nested inside JML block specification

  #787 opened 9 months ago by ArmborstL
  3

• JML internal error occurred (release 0.17.0-alpha-14)

  #778 opened 9 months ago by Negar-Sabour
  2

• Have a deterministic function which return nonprimitive data type

  #780 opened 2 years ago by Negar-Sabour
  1

• Internal JML bug

  #790 opened 2 years ago by Negar-Sabour
  1

• Hi

  #791 opened 9 months ago by Nickiscool1012
  0

• Infinite loop in ESC?

  #802 opened 2 years ago by leavens
  1

• Error Message: "Solver has unexpectedly terminated"

  #792 opened 9 months ago by marcel139
  3

• Cryptic "sort mismatch" error

  #801 opened 2 years ago by Calvin-L
  1

• Java heap space exception

  #804 opened 9 months ago by itlchriss
  1

• Catastrophic failure during processing of input file

  #809 opened 9 months ago by gabrielestentella
  1

• Cryptic exception when field spec contains invariant that is already violated at instantiation

  #807 opened 9 months ago by bzp99
  2

• Compilation errors from internal specs of java.util.Collections and java.util.ArrayDeque

  #806 opened 9 months ago by bzp99
  1

• Limits on havoc statement

  #816 opened 9 months ago by davidcok
  0

• Find Files in Projects with Various Dependencies

  #810 opened 9 months ago by marcel139
  1

• -Xprefer:source does not work with JML

  #781 opened 9 months ago by davidcok
  1

• Improve ordering of processing options vs tool generation in the OpenJML pipeline

  #815 opened 9 months ago by davidcok
  0

• Crash in converting BasicPrograms to SMTLIB

  #814 opened 10 months ago by pys
  4

• jmlspecs.annotation crashes

  #812 opened 10 months ago by pys
  3

• Documentation page "Commit Eclipse Package to our SVN" is obsolete and has broken links

  #813 opened 10 months ago by leavens
  1

• yices support in version 0.17-alpha-15

  #808 opened a year ago by itlchriss
  2

• Code too large for try statement

  #805 opened a year ago by bzp99
  2

• Is this project still active?

  #803 opened a year ago by bzp99
  2

• Could not run OpenJML in Windows

  #795 opened 2 years ago by lhf552004
  9

• A Large Set of Examples (Available)

  #800 opened 2 years ago by marcel139
  2

• Using Mathematical sets: \set<T>

  #798 opened 2 years ago by marcel139
  0

• Existentially Quantifying Arrays

  #799 opened 2 years ago by marcel139
  5

• Problems using "owner" (Avoiding Representation Exposure)

  #797 opened 2 years ago by marcel139
  0

• Problems using "owner"

  #793 opened 2 years ago by marcel139
  0

• Using PrintStream.println(double) Breaks the Invariant

  #796 opened 2 years ago by marcel139
  2

• Issues on Dynamic Binding and RAC Verification

  #794 opened 2 years ago by marcel139
  3

• Simple Java + JML with System.out.println causes multiple warnings from internal JML specifications of the JDK

  #789 opened 2 years ago by leavens
  11

• libgomp.so.1 missing on Ubuntu 20

  #788 opened 2 years ago by leavens
  1

• The return value of "com.sun.tools.javac.util.Context.get(java.lang.Class)" is null

  #786 opened 2 years ago by Lewes
  0

• "catastrophic JML internal error" with ESC on Google Guava

  #785 opened 2 years ago by bauer-matthews
  0

• OpenJML internal error when using ESC

  #784 opened 2 years ago by itlchriss
  3

• Using ESC on whole package verification

  #783 opened 2 years ago by itlchriss
  2

• Object.equals in Postcondition: symbol not found

  #779 opened 2 years ago by itlchriss
  4

• split + switch with fall through fails

  #777 opened 2 years ago by davidcok
  0

• Problem with RAC assertion error line numbers

  #776 opened 3 years ago by davidcok
  0

• error: A catastrophic JML internal error occurred (using javax.crypto.Mac)

  #775 opened 3 years ago by Negar-Sabour
  3

• check initializers

  #774 opened 3 years ago by davidcok
  0

• Crash on misspelling

  #771 opened 3 years ago by davidcok
  1

• Bug in translating real constant

  #772 opened 3 years ago by davidcok
  1

• type checking .jml files

  #770 opened 3 years ago by davidcok
  1

• Feasibility checking

  #769 opened 3 years ago by davidcok
  0

• OpenJML CharSequence specification or handling of null in ESC is incorrect

  #768 opened 3 years ago by leavens
  3