Skip to content

Releases: boogie-org/boogie

v2.8.16

23 Dec 22:26
@michael-emmi michael-emmi
v2.8.16
76016d5
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
v2.8.16 
Documentation for encoding of control flow in VC generation (#320)

* added documentation

* triggering rebuild
Assets 3
Loading

v2.8.15

21 Dec 17:00
@michael-emmi michael-emmi
v2.8.15
8b542a6
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
v2.8.15 
Update GitVersionTask to latest version to resolve issue requiring MS…
Assets 3
Loading

v2.8.14

19 Dec 18:42
@michael-emmi michael-emmi
v2.8.14
e3af7ac
Compare
Choose a tag to compare
v2.8.14 
Add example used in the CAV 2020 talk to illustrate yield invariants
Assets 3
Loading

v2.8.13

19 Dec 00:49
@michael-emmi michael-emmi
v2.8.13
1e4389a
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
v2.8.13 
added case to support output from cvc4 (#318)
Assets 3
Loading

v2.8.12

13 Dec 18:01
@michael-emmi michael-emmi
v2.8.12
d0451ef
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
v2.8.12 
Improve command-line interface (#316)
Assets 3
Loading

v2.8.11

03 Dec 23:05
@michael-emmi michael-emmi
v2.8.11
65eae7a
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
v2.8.11 
Fix bug which causes redundant declarations to be generated in the VC…
Assets 3
Loading

v2.8.10

02 Dec 23:54
@michael-emmi michael-emmi
v2.8.10
2e77c28
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
v2.8.10 
[CIVL] renamed non-blocking -> cooperation, terminates -> cooperates …
Assets 3
Loading

v2.8.9

02 Dec 21:43
@michael-emmi michael-emmi
v2.8.9
7934c32
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
v2.8.9 
CIVL: better refinement error messages (#312)
Assets 3
Loading

v2.8.8

26 Nov 14:27
@michael-emmi michael-emmi
v2.8.8
e88af75
Compare
Choose a tag to compare
v2.8.8 
CIVL: consistently refer to global (instead of shared) variables
Assets 3
Loading

v2.8.7

11 Nov 21:21
@michael-emmi michael-emmi
v2.8.7
5be260b
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
v2.8.7 
CIVL cleanup: simplified Absy construction and consistent use of Asse…
Assets 3
Loading