Tue, 03 Dec 2024 01:14:55 UTC | login

Information for RPM cbmc-5.50.0-6.fc40.src.rpm

ID1129241
Namecbmc
Version5.50.0
Release6.fc40
Epoch
Archsrc
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.
Build Time2023-11-30 15:37:39 GMT
Size8.03 MB
ad50513ef5357c1dbc7b08ed628e8d68
LicenseBSD-4-Clause
Buildrootf40-build-751842-116206
Provides
cbmc = 5.50.0-6.fc40
cbmc-debuginfo = 5.50.0-6.fc40
cbmc-debugsource = 5.50.0-6.fc40
cbmc-doc = 5.50.0-6.fc40
cbmc-utils = 5.50.0-6.fc40
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
bison
cmake
doxygen
flex
gcc-c++
glpk-devel
minisat2-devel
ninja-build
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
zlib-devel
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 13 of 13
Name ascending sort Size
cbmc-5.12-fix-f33.patch274.00 B
cbmc-5.50.0.tar.gz7.90 MB
cbmc-5.9-glpk.patch480.00 B
cbmc-add-cmd-line-arg.patch11.42 KB
cbmc-disable-werror.patch2.16 KB
cbmc-f34-fix-build.patch2.40 KB
cbmc-f35-deprecated-python.patch750.00 B
cbmc-f35-enable_sse2.patch929.00 B
cbmc-f36-fix-build-gcc12-incompatibility.patch44.21 KB
cbmc-f38-gcc13.patch1.62 KB
cbmc-minisat.patch2.86 KB
cbmc-utils-1.3.tar.gz535.67 KB
cbmc.spec12.48 KB
Component of No Buildroots