cbmc-6.10.0-1.fc45 RPM for x86_64

From Fedora Rawhide for x86_64 / c

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.

Provides

• cbmc
• cbmc(x86-64)

Requires

• gcc-c++
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.11)(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.4)(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.29)(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)

License

BSD-4-Clause

Changelog

* Thu Jul 16 2026 Lukáš Zaoral <lzaoral@redhat.com> - 6.10.0-1
  - rebase to the latest upstream release (rhzb#2492168)
* Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 6.9.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Thu Jun 11 2026 Lukáš Zaoral <lzaoral@redhat.com> - 6.9.0-1
  - rebase to the latest upstream release (rhbz#2458463)
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 6.8.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 6.8.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Fri Dec 05 2025 Lukáš Zaoral <lzaoral@redhat.com> - 6.8.0-1
  - rebase to the latest upstream release (rhbz#2412627)
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 6.7.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Fri Jul 11 2025 Lukáš Zaoral <lzaoral@redhat.com> - 6.7.1-1
  - rebase to the latest upstream release (rhbz#2379159)
* Tue Jul 08 2025 Lukáš Zaoral <lzaoral@redhat.com> - 6.7.0-1
  - rebase to the latest upstream release (rhbz#2374934)
* Mon May 05 2025 Lukáš Zaoral <lzaoral@redhat.com> - 6.6.0-1
  - rebase to the latest upstream release (rhbz#2362802)
* Wed Apr 23 2025 Lukáš Zaoral <lzaoral@redhat.com> - 6.5.0-1
  - rebase to the latest upstream release (rhbz#2352414)
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 6.4.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Fri Nov 29 2024 Lukáš Zaoral <lzaoral@redhat.com> - 6.4.1-1
  - rebase to latest upstream version (rhbz#2292926)
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.95.1-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild

Files

/usr/bin/cbmc
/usr/bin/cprover
/usr/bin/crangler
/usr/bin/goto-analyzer
/usr/bin/goto-cc
/usr/bin/goto-diff
/usr/bin/goto-gcc
/usr/bin/goto-harness
/usr/bin/goto-inspect
/usr/bin/goto-instrument
/usr/bin/goto-ld
/usr/bin/goto-synthesizer
/usr/bin/ls_parse.py
/usr/bin/symtab2gb
/usr/lib/.build-id
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/74d0eb1d410dcfa814098e45a16ef18fff8fb0
/usr/lib/.build-id/14
/usr/lib/.build-id/14/cc8b3801f5c076abf87290bdbbf6d1777a5d50
/usr/lib/.build-id/25
/usr/lib/.build-id/25/2492e7440f4d0931cf57f60321be97cc78d12e
/usr/lib/.build-id/2b
/usr/lib/.build-id/2b/585e6b2572641af5cca4c4abbf0213b5b68645
/usr/lib/.build-id/3a
/usr/lib/.build-id/3a/d1b1b3b3926ca20e6d57f50ed109ba00643c59
/usr/lib/.build-id/3f
/usr/lib/.build-id/3f/599486601289543ab0fc63fc688a8cdd53b36d
/usr/lib/.build-id/43
/usr/lib/.build-id/43/e27db27e8180adc801062ab14f1bb875732e31
/usr/lib/.build-id/49
/usr/lib/.build-id/49/2194adf7aac261d2b1683c9c27b119515458a4
/usr/lib/.build-id/6e
/usr/lib/.build-id/6e/2cf02dfe8d1a6d505e6e13cdd2cf3c507405e4
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/dd58bfa503f0c547176f2145d651892e3f6f87
/usr/lib/.build-id/ec
/usr/lib/.build-id/ec/628874898361cfba776be4560cf373dd1aa6a7
/usr/share/bash-completion/completions
/usr/share/bash-completion/completions/cbmc
/usr/share/doc/cbmc
/usr/share/doc/cbmc/README.md
/usr/share/licenses/cbmc
/usr/share/licenses/cbmc/LICENSE
/usr/share/man/man1/cbmc.1.gz
/usr/share/man/man1/crangler.1.gz
/usr/share/man/man1/goto-analyzer.1.gz
/usr/share/man/man1/goto-cc.1.gz
/usr/share/man/man1/goto-diff.1.gz
/usr/share/man/man1/goto-gcc.1.gz
/usr/share/man/man1/goto-harness.1.gz
/usr/share/man/man1/goto-instrument.1.gz
/usr/share/man/man1/goto-ld.1.gz
/usr/share/man/man1/goto-synthesizer.1.gz
/usr/share/man/man1/memory-analyzer.1.gz
/usr/share/man/man1/symtab2gb.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Aug 3 22:20:21 2026