cbmc
bounded model checker for C and C++ programs
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/cbmc
general
source
cbmc
(
source
,
science
)
version
5.95.1-6
maint
Michael Tautschnig
LowNMU
std-ver
4.6.2
versions
o-o-stable
5.10-5
oldstable
5.12-5
testing
5.95.1-6
unstable
5.95.1-6
Ubuntu
5.95.1-6
binaries
cbmc
(
0 bugs
:
0
,
0
,
0
,
0
)
bounded model checker for C and C++ programs
jbmc
(
0 bugs
:
0
,
0
,
0
,
0
)
bounded model checker for Java programs
todo
Build log checks
report
1 warning
about this package.
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.7.0
instead of
4.6.2
).
A new upstream version is available:
6.0.0-alpha
, you should consider packaging it.
problems
The package has not yet entered
testing
even though the 5-day delay is over.
Check why
.
testing migration
excuses
:
Migration status for cbmc (- to 5.12-5): BLOCKED: Rejected/violates migration policy/introduces a regression
Issues preventing migration:
Updating cbmc introduces new bugs:
#984008
.
Additional info:
Piuparts tested OK -
https://piuparts.debian.org/sid/source/c/cbmc.html
590 days old (needed 5 days)
news
RSS
[2024-05-07]
cbmc 5.95.1-6 MIGRATED to testing
(Britney)
[2024-04-30]
Accepted 5.95.1-6 in unstable (low)
(Debian FTP Masters)
[2024-04-29]
Accepted 5.95.1-5 in unstable (low)
(Debian FTP Masters)
[2024-02-26]
cbmc 5.95.1-4 MIGRATED to testing
(Britney)
[2024-02-19]
Accepted 5.95.1-4 in unstable (low)
(Debian FTP Masters)
[2024-02-17]
Accepted 5.95.1-3 in unstable (low)
(Debian FTP Masters)
[2024-02-16]
Accepted 5.95.1-2 in unstable (low)
(Debian FTP Masters)
[2024-02-16]
Accepted 5.95.1-1 in unstable (low)
(Debian FTP Masters)
[2023-08-16]
cbmc 5.89.0-2 MIGRATED to testing
(Britney)
[2023-08-09]
Accepted 5.89.0-2 in unstable (low)
(Debian FTP Masters)
[2023-08-08]
Accepted 5.89.0-1 in unstable (low)
(Debian FTP Masters)
[2023-07-06]
cbmc 5.84.0-11 MIGRATED to testing
(Britney)
[2023-06-28]
Accepted 5.84.0-11 in unstable (low)
(Debian FTP Masters)
[2023-06-28]
Accepted 5.84.0-10 in unstable (low)
(Debian FTP Masters)
[2023-06-27]
Accepted 5.84.0-9 in unstable (low)
(Debian FTP Masters)
[2023-06-27]
Accepted 5.84.0-8 in unstable (low)
(Debian FTP Masters)
[2023-06-27]
Accepted 5.84.0-7 in unstable (low)
(Debian FTP Masters)
[2023-06-26]
Accepted 5.84.0-6 in unstable (low)
(Debian FTP Masters)
[2023-06-17]
Accepted 5.84.0-5 in unstable (low)
(Debian FTP Masters)
[2023-06-14]
Accepted 5.84.0-4 in unstable (low)
(Debian FTP Masters)
[2023-06-12]
Accepted 5.84.0-3 in unstable (low)
(Debian FTP Masters)
[2023-06-04]
Accepted 5.84.0-2 in unstable (low)
(Debian FTP Masters)
[2023-06-02]
Accepted 5.84.0-1 in unstable (low)
(Debian FTP Masters)
[2021-10-27]
cbmc REMOVED from testing
(Britney)
[2020-05-15]
cbmc 5.12-5 MIGRATED to testing
(Britney)
[2020-05-04]
Accepted 5.12-5 in unstable (low)
(Debian FTP Masters)
[2020-05-01]
Accepted 5.12-4 in unstable (low)
(Debian FTP Masters)
[2020-04-30]
Accepted 5.12-3 in unstable (low)
(Debian FTP Masters)
[2020-04-29]
Accepted 5.12-2 in unstable (low)
(Debian FTP Masters)
[2020-04-28]
Accepted 5.12-1 in unstable (low)
(Debian FTP Masters)
bugs
all
1
RC
0
I&N
1
M&W
0
F&P
0
Ubu
1
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
tests
(
log
)
lintian
popcon
debtags
screenshots:
1
,
2
RDF meta-data
browse source code
patches
Debian
5.12-5
5.95.1-6
5.95.1-6
Ubuntu
proposed
1