Skip to content

Releases: diffblue/cbmc

Release list

Release 5.12.3

Release 5.12.3 Pre-release
Pre-release

Choose a tag to compare

View all tags
@hannes-steffenhagen-diffblue hannes-steffenhagen-diffblue released this 09 Jul 09:05
cbmc-5.12.3
354b2c1
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
cbmc-5.12.3

Merge pull request #5416 from hannes-steffenhagen-diffblue/fix/human-…
Loading

Release 5.12.2

Release 5.12.2 Pre-release
Pre-release

Choose a tag to compare

View all tags
@danpoe danpoe released this 26 Jun 08:34
cbmc-5.12.2
7405bfb
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
Merge pull request #5393 from danpoe/fixes/goto-cc-error-flag

Don't require -Wextra goto-gcc flag for warnings to be treated as errors
Loading

Release 5.12.1

Release 5.12.1 Pre-release
Pre-release

Choose a tag to compare

View all tags
@danpoe danpoe released this 11 Jun 10:14
cbmc-5.12.1
91a2257
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
Merge pull request #5315 from thk123/adjustments-to-validator

Fix typo in trace validation script
Loading

release 5.8

release 5.8

Choose a tag to compare

View all tags
@kroening kroening released this 11 Aug 19:47
cbmc-5.8
240ae60 
cbmc-5.8

release 5.8
Loading

Release 5.6

Release 5.6

Choose a tag to compare

View all tags
@kroening kroening released this 19 Nov 15:55
cbmc-5.6
8a0088e 
cbmc-5.6

make test more easily satisfiable
Loading