| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: cbmc | Distribution: Fedora Project |
| Version: 5.95.1 | Vendor: Fedora Project |
| Release: 5.fc41 | Build date: Wed Jul 17 21:06:52 2024 |
| Group: Unspecified | Build host: buildhw-x86-11.iad2.fedoraproject.org |
| Size: 92384967 | Source RPM: cbmc-5.95.1-5.fc41.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.
BSD-4-Clause
* 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) * Fri Jul 21 2023 Lukáš Zaoral <lzaoral@redhat.com> - 5.50.0-6 - Exclude installation of test dependencies on non-x86_64 architectures * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 5.50.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Sun Jan 29 2023 Lukáš Zaoral <lzaoral@redhat.com> - 5.50.0-4 - Fix rawhide FTBFS - Use SPDX license format - Modernize the spec a bit * Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 5.50.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.50.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
/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/09 /usr/lib/.build-id/09/d52593041fc586893700d14d5e1a4601de019b /usr/lib/.build-id/2a /usr/lib/.build-id/2a/aa83c036a369d4ad8f4c20598371c98d0a509d /usr/lib/.build-id/2d /usr/lib/.build-id/2d/f122b0d3f9580087ce41bb4e1be5a068038f3d /usr/lib/.build-id/75 /usr/lib/.build-id/75/277df04759d33c3c8a34c894ddd87ff05c7faa /usr/lib/.build-id/7a /usr/lib/.build-id/7a/693a0f79dc0289c0c8ef746f6a3c10c519b783 /usr/lib/.build-id/85 /usr/lib/.build-id/85/e45ee9141b680e7d56afe16e365fb67ded1abb /usr/lib/.build-id/bd /usr/lib/.build-id/bd/5019a9e6ab59b8ae7dc0cc4a054cd53f745d5c /usr/lib/.build-id/c9 /usr/lib/.build-id/c9/9078aa6b65618741fac30d330c21cdabec3002 /usr/lib/.build-id/db /usr/lib/.build-id/db/754a5f9d84834e25bace90dee352a7c5f520f8 /usr/lib/.build-id/e4 /usr/lib/.build-id/e4/9515f883d99f36dda4e103f7adb1daba0c235c /usr/lib/.build-id/ff /usr/lib/.build-id/ff/6213c79dbd6776c384af21fe5c57cdce9b1ae2 /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, Sun Mar 9 21:33:41 2025