cbmc-5.11-3.fc31 | Build Info

Information for build cbmc-5.11-3.fc31

116476

Package Name

cbmc

Version

5.11

Release

3.fc31

Epoch

Source

git+https://src.fedoraproject.org/rpms/cbmc.git#0b470818242499ee10411dd23a9738a6254069d1

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.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Thu, 01 Aug 2019 01:27:01 UTC

Completed

Fri, 02 Aug 2019 17:13:21 UTC

Task

build (f31-candidate, /rpms/cbmc.git:0b470818242499ee10411dd23a9738a6254069d1)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cbmc.git#0b470818242499ee10411dd23a9738a6254069d1'}}

Tags

f31

f32

f33

RPMs

src
	cbmc-5.11-3.fc31.src.rpm (info) (download)
riscv64
	cbmc-5.11-3.fc31.riscv64.rpm (info) (download)
	cbmc-doc-5.11-3.fc31.riscv64.rpm (info) (download)
	cbmc-debuginfo-5.11-3.fc31.riscv64.rpm (info) (download)
	cbmc-debugsource-5.11-3.fc31.riscv64.rpm (info) (download)

Logs

riscv64
	build.log
	hw_info.log
	mock_output.log
	root.log
	state.log

Changelog

* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.11-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sat Jun 08 2019 Jerry James <loganjerry@gmail.com> - 5.11-2 - Fix man page links (bz 1718287) * Thu Jan 31 2019 Jerry James <loganjerry@gmail.com> - 5.11-1 - New upstream release * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.10-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * 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

Main Site Links:

Information for build cbmc-5.11-3.fc31