Skip to content

Releases: boogie-org/corral

Corral v1.1.8

09 Jul 00:36
@zvonimir zvonimir
v1.1.8
e14bdc4
Compare
Choose a tag to compare
Corral v1.1.8 Latest
Latest

Release notes:

  • minor fix
Assets 2
Loading

Corral v1.1.7

09 Jul 00:33
@zvonimir zvonimir
v1.1.7
f9ea33f
Compare
Choose a tag to compare
Corral v1.1.7

Release notes:

  • minor fix
Assets 2
Loading

Corral v1.1.6

09 Jul 00:29
@zvonimir zvonimir
v1.1.6
134e7c8
Compare
Choose a tag to compare
Corral v1.1.6

Release notes:

  • fixed release action
Assets 2
Loading

Corral v1.1.5

09 Jul 00:06
@zvonimir zvonimir
v1.1.5
fa85ed6
Compare
Choose a tag to compare
Corral v1.1.5

Release notes:

  • Updated Boogie to the latest release
  • Improved how Corral release is created
Assets 2
Loading

v1.0.17

29 Oct 06:37
@michael-emmi michael-emmi
v1.0.17
4dcf5fb
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
v1.0.17 
Merge pull request #134 from bkragl/drop-dead-options

Remove dead Boogie options
Assets 3
Loading

v1.0.16

29 Oct 06:30
@michael-emmi michael-emmi
v1.0.16
90ee3e9
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
v1.0.16 
Merge pull request #132 from boogie-org/akashl/av-core

Porting AV to .NET Core
Assets 3
Loading

v1.0.15

21 Oct 10:27
@michael-emmi michael-emmi
v1.0.15
4a40312
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
v1.0.15 
Merge pull request #131 from bkragl/build

Switch to .NET Core only and use Boogie NuGet package
Assets 3
Loading

v1.0.14

15 Sep 04:32
@michael-emmi michael-emmi
v1.0.14
958fbb6
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
v1.0.14 
Merge pull request #128 from smackers/update-boogie

Update boogie
Assets 3
Loading

v1.0.13

08 Sep 13:59
@michael-emmi michael-emmi
v1.0.13
9b11c40
Compare
Choose a tag to compare
v1.0.13 
Removed AbsHoudini
Assets 3
Loading

v1.0.12

04 Jun 06:47
@michael-emmi michael-emmi
v1.0.12
45443ba
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
v1.0.12 
Merge pull request #120 from smackers/update-boogie

Updated Boogie and CI Z3 version
Assets 3
Loading