Tue, 21 May 2024 16:56:38 UTC | login

Information for build cbmc-5.12-2.fc33

ID185299
Package Namecbmc
Version5.12
Release2.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/cbmc.git#69d585c3267e52f183e09c2db954051104da1493
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 failed
Volume DEFAULT
StartedSat, 05 Sep 2020 15:22:58 UTC
CompletedSat, 05 Sep 2020 15:39:37 UTC
Taskbuild (f33, /rpms/cbmc.git:69d585c3267e52f183e09c2db954051104da1493)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cbmc.git#69d585c3267e52f183e09c2db954051104da1493'}}
Tags No tags
RPMs No RPMs
Changelog * 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) * 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