Download Latest Version openjml-ubuntu-20.04-0.17.0-alpha-15.zip (329.5 MB)
Email in envelope

Get an email when there's a new version of Java Modeling Language (JML)

Home / 0.17.0-alpha-15
Name Modified Size InfoDownloads / Week
Parent folder
openjml-macos-11-0.17.0-alpha-15.zip 2022-06-06 165.0 MB
openjml-macos-10.15-0.17.0-alpha-15.zip 2022-06-06 170.0 MB
openjml-ubuntu-20.04-0.17.0-alpha-15.zip 2022-06-06 329.5 MB
openjml-ubuntu-18.04-0.17.0-alpha-15.zip 2022-06-06 276.5 MB
OpenJML 0.17.0-alpha-15.tar.gz 2022-06-05 155.7 MB
OpenJML 0.17.0-alpha-15.zip 2022-06-05 248.6 MB
README.md 2022-06-05 159 Bytes
Totals: 7 Items   1.3 GB 0

Publishing release 0.17.0-alpha-15

Improvements to type annotations for NonNull and Nullable Corrected bugs in documented behaviors and corresponding tests

Source: README.md, updated 2022-06-05