--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-bfd5793038
2020-11-05 01:02:23.473531
--------------------------------------------------------------------------------
Name : cbmc
Product : Fedora 33
Version : 5.17.0
Release : 1.fc33
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:
This is update to [latest
release](https://github.com/diffblue/cbmc/releases/tag/cbmc-5.17.0) of cbmc
package for fedora {32,33}.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Nov 2 2020 Vincent Mihalkovic <vmihalko(a)redhat.com> - 5.17.0-1
- New upstream release
* Thu Oct 8 2020 Vincent Mihalkovic <vmihalko(a)redhat.com> - 5.15.0-1
- New upstream release
* Wed Sep 30 2020 Vincent Mihalkovic <vmihalko(a)redhat.com> - 5.14.3-1
- New upstream release
* Tue Sep 29 2020 Vincent Mihalkovic <vmihalko(a)redhat.com> - 5.13.1-1
- New upstream release
- Use CMake instead of plain Makefiles
- Add cbmc-utils subpackage
* Tue Sep 1 2020 Vincent Mihalkovic <vmihalko(a)redhat.com> - 5.13.0-1
- New upstream release
* Wed Aug 12 2020 Vincent Mihalkovic <vmihalko(a)redhat.com> - 5.12.6-1
- Replace custom goto-cc.1 with symlinks to cbmc.1
- Enable full cbmc testsuite
- python to python3 fix in one test case
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-bfd5793038' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------