Repository navigation

OpenJML 21.0.29 (drops the AtomicLong spec workaround) and the shared Claude/Gradle pins - #187

Merged

bernardladenthin merged 2 commits into

mainfrom

claude/determined-feynman-97mrit

Oct 20, 2026

Merged

OpenJML 21.0.29 (drops the AtomicLong spec workaround) and the shared Claude/Gradle pins#187
bernardladenthin merged 2 commits into
mainfrom
claude/determined-feynman-97mrit

Commits on Oct 20, 2026
- OpenJML 21.0.29, drop the AtomicLong spec workaround; shared pins
  claude
  committed
  a08c461
- Drop the "hang" from the invariant re-test note
  claude
  committed
  90e730a