Fri, 13 Nov 2026 12:49:46 UTC Log in

cbmc-6.10.0-1.fc45.riscv64.rpm

riscv64
Bounded Model Checker for ANSI-C and C++ programs 26.88 MB built 2026-10-13 05:09:11 GMT
Build 1179

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.

Dependencies

39 total
Requires37
  • gcc-c++
  • ld-linux-riscv64-lp64d.so.1()(64bit)
  • ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
  • libc.so.6()(64bit)
  • libc.so.6(GLIBC_2.27)(64bit)
  • libc.so.6(GLIBC_2.32)(64bit)
  • libc.so.6(GLIBC_2.34)(64bit)
  • libc.so.6(GLIBC_2.38)(64bit)
  • libgcc_s.so.1()(64bit)
  • libgcc_s.so.1(GCC_3.0)(64bit)
  • libm.so.6()(64bit)
  • libm.so.6(GLIBC_2.27)(64bit)
  • libminisat.so.2()(64bit)
  • libstdc++.so.6()(64bit)
  • libstdc++.so.6(CXXABI_1.3)(64bit)
  • libstdc++.so.6(CXXABI_1.3.15)(64bit)
  • libstdc++.so.6(CXXABI_1.3.2)(64bit)
  • libstdc++.so.6(CXXABI_1.3.5)(64bit)
  • libstdc++.so.6(CXXABI_1.3.9)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
  • rpmlib(CompressedFileNames) <= 3.0.4-1
  • rpmlib(FileDigests) <= 4.6.0-1
  • rpmlib(PayloadFilesHavePrefix) <= 4.0-1
  • rpmlib(PayloadIsZstd) <= 5.4.18-1
  • rtld(GNU_HASH)
Provides2
  • cbmc = 6.10.0-1.fc45
  • cbmc(riscv-64) = 6.10.0-1.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

53
Name ascending sort Size
/usr/bin/cbmc 13.53 MB
/usr/bin/cprover 8.11 MB
/usr/bin/crangler 1.67 MB
/usr/bin/goto-analyzer 8.43 MB
/usr/bin/goto-cc 5.95 MB
/usr/bin/goto-diff 7.42 MB
/usr/bin/goto-gcc 7.00 B
/usr/bin/goto-harness 3.31 MB
/usr/bin/goto-inspect 1.96 MB
/usr/bin/goto-instrument 12.45 MB
/usr/bin/goto-ld 7.00 B
/usr/bin/goto-synthesizer 12.04 MB
/usr/bin/ls_parse.py 21.19 KB
/usr/bin/symtab2gb 4.57 MB
/usr/lib/.build-id 0.00 B
/usr/lib/.build-id/01 0.00 B
/usr/lib/.build-id/01/51533eba912adedbfee929588c0e1b5be24941 27.00 B
/usr/lib/.build-id/17 0.00 B
/usr/lib/.build-id/17/e189dc48ac27b4676ad3f36143aade372f9660 36.00 B
/usr/lib/.build-id/6a 0.00 B
/usr/lib/.build-id/6a/09e7144aac432f065cfad2bc34c964acade69b 35.00 B
/usr/lib/.build-id/7c 0.00 B
/usr/lib/.build-id/7c/18d3fdf506480ec4ca985cb463406bd676dae5 24.00 B
/usr/lib/.build-id/84 0.00 B
/usr/lib/.build-id/84/0118d7ad600b98bdd6a48545cf84718e181218 33.00 B
/usr/lib/.build-id/8b 0.00 B
/usr/lib/.build-id/8b/11b8ee5eb726d93c73da294c923fcecbeab71b 28.00 B
/usr/lib/.build-id/8b/1b9e87bbe1d47cf4b63bf4992439cebb50bff2 32.00 B
/usr/lib/.build-id/a1 0.00 B
/usr/lib/.build-id/a1/ba2305c817f8b5778a36d5d762c7b572a29323 29.00 B
/usr/lib/.build-id/aa 0.00 B
/usr/lib/.build-id/aa/7c3fdae5f3398c411fd0f7145583303315acd3 29.00 B
/usr/lib/.build-id/b9 0.00 B
/usr/lib/.build-id/b9/554935be27411755aafedda5f664c602f2ede2 32.00 B
/usr/lib/.build-id/ca 0.00 B
/usr/lib/.build-id/ca/fcdf5644a93cdaef1c4c0a49264f17d578233d 27.00 B
/usr/share/bash-completion/completions 0.00 B
/usr/share/bash-completion/completions/cbmc 5.52 KB
/usr/share/doc/cbmc 0.00 B
/usr/share/doc/cbmc/README.md 5.19 KB
/usr/share/licenses/cbmc 0.00 B
/usr/share/licenses/cbmc/LICENSE 1.91 KB
/usr/share/man/man1/cbmc.1.gz 5.86 KB
/usr/share/man/man1/crangler.1.gz 930.00 B
/usr/share/man/man1/goto-analyzer.1.gz 9.15 KB
/usr/share/man/man1/goto-cc.1.gz 1.72 KB
/usr/share/man/man1/goto-diff.1.gz 1.45 KB
/usr/share/man/man1/goto-gcc.1.gz 12.00 B
/usr/share/man/man1/goto-harness.1.gz 1.95 KB
/usr/share/man/man1/goto-instrument.1.gz 10.07 KB
Files 1–50 of 53 Next →
of 2

Component of

buildroots that installed this RPM

No Buildroots