Sun, 01 Dec 2024 00:46:31 UTC | login

Information for build cbmc-5.10-1.fc30

ID80155
Package Namecbmc
Version5.10
Release1.fc30
Epoch
SummaryBounded Model Checker for ANSI-C and C++ programs
DescriptionCBMC 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.
Built bydavidlt
State complete
Volume DEFAULT
StartedWed, 05 Dec 2018 11:11:18 UTC
CompletedWed, 05 Dec 2018 14:44:55 UTC
Taskbuild (f30-candidate, cbmc-5.10-1.fc30.src.rpm)
Tags
f30
f31
RPMs
src
cbmc-5.10-1.fc30.src.rpm (info) (download)
riscv64
cbmc-5.10-1.fc30.riscv64.rpm (info) (download)
cbmc-doc-5.10-1.fc30.riscv64.rpm (info) (download)
cbmc-debuginfo-5.10-1.fc30.riscv64.rpm (info) (download)
cbmc-debugsource-5.10-1.fc30.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Wed Sep 26 2018 Jerry James <loganjerry@gmail.com> - 5.10-1 - New upstream release * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.9-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Fri Jun 22 2018 Jerry James <loganjerry@gmail.com> - 5.9-1 - New upstream release - Drop upstreamed -float128 and -vec patches - Musketeer and symex have been removed; do not try to build them * Mon Jun 11 2018 Jerry James <loganjerry@gmail.com> - 5.8-4 - Fix out of bounds vector accesses * Sat Jun 02 2018 Jerry James <loganjerry@gmail.com> - 5.8-3 - Rebuild for glpk 4.65 * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.8-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Sat Aug 12 2017 Jerry James <loganjerry@gmail.com> - 5.8-1 - New upstream release - Drop upstreamed -musketeer patch - Add -doc subpackage to hold doxygen-generated content * Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 5.7-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 5.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Thu Apr 06 2017 Jerry James <loganjerry@gmail.com> - 5.7-1 - New upstream release * Wed Apr 05 2017 Jerry James <loganjerry@gmail.com> - 5.6-3 - Rebuild for glpk 4.61 * Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 5.6-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild