Search results

ESC crashes (StackOverflowError + endless MISMATCHED BLOCKS-CBX) on a class invariant that calls a non-pure method — still happening in 21.0.27 (cf. #559, #884)

Status: Open.

#969 In OpenJML/OpenJML;

· ivanstrug6 opened on Jun 24, 2026

Release no longer shipping with Java or Javac

Status: Open.

#968 In OpenJML/OpenJML;

· leavens opened on Jun 23, 2026

Crash

Status: Open.

#963 In OpenJML/OpenJML;

· pys opened on Jun 17, 2026

OpenJML does not check that arguments might be NaN in some cases.

Status: Open.

#960 In OpenJML/OpenJML;

· leavens opened on May 25, 2026

OpenJML should write error and warning messages to stderr not stdout

Status: Open.

#958 In OpenJML/OpenJML;

· leavens opened on May 15, 2026

openjml-ubuntu-22.04-21.0.25 fails on ARM64 WSL with "Exec format error"

Status: Open.

#956 In OpenJML/OpenJML;

· marcel139 opened on May 6, 2026

--esc: NPE "catastrophic JML internal error" on Java records

Status: Open.

#954 In OpenJML/OpenJML;

· ANogin opened on Apr 16, 2026

RAC crash because of type annotation

Status: Open.

#947 In OpenJML/OpenJML;

· davidcok opened on Feb 26, 2026

Problems with \seq<\bigint>

Status: Open.

#944 In OpenJML/OpenJML;

· davidcok opened on Feb 20, 2026

Timeouts with non-linear integer arithmetic

Status: Open.

#943 In OpenJML/OpenJML;

· davidcok opened on Feb 19, 2026

loop_assigns clauses for implicit iterations

Status: Open.

#939 In OpenJML/OpenJML;

· davidcok opened on Jan 13, 2026

Enhancement: add multiset predicate to OpenJML

Status: Open.

#936 In OpenJML/OpenJML;

· caiovpsilveira opened on Jan 2, 2026