Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

cbmc

cbmc 6.11.0 · pkgs/by-name/cb/cbmc/package.nix
Sign in to subscribe
Health
Risk
risk 1 low
  • +1 no meta.mainProgram
Version
6.11.0 no newer release in its git tags
Channels
master 6.11.0 · nixos-unstable 6.11.0 · nixos-26.05 6.9.0 master is ahead of nixos-26.05
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no meta.mainProgram
Packagewhat each field means
Description
Bounded Model Checker for C and C++ programs
Homepage
http://www.cprover.org/cbmc/
License
BSD-4-Clause
Platforms
45 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/cb/cbmc/package.nix:124
Maintainers
jiegec, mkannwischer
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Closed or merged in the synced window 2
cbmc: fix build with GCC 16
#568925 by mkannwischer · merged 2w ago
cbmc: 6.10.0 -> 6.11.0
#554971 by mkannwischer · merged 8w ago
Issues 0
None open.