Skip to content

Releases: diffblue/cbmc

cbmc-5.15.0

01 Oct 14:13
@NlightNFotis NlightNFotis
5.15.0
94fb414
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
cbmc-5.15.0

Weekly release, in line with our release cadence.

Assets 4
Loading

cbmc-5.14.3

24 Sep 13:01
@hannes-steffenhagen-diffblue hannes-steffenhagen-diffblue
cbmc-5.14.3
d70285a
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
cbmc-5.14.3 
Merge pull request #5503 from hannes-steffenhagen-diffblue/cbmc-versi…
Assets 4
Loading

cbmc-5.14.2

17 Sep 16:14
@hannes-steffenhagen-diffblue hannes-steffenhagen-diffblue
cbmc-5.14.2
aa5a40a
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
cbmc-5.14.2 
Merge pull request #5498 from hannes-steffenhagen-diffblue/cbmc-versi…
Assets 4
Loading

cbmc-5.14.1

16 Sep 15:24
@hannes-steffenhagen-diffblue hannes-steffenhagen-diffblue
cbmc-5.14.1
c21ede2
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
cbmc-5.14.1 
Merge pull request #5496 from hannes-steffenhagen-diffblue/bump-cbmc-…
Assets 3
Loading

cbmc-5.14.0

16 Sep 08:39
@hannes-steffenhagen-diffblue hannes-steffenhagen-diffblue
cbmc-5.14.0
09c4d02
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
cbmc-5.14.0 
Merge pull request #5493 from hannes-steffenhagen-diffblue/cbmc-5.14-…
Assets 2
Loading

cbmc-5.13.1

03 Sep 09:44
@NlightNFotis NlightNFotis
cbmc-5.13.1
c951689
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
cbmc-5.13.1

This is a regular release done in line with our proposed release cadence.

This release should also feature some binaries generated by github actions.

Assets 2
Loading

cbmc-5.13.0

27 Aug 13:58
@hannes-steffenhagen-diffblue hannes-steffenhagen-diffblue
cbmc-5.13.0
cc4d1ac
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
cbmc-5.13.0 
Merge pull request #5467 from hannes-steffenhagen-diffblue/bump-cbmc-…
Assets 2
Loading

cbmc-5.12.6

10 Aug 13:10
@hannes-steffenhagen-diffblue hannes-steffenhagen-diffblue
cbmc-5.12.6
af5bc99
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
cbmc-5.12.6 Pre-release
Pre-release 
Merge pull request #5439 from hannes-steffenhagen-diffblue/CI/macos-1…
Assets 2
Loading

cbmc-5.12.5

06 Aug 09:05
@hannes-steffenhagen-diffblue hannes-steffenhagen-diffblue
cbmc-5.12.5
b3a6cc4
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
cbmc-5.12.5 Pre-release
Pre-release 
Merge pull request #5441 from danpoe/fixes/enum-underlying-types

Correctly interpret underlying type specification of enums
Assets 2
Loading

cbmc-5.12.4

23 Jul 11:34
@hannes-steffenhagen-diffblue hannes-steffenhagen-diffblue
cbmc-5.12.4
b0b3225
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
cbmc-5.12.4 Pre-release
Pre-release 
Merge pull request #5419 from markrtuttle/fix-cmake-install-symlinks

Add DESTDIR to cmake symlinks
Assets 2
Loading