Releases: boogie-org/corral
Releases · boogie-org/corral
Corral v1.1.8
Corral v1.1.7
Release notes:
- minor fix
Corral v1.1.6
Release notes:
- fixed release action
Corral v1.1.5
Release notes:
- Updated Boogie to the latest release
- Improved how Corral release is created
v1.0.17
Merge pull request #134 from bkragl/drop-dead-options Remove dead Boogie options
v1.0.16
Merge pull request #132 from boogie-org/akashl/av-core Porting AV to .NET Core
v1.0.15
Merge pull request #131 from bkragl/build Switch to .NET Core only and use Boogie NuGet package
v1.0.14
Merge pull request #128 from smackers/update-boogie Update boogie
v1.0.13
Removed AbsHoudini
v1.0.12
Merge pull request #120 from smackers/update-boogie Updated Boogie and CI Z3 version