You are here:
Package: cbmc
Show more informations from pkgdb
| Summary: | Bounded Model Checker for ANSI-C and C++ programs |
|---|---|
| Description: | |
| URL: | https://www.cprover.org/cbmc |
| Owner: | jjames (jjames) |
| Bugzilla: | Active bugs |
| Pagure: | https://src.fedoraproject.org/rpms/cbmc |
| Koschei: | https://koschei.fedoraproject.org/package/cbmc |
| Branch | Repository | Version-Release | Owner | Co-maintainers |
|---|---|---|---|---|
| devel | 5.95.1-4.fc40 | |||
| f40 | base | 5.95.1-4.fc40 | ||
| f39 | base | 5.50.0-6.fc39 | ||
| f38 | base | 5.50.0-4.fc38 | ||
| f37 | base | 5.50.0-2.fc37 | ||
| f36 | base | 5.50.0-1.fc36 | ||
| f35 | updates | 5.50.0-1.fc35 | ||
| base | 5.38.0-1.fc35 | |||
| f34 | updates | 5.50.0-1.fc34 | ||
| base | 5.25.0-1.fc34 | |||
| f33 | updates | 5.38.0-1.fc33 | ||
| base | 5.12-2.fc33 | |||
| f32 | updates | 5.25.0-1.fc32 | ||
| base | 5.11-5.fc32 | |||
| f31 | testing | 5.11-4.fc31 | ||
| base | 5.11-4.fc31 | |||
| f30 | updates | 5.11-2.fc30 | ||
| base | 5.11-1.fc30 | |||
| f29 | testing | 5.10-1.fc29 | ||
| base | 5.10-1.fc29 | |||
| f28 | base | 5.8-2.fc28 | ||
| f27 | base | 5.7-3.fc27 | ||
| f26 | base | 5.7-1.fc26 | ||
| f25 | updates | 5.6-1.fc25 | ||
| base | 5.5-2.fc25 | |||
| f24 | updates | 5.6-1.fc24 | ||
| base | 5.4-1.fc24 | |||
| f23 | updates | 5.3-1.fc23 | ||
| base | 5.2-1.fc23 | |||
| f22 | updates | 5.1-1.fc22 | ||
| base | 5.0-1.fc22 | |||
| f21 | base | 4.9-1.fc21 | ||
| f20 | updates | 4.7-1.fc20 | ||
| base | 4.3-7.20130515svn.fc20 | |||
| f19 | updates | 4.6-1.20131201svn.fc19 | ||
| f18 | updates | 4.3-7.20130515svn.fc18 |