CBMC Release 5.0

[Daniel Kroening]

We are pleased to announce the release of CBMC version 5.0.

This is a major release, focused primarily on performance improvements. Furthermore, the support for the floating-point theory for SMT-LIB2 has been improved substantially. This release breaks compatibility with the goto-binary format used by earlier releases; i.e., you will need to rebuild your goto-binaries.

Both CBMC 5.0 and HW-CBMC 5.0 are available in binary form at http://www.cprover.org/cbmc/ for the following architectures: 

* Linux:
http://www.cprover.org/cbmc/download/cbmc-5-0-linux-32.tgz 
http://www.cprover.org/cbmc/download/cbmc-5-0-linux-64.tgz

Recall that CBMC packages come with Debian, Ubuntu, and Fedora.

* Windows (32 bit and 64 bit):
http://www.cprover.org/cbmc/download/cbmc-5-0-win.zip 

* MacOS X binary for 64 bit Intel for OS X 10.6 or higher:
http://www.cprover.org/cbmc/download/cbmc-5-0.pkg

The source code is available via SVN at http://www.cprover.org/svn/cbmc/releases/cbmc-5.0. From source, binaries for FreeBSD 10 and Solaris 11 can be built.

As a reminder, the HTML-based manual is available at:

http://www.cprover.org/cprover-manual/ 

The manual not only covers CBMC, but also HW-CBMC and SATABS.

Daniel