cbmc-5.50.0-4.fc38 | Build Info

Information for build cbmc-5.50.0-4.fc38

242178

Package Name

cbmc

Version

5.50.0

Release

4.fc38

Epoch

Source

git+https://src.fedoraproject.org/rpms/cbmc.git#95723b36effb6d4a3535c2c7db8cef81d8a2fca6

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

Fri, 24 Mar 2023 14:38:29 UTC

Completed

Sat, 25 Mar 2023 12:00:11 UTC

Task

build (f38, /rpms/cbmc.git:95723b36effb6d4a3535c2c7db8cef81d8a2fca6)

Extra

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

Tags

f38

f39

f40

RPMs

src
	cbmc-5.50.0-4.fc38.src.rpm (info) (download)
riscv64
	cbmc-5.50.0-4.fc38.riscv64.rpm (info) (download)
	cbmc-doc-5.50.0-4.fc38.riscv64.rpm (info) (download)
	cbmc-utils-5.50.0-4.fc38.riscv64.rpm (info) (download)
	cbmc-debuginfo-5.50.0-4.fc38.riscv64.rpm (info) (download)
	cbmc-debugsource-5.50.0-4.fc38.riscv64.rpm (info) (download)

Logs

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

Changelog

* Sun Jan 29 2023 Lukáš Zaoral <lzaoral@redhat.com> - 5.50.0-4 - Fix F38 FTBFS - Use SPDX license format - Modernize the spec a bit * Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 5.50.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.50.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed Feb 09 2022 Vincent Mihalkovic <vmihalko@redhat.com> - 5.50.0-1 - New upstream release of cbmc and also cbmc-utils - Add "--add-cmd-line-arg" option for goto-instrument * Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.38.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Wed Sep 15 2021 Vincent Mihalkovic <vmihalko@redhat.com> - 5.38.0-1 - New upstream release of cbmc and also cbmc-utils * Mon Aug 23 2021 Pavel Simovec <psimovec@redhat.com> - 5.37.0-1 - New upstream release - fix broken indentation in a patch * Wed Aug 04 2021 Lukas Zaoral <lzaoral@redhat.com> - 5.35.0-1 - New upstream release - Use plain doxygen to cut-down some build dependencies * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 5.29.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Wed May 12 2021 Vincent Mihalkovic <vmihalko@redhat.com> - 5.29.0-1 - New upstream release * Wed Mar 10 2021 Vincent Mihalkovic <vmihalko@redhat.com> - 5.25.0-2 - Add Requires: clang * 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

Main Site Links:

Information for build cbmc-5.50.0-4.fc38