Thu, 19 May 2022 02:41:11 UTC

Information for build cbmc-5.37.0-1.fc35

ID1822765
Package Namecbmc
Version5.37.0
Release1.fc35
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/cbmc.git#181f950a169476e1a4bc76120ab65d29515d1b7a
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 bylzaoral
State complete
Volume DEFAULT
StartedMon, 23 Aug 2021 15:57:46 UTC
CompletedMon, 23 Aug 2021 17:03:49 UTC
Taskbuild (f35-candidate, /rpms/cbmc.git:181f950a169476e1a4bc76120ab65d29515d1b7a)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cbmc.git#181f950a169476e1a4bc76120ab65d29515d1b7a'}}
Tags
f35
f35-Beta
RPMs
src
cbmc-5.37.0-1.fc35.src.rpm (info) (download)
aarch64
cbmc-5.37.0-1.fc35.aarch64.rpm (info) (download)
cbmc-doc-5.37.0-1.fc35.aarch64.rpm (info) (download)
cbmc-utils-5.37.0-1.fc35.aarch64.rpm (info) (download)
cbmc-debuginfo-5.37.0-1.fc35.aarch64.rpm (info) (download)
cbmc-debugsource-5.37.0-1.fc35.aarch64.rpm (info) (download)
armv7hl
cbmc-5.37.0-1.fc35.armv7hl.rpm (info) (download)
cbmc-doc-5.37.0-1.fc35.armv7hl.rpm (info) (download)
cbmc-utils-5.37.0-1.fc35.armv7hl.rpm (info) (download)
cbmc-debuginfo-5.37.0-1.fc35.armv7hl.rpm (info) (download)
cbmc-debugsource-5.37.0-1.fc35.armv7hl.rpm (info) (download)
i686
cbmc-5.37.0-1.fc35.i686.rpm (info) (download)
cbmc-doc-5.37.0-1.fc35.i686.rpm (info) (download)
cbmc-utils-5.37.0-1.fc35.i686.rpm (info) (download)
cbmc-debuginfo-5.37.0-1.fc35.i686.rpm (info) (download)
cbmc-debugsource-5.37.0-1.fc35.i686.rpm (info) (download)
ppc64le
cbmc-5.37.0-1.fc35.ppc64le.rpm (info) (download)
cbmc-doc-5.37.0-1.fc35.ppc64le.rpm (info) (download)
cbmc-utils-5.37.0-1.fc35.ppc64le.rpm (info) (download)
cbmc-debuginfo-5.37.0-1.fc35.ppc64le.rpm (info) (download)
cbmc-debugsource-5.37.0-1.fc35.ppc64le.rpm (info) (download)
s390x
cbmc-5.37.0-1.fc35.s390x.rpm (info) (download)
cbmc-doc-5.37.0-1.fc35.s390x.rpm (info) (download)
cbmc-utils-5.37.0-1.fc35.s390x.rpm (info) (download)
cbmc-debuginfo-5.37.0-1.fc35.s390x.rpm (info) (download)
cbmc-debugsource-5.37.0-1.fc35.s390x.rpm (info) (download)
x86_64
cbmc-5.37.0-1.fc35.x86_64.rpm (info) (download)
cbmc-doc-5.37.0-1.fc35.x86_64.rpm (info) (download)
cbmc-utils-5.37.0-1.fc35.x86_64.rpm (info) (download)
cbmc-debuginfo-5.37.0-1.fc35.x86_64.rpm (info) (download)
cbmc-debugsource-5.37.0-1.fc35.x86_64.rpm (info) (download)
Logs
armv7hl
hw_info.log
state.log
build.log
root.log
mock_output.log
i686
hw_info.log
state.log
build.log
root.log
mock_output.log
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
aarch64
hw_info.log
state.log
build.log
root.log
mock_output.log
ppc64le
hw_info.log
state.log
build.log
root.log
mock_output.log
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * 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 * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 5.17.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * 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