CBMC Release 4.6

229 views
Skip to first unread message

Daniel Kroening

unread,
Jan 29, 2014, 4:21:46 PM1/29/14
to cpr...@googlegroups.com
We are pleased to announce the release of CBMC version 4.7.

This release is primarily for maintenance purposes and does not add any major new features.

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

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

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

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

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.

Daniel

Reply all
Reply to author
Forward
0 new messages