Skip to content

Releases: OpenJML/OpenJML

V0.8.59

17 Nov 02:51
@davidcok davidcok
0.8.59
b9b53a9
Compare
Choose a tag to compare
V0.8.59

Publishing release V0.8.59
Fixing inheritance of frame conditions.

Assets 3

V0.8.58

15 Nov 13:34
@davidcok davidcok
0.8.58
2f0615a
Compare
Choose a tag to compare
V0.8.58

Publishing release V0.8.58.
Issue #754

Assets 3

OpenJML 0.16.0-alpha-6

20 Oct 01:43
@github-actions github-actions
0.16.0-alpha-6
f44be6d
Compare
Choose a tag to compare
OpenJML 0.16.0-alpha-6

Publishing release 0.16.0-alpha-6

Fixes to reading openjml.properties.
Some fixes to Strictmath.jml
Partial work on incorporating new SMT solvers

Assets 5

OpenJML 0.16.0-alpha-5

19 Oct 16:02
@github-actions github-actions
0.16.0-alpha-5
ddaa1e3
Compare
Choose a tag to compare
OpenJML 0.16.0-alpha-5

Publishing release 0.16.0-alpha-5.

Adds a release build for Ubuntu 18.04

Assets 5

OpenJML 0.16.0-alpha-4

12 Oct 00:16
@github-actions github-actions
0.16.0-alpha-4
ef80238
Compare
Choose a tag to compare
OpenJML 0.16.0-alpha-4

Publishing release 0.16.0-alpha-4

Assets 4

OpenJML 0.16.0-alpha-3

10 Oct 02:35
@github-actions github-actions
0.16.0-alpha-3
946bea3
Compare
Choose a tag to compare
OpenJML 0.16.0-alpha-3

Publishing release 0.16.0-alpha-3

Assets 4

V0.8.57

15 Nov 13:03
@davidcok davidcok
0.8.57
3ceab53
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
V0.8.57

Publishing release V0.8.57

Assets 3

V0.8.56

16 Sep 12:49
@davidcok davidcok
0.8.56
730e21d
Compare
Choose a tag to compare
V0.8.56

Publishing release V0.8.56

Assets 5

OpenJML 0.16.0-alpha-2

14 Jul 00:46
@github-actions github-actions
0.16.0-alpha-2
95948fd
Compare
Choose a tag to compare
OpenJML 0.16.0-alpha-2

Fixes to #722, #731, #733, #734 (FP literals), #736, #737, gitbug402, gitbug648a, modifiers#testBadModifiers2

Assets 2

V0.8.55

12 Jul 19:50
@davidcok davidcok
0.8.55
b5d952f
Compare
Choose a tag to compare
V0.8.55

Publishing release V0.8.55

Assets 3