Tue, 21 May 2024 11:20:42 UTC | login

Information for build cbmc-5.9-1.fc29

ID45852
Package Namecbmc
Version5.9
Release1.fc29
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
StartedFri, 29 Jun 2018 06:37:31 UTC
CompletedFri, 29 Jun 2018 20:38:11 UTC
Taskbuild (f29-candidate, cbmc-5.9-1.fc29.src.rpm)
Tags
f29
RPMs
src
cbmc-5.9-1.fc29.src.rpm (info) (download)
riscv64
cbmc-5.9-1.fc29.riscv64.rpm (info) (download)
cbmc-doc-5.9-1.fc29.riscv64.rpm (info) (download)
cbmc-debuginfo-5.9-1.fc29.riscv64.rpm (info) (download)
cbmc-debugsource-5.9-1.fc29.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * 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 * Sat Nov 26 2016 Jerry James <loganjerry@gmail.com> - 5.6-1 - New upstream release * Fri Sep 16 2016 Jerry James <loganjerry@gmail.com> - 5.5-2 - Fix two tests that fail on big endian architectures (bz 1371894) * Sat Aug 27 2016 Jerry James <loganjerry@gmail.com> - 5.5-1 - New upstream release * Thu Mar 17 2016 Jerry James <loganjerry@gmail.com> - 5.4-1 - New upstream release * Sat Mar 12 2016 Jerry James <loganjerry@gmail.com> - 5.3-5 - Rebuild for glpk 4.59 * Fri Feb 19 2016 Jerry James <loganjerry@gmail.com> - 5.3-4 - Rebuild for glpk 4.58 * Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 5.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Fri Jan 22 2016 Jerry James <loganjerry@gmail.com> - 5.3-2 - Rebuild for cudd 3.0.0 * Tue Dec 01 2015 Jerry James <loganjerry@gmail.com> - 5.3-1 - New upstream release * Wed Oct 07 2015 Jerry James <loganjerry@gmail.com> - 5.2-1 - New upstream release * Fri Oct 02 2015 Jerry James <loganjerry@gmail.com> - 5.1-3 - Rebuild for cudd 2.5.1 * Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 5.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Wed May 13 2015 Jerry James <loganjerry@gmail.com> - 5.1-1 - New upstream release - Drop upstreamed -messaget patch * Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 5.0-2 - Rebuilt for GCC 5 C++11 ABI change * Mon Feb 02 2015 Jerry James <loganjerry@gmail.com> - 5.0-1 - New upstream release - Drop upstreamed ppc64le patch - Add -messaget patch to fix a build failure * Mon Sep 15 2014 Jerry James <loganjerry@gmail.com> - 4.9-1 - New upstream release - Drop upstreamed patches * Wed Sep 03 2014 Jerry James <loganjerry@gmail.com> - 4.7-3 - Add patch to fix the ppc64le build (bz 1133066) - Add man page links for goto-cc and goto-instrument - Fix license handling * Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 4.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Wed Jun 25 2014 Jerry James <loganjerry@gmail.com> - 4.7-1 - New upstream release - Build with CUDD support * Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 4.6-2.20131201svn - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Sun Dec 01 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject.org> - 4.6-1.20131201svn - Updated to upstream 4.6 release * Tue Sep 10 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject.org> - 4.3-7.20130515svn - Fix build with unversioned docdir using _pkgdocdir (#992043) * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 4.3-6.20130515svn - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Wed Jul 10 2013 Dan Horák <dan[at]danny.cz> - 4.3-5.20130515svn - fix build on s390x * Mon Jul 08 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject.org> - 4.3-4.20130515svn - Fixed changelog date * Sun Jun 30 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject.org> - 4.3-3.20130515svn - Updated license - Fixed doc and manual page directories * Tue Jun 25 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject.org> - 4.3-2.20130515svn - Updated release * Wed May 15 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject.org> - 4.3-1.20130515svn - First release