-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2014-7777 2014-06-27 01:28:33 --------------------------------------------------------------------------------
Name : cbmc Product : Fedora 20 Version : 4.7 Release : 1.fc20 URL : http://www.cprover.org/cbmc/ Summary : Bounded Model Checker for ANSI-C and C++ programs Description : CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.
-------------------------------------------------------------------------------- Update Information:
Changes in version 4.7: - Added support for Solaris 11 - Bugfixes in partial-order encoding - Added --float-overflow-check
-------------------------------------------------------------------------------- ChangeLog:
* Wed Jun 25 2014 Jerry James loganjerry@gmail.com - 4.7-1 - New upstream release - Build with CUDD support * Sun Dec 1 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject.org> - 4.6-1.20131201svn - Updated to upstream 4.6 release --------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use su -c 'yum update cbmc' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys --------------------------------------------------------------------------------