Issues

• Write and test specs for each Java library class

  OpenJML/OpenJML#1099 · Filter by author davidcok opened on Nov 9, 2026

• RAC: unrepresented model fields -- internal error with skip; interface fields reported without representation

  OpenJML/OpenJML#1098 · Filter by author davidcok opened on Nov 9, 2026

• ESC: don't require the FloatingPoint theory for proofs without floating-point operations

  OpenJML/OpenJML#1097 · Filter by author davidcok opened on Nov 9, 2026

• ESC: \let with a \real variable and a double initializer gives an SMT sort error

  OpenJML/OpenJML#1096 · Filter by author davidcok opened on Nov 9, 2026

• ESC: conditional expression inside \old crashes or is lost at call sites

  bugOpenJML
  OpenJML/OpenJML#1095 · Filter by author davidcok opened on Nov 9, 2026

• Specs: equals() is not tied to uniqueHash, so Map lookups by equal-but-distinct keys fail

  Design of the JML languagespecs (of JDK and other Java code)
  OpenJML/OpenJML#1094 · Filter by author davidcok opened on Nov 9, 2026

• Map.jml: null values, frame of put/remove, null key in clear/isEmpty

  specs (of JDK and other Java code)
  OpenJML/OpenJML#1093 · Filter by author davidcok opened on Nov 9, 2026
  1

• Eclipse: offer to re-check JML projects that depend on a newly added project

  enhancementUser interface improvements
  OpenJML/OpenJML#1092 · Filter by author davidcok opened on Nov 9, 2026

• Eclipse: ESC submenu items have no tooltips

  User interface improvements
  OpenJML/OpenJML#1091 · Filter by author davidcok opened on Nov 9, 2026

• Specs: model methods with bodies are opaque to ESC unless inline

  OpenJML/OpenJML#1090 · Filter by author davidcok opened on Nov 8, 2026

• Latent defects found by SpotBugs (dead or unreachable code)

  bug
  OpenJML/OpenJML#1088 · Filter by author davidcok opened on Nov 8, 2026

• Eclipse plugin: ESC tooltips, config-changed dialog, settings not sent without an editor

  OpenJML/OpenJML#1087 · Filter by author davidcok opened on Nov 7, 2026
  1

• escfiles3.gitbug997: BigGcd proof times out under runpar load

  OpenJML/OpenJML#1086 · Filter by author davidcok opened on Nov 7, 2026

• Binary class methods: use one symbol, not separate .jml and class-file symbols

  OpenJML/OpenJML#1085 · Filter by author davidcok opened on Nov 7, 2026

• Class files with ghost or model fields cannot be reused with the original .jml

  OpenJML/OpenJML#1084 · Filter by author davidcok opened on Nov 6, 2026

• Ghost fields and methods should not reference model fields or methods

  OpenJML/OpenJML#1083 · Filter by author davidcok opened on Nov 6, 2026

• openjml --compile crashes on an enum (NPE in Lower.visitEnumDef)

  OpenJML/OpenJML#1082 · Filter by author davidcok opened on Nov 6, 2026

• ESC: solver input order depends on identity hash codes (BasicBlocker2 VarMap iteration)

  OpenJML/OpenJML#1081 · Filter by author davidcok opened on Nov 6, 2026

• Built-in type specs: model declarations of methods that have Java implementations

  OpenJML/OpenJML#1080 · Filter by author davidcok opened on Nov 6, 2026

• No error when a .jml declares as model a method that the Java class declares

  OpenJML/OpenJML#1079 · Filter by author davidcok opened on Nov 6, 2026

• Compare floating-point encoding benchmarks: OpenJML vs KotlinSL

  OpenJML/OpenJML#1075 · Filter by author davidcok opened on Oct 26, 2026

• Documentation updates: user guide solver material, website and tutorial exercises

  Documentation (of the JML langauge and tools)
  OpenJML/OpenJML#1074 · Filter by author davidcok opened on Oct 25, 2026

• VS Code installers: stop editing the user's settings.json; let the extension find the server

  enhancement
  OpenJML/OpenJML#1073 · Filter by author davidcok opened on Oct 24, 2026

• #996 wrong-position warning names the annotation /*@ nullable */ even when written as a Java annotation

  OpenJML/OpenJML#1070 · Filter by author davidcok opened on Oct 23, 2026

• ESC/RAC: report a null argument for a non-null formal by name, not as a generic precondition failure

  OpenJML/OpenJML#1066 · Filter by author davidcok opened on Oct 22, 2026
  1