Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

cbmc-6.7.1-2.fc43 RPM for aarch64

From Fedora Rawhide for aarch64 / c

Name: cbmc Distribution: Fedora Project
Version: 6.7.1 Vendor: Fedora Project
Release: 2.fc43 Build date: Wed Jul 23 22:57:04 2025
Group: Unspecified Build host: buildvm-a64-27.rdu3.fedoraproject.org
Size: 90236661 Source RPM: cbmc-6.7.1-2.fc43.src.rpm
Packager: Fedora Project
Url: https://www.cprover.org/cbmc
Summary: Bounded Model Checker for ANSI-C and C++ programs
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

Requires

License

BSD-4-Clause

Changelog

* 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
* Fri Feb 09 2024 Lukáš Zaoral <lzaoral@redhat.com> - 5.95.1-4
  - fix FTBFS on Rawhide (rhbz#2259235)
* Tue Jan 23 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.95.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.95.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Nov 21 2023 Lukáš Zaoral <lzaoral@redhat.com> - 5.95.1-1
  - Update to 5.95.1 (rhbz#2239079)

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/11
/usr/lib/.build-id/11/a1f299f11d71485f62b3d01910fb6b9435bb4b
/usr/lib/.build-id/39
/usr/lib/.build-id/39/7ba5e39e917995b9b0746dc3d58d046fa5abea
/usr/lib/.build-id/4d
/usr/lib/.build-id/4d/fba92cf64e7a82ed1ba7250176a66bd75c7262
/usr/lib/.build-id/94
/usr/lib/.build-id/94/3862c86010da09ab0916945b32b7a0f85c411a
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/1859b5863c139799048c566b53ceed408be2b0
/usr/lib/.build-id/c2
/usr/lib/.build-id/c2/c801770b243bddbc1516d5bead9e9940a33b95
/usr/lib/.build-id/cd
/usr/lib/.build-id/cd/7191ffb83cf0b779791732af2cf6460de85549
/usr/lib/.build-id/cf
/usr/lib/.build-id/cf/6704d085d8aabb1c224032d658a32d83f48e44
/usr/lib/.build-id/ec
/usr/lib/.build-id/ec/2bc6745828284d9ab8697a85efd7611b645474
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/9671750eea5e382c7b0bc0fba2f3447754ccf9
/usr/lib/.build-id/fd
/usr/lib/.build-id/fd/1aaf01347ab9fe466e9351a302e030fb6ca671
/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/symtab2gb.1.gz


Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Aug 18 23:29:29 2025