CBMC Release 4.5

[Daniel Kroening]

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

This release is a bug-fix release, repairing some faults in the partial-order encoding. It also includes a few optimisations that reduce memory consumption.

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

* Linux:
http://www.cprover.org/cbmc/download/cbmc-4-5-linux-32.tgz 
http://www.cprover.org/cbmc/download/cbmc-4-5-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-4-5-win.zip 

* MacOS X binary for 64 bit Intel:
http://www.cprover.org/cbmc/download/cbmc-4-5.pkg

The source code is available via SVN at http://www.cprover.org/svn/cbmc/releases/cbmc-4.5.

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

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

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