CBMC Release 5.9

[Daniel Kroening]

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

This is a maintenance release. Note that the Java front-end is now in a
separate tool called jbmc.

CBMC 5.9 is available in binary form at http://www.cprover.org/cbmc/ for
the following architectures:

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

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

* Windows (64 bit only):
http://www.cprover.org/cbmc/download/cbmc-5-9-win.zip

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

The source code is available on GitHub.

From source, binaries for FreeBSD and Solaris can be built.

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

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

With best regards,

Daniel