cbmc-5.16.0

This is CBMC version cbmc-5.16.0.

MacOS

On MacOS, install CBMC using Homebrew with

brew install cbmc

or upgrade (if it's already been installed) with:

brew upgrade cbmc

Ubuntu

On Ubuntu, install CBMC by downloading the *.deb package below for your version of Ubuntu and install with one of

# Ubuntu 18:
$ sudo dpkg -i ubuntu-18.04-cbmc-5.16.0-Linux.deb
# Ubuntu 20:
$ sudo dpkg -i ubuntu-20.04-cbmc-5.16.0-Linux.deb

Windows

On Windows, install CBMC by downloading the cbmc-5.16.0-win64.msi installer below, double-clicking on the installer to run it, and adding the folder C:\Program Files\cbmc\bin in your PATH environment variable.

For installation from the windows command prompt, run:

msiexec /i cbmc-5.16.0-win64.msi
PATH="c:\program files\cbmc\bin";%PATH%

Note that we depend on the Visual C++ redistributables. You likely already have these, if not please download and run vcredist.x64.exe from Microsoft to install them prior to running cbmc, or make sure you have Visual Studio 2019 installed.

You can download either Visual Studio 2019 Community Edition or the Visual C++ Redistributables from Microsoft for free.

cbmc-5.15.0

Weekly release, in line with our release cadence.

cbmc-5.14.3

Merge pull request #5503 from hannes-steffenhagen-diffblue/cbmc-versi…

cbmc-5.14.2

Merge pull request #5498 from hannes-steffenhagen-diffblue/cbmc-versi…

cbmc-5.14.1

Merge pull request #5496 from hannes-steffenhagen-diffblue/bump-cbmc-…

cbmc-5.14.0

Merge pull request #5493 from hannes-steffenhagen-diffblue/cbmc-5.14-…

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.

cbmc-5.13.0

Merge pull request #5467 from hannes-steffenhagen-diffblue/bump-cbmc-…

cbmc-5.12.6

Merge pull request #5439 from hannes-steffenhagen-diffblue/CI/macos-1…

cbmc-5.12.5

Merge pull request #5441 from danpoe/fixes/enum-underlying-types

Correctly interpret underlying type specification of enums