Changelog for cbmc-5.7+730-2.32.i586.rpm :

* Tue Aug 01 2017 jslabyAATTsuse.com- Update to version 5.7+730:
* Document $, !, AATT and # in symbol names
* Fix nullptr
* Fix linter errors, ignoring big-int and miniz
* Allow invariants with structured exceptions
* Revert \"[depends: #1063] Use nullptr to represent null pointers (targets master)\"
* Fix nullptr usage, ignoring miniz and big-int
* Fix linter errors, ignoring big-int and miniz
* Replace macros with exception types
* Update exception types with vs2013 support- add 0001-do-not-build-with-Werror.patch- install also man and docs
* Wed Mar 09 2016 jslabyAATTsuse.com- update to 6174
* Thu Sep 03 2015 jslabyAATTsuse.com- update to 5383
* Thu Mar 19 2015 jslabyAATTsuse.com- initial package