Versions
- 5.11.r1339.gabbb38942
- 5.84.0 (2)
- 5.76.1
- 5.70.0
- 5.50.0
- 5.38.0
- 5.25.0
- 5.12 (2)
- 5.11 (2)
- 5.10 (2)
- 5.8
- 5.7
- 5.6
- 5.5
- 5.3
- 4.5
Package names
- cbmc (6)
- cbmc-bin
- cbmc-git
Categories
- Unspecified
- devel
- science
- universe/science
Licenses
- BSD with advertising
- BSD-4-Clause (2)
- custom
Summaries
- Bounded Model Checker for ANSI-C and C++ programs
- Bounded Model Checker for C and C++ programs
- Bounded Model Checking for ANSI-C
- C Bounded Model Checker
- CBMC is a Bounded Model Checker for C and C++ programs
All package recipes
- https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cbmcok
- https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cbmc-binok
- https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cbmc-gitok
- https://github.com/Homebrew/homebrew-core/blob/master/Formula/cbmc.rbok, no IPv6
- https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/cbmc/default.nix#L80ok, no IPv6
- https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/cbmc/default.nix#L76ok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f26/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f27/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f28/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f29/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f30/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f31/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f32/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f33/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f34/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f35/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f36/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f37/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/f38/f/cbmc.specok, no IPv6
- https://src.fedoraproject.org/rpms/cbmc/blob/rawhide/f/cbmc.specok, no IPv6
Build logs
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.10/1.fc29/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.11/1.fc30/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.11/2.fc30/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.11/4.fc31/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.11/5.fc32/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.12/2.fc33/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.25.0/1.fc32/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.25.0/1.fc34/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.38.0/1.fc33/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.38.0/1.fc35/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.50.0/1.fc34/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.50.0/1.fc35/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.50.0/1.fc36/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.50.0/2.fc37/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.50.0/4.fc38/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.50.0/4.fc39/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.7/1.fc26/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.7/3.fc27/data/logs/ok, no IPv6
- https://kojipkgs.fedoraproject.org/packages/cbmc/5.8/2.fc28/data/logs/ok, no IPv6