cbmc-5.25.0-1.fc33 | Build Info

Information for build cbmc-5.25.0-1.fc33

193774

Package Name

cbmc

Version

5.25.0

Release

1.fc33

Epoch

Source

git+https://src.fedoraproject.org/rpms/cbmc.git#35303790e689094ea6a4d4d8e19c66409877f27e

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

Sat, 24 Apr 2021 06:58:32 UTC

Completed

Sat, 24 Apr 2021 20:11:07 UTC

Task

build (f33, /rpms/cbmc.git:35303790e689094ea6a4d4d8e19c66409877f27e)

Extra

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

Tags

f33

f37

f38

RPMs

src
	cbmc-5.25.0-1.fc33.src.rpm (info) (download)
riscv64
	cbmc-5.25.0-1.fc33.riscv64.rpm (info) (download)
	cbmc-doc-5.25.0-1.fc33.riscv64.rpm (info) (download)
	cbmc-utils-5.25.0-1.fc33.riscv64.rpm (info) (download)
	cbmc-debuginfo-5.25.0-1.fc33.riscv64.rpm (info) (download)
	cbmc-debugsource-5.25.0-1.fc33.riscv64.rpm (info) (download)

Logs

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

Changelog

* Wed Mar 10 2021 Vincent Mihalkovic <vmihalko@redhat.com> - 5.25.0-1 - Add csexec-cbmc.sh script - New upstream release * Tue Feb 23 2021 Vincent Mihalkovic <vmihalko@redhat.com> - 5.24.0-1 - Add goto-clang for a hybrid binary translation - New upstream release * Mon Nov 02 2020 Vincent Mihalkovic <vmihalko@redhat.com> - 5.17.0-1 - New upstream release * Thu Oct 08 2020 Vincent Mihalkovic <vmihalko@redhat.com> - 5.15.0-1 - New upstream release * Wed Sep 30 2020 Vincent Mihalkovic <vmihalko@redhat.com> - 5.14.3-1 - New upstream release * Tue Sep 29 2020 Vincent Mihalkovic <vmihalko@redhat.com> - 5.13.1-1 - New upstream release - Use CMake instead of plain Makefiles - Add cbmc-utils subpackage * Tue Sep 01 2020 Vincent Mihalkovic <vmihalko@redhat.com> - 5.13.0-1 - New upstream release * Wed Aug 12 2020 Vincent Mihalkovic <vmihalko@redhat.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 * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.12-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Thu Jul 09 2020 Vincent Mihalkovic <vmihalko@redhat.com> - 5.12-1 - New upstream release. Skipping some of regression tests - temporary f33 build fix * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.11-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Fri Sep 27 2019 Jerry James <loganjerry@gmail.com> - 5.11-4 - Drop cudd support due to impending cudd retirement * 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)

Main Site Links:

Information for build cbmc-5.25.0-1.fc33