CBMC Release 5.10

650 views
Skip to first unread message

Daniel Kroening

unread,
Aug 20, 2018, 4:46:32 AM8/20/18
to cpr...@googlegroups.com
We are pleased to announce the release of CBMC version 5.10.

This is a maintenance release. The main area of improvement is better
support for builds with Visual Studio's MSBUILD.

CBMC 5.10 is available in binary form at http://www.cprover.org/cbmc/ for
the following 64-bit architectures:

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

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

* Windows:
http://www.cprover.org/cbmc/download/cbmc-5-10-win.zip

* MacOS X binary for OS X 10.9 or higher:
http://www.cprover.org/cbmc/download/cbmc-5-10.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

Reply all
Reply to author
Forward
0 new messages