↵ Return to the main page of cbmc-doc
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Provides
🠗 Files
Date | Author | Change |
---|---|---|
2021-03-10 | Vincent Mihalkovic <vmihalko at redhat dot com> - 5.25.0-1 | - Add csexec-cbmc.sh script - New upstream release |
2021-02-23 | Vincent Mihalkovic <vmihalko at redhat dot com> - 5.24.0-1 | - Add goto-clang for a hybrid binary translation - New upstream release |
2021-01-26 | Fedora Release Engineering <releng at fedoraproject dot org> - 5.17.0-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
2020-11-02 | Vincent Mihalkovic <vmihalko at redhat dot com> - 5.17.0-1 | - New upstream release |
2020-10-08 | Vincent Mihalkovic <vmihalko at redhat dot com> - 5.15.0-1 | - New upstream release |
2020-09-30 | Vincent Mihalkovic <vmihalko at redhat dot com> - 5.14.3-1 | - New upstream release |
2020-09-29 | Vincent Mihalkovic <vmihalko at redhat dot com> - 5.13.1-1 | - New upstream release - Use CMake instead of plain Makefiles - Add cbmc-utils subpackage |
2020-09-01 | Vincent Mihalkovic <vmihalko at redhat dot com> - 5.13.0-1 | - New upstream release |
2020-08-12 | Vincent Mihalkovic <vmihalko at redhat dot 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 |
2020-07-27 | Fedora Release Engineering <releng at fedoraproject dot org> - 5.12-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild |