Name | Modified | Size | Downloads / 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