Register | Log in

cbmc

bounded model checker for C and C++ programs

Choose email to subscribe with

general

source: cbmc (main)
version: 5.9-6
maintainer: Michael Tautschnig [DMD] [LowNMU]
arch: any
std-ver: 4.1.5
VCS: unknown

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

o-o-stable: 4.1-1.2
oldstable: 4.9-4
old-bpo: 5.2-1~bpo8+1
stable: 5.6-1
testing: 5.9-6
unstable: 5.9-6

versioned links

4.1-1.2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
4.9-4: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
5.2-1~bpo8+1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
5.6-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
5.9-6: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

cbmc

action needed

A new upstream version is available: 5.10 high

A new upstream version 5.10 is available, you should consider packaging it.

Created: 2018-08-23 Last update: 2018-09-18 17:26

lintian reports 1 warning high

Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of them.

Created: 2016-10-17 Last update: 2018-07-07 07:45

Build log checks report 1 warning low

Build log checks report 1 warning

Created: 2018-07-04 Last update: 2018-07-04 02:08

Standards version of the package is outdated. wishlist

The package should be updated to follow the last version of Debian Policy (Standards-Version 4.2.1 instead of 4.1.5).

Created: 2018-08-20 Last update: 2018-08-26 08:17

testing migrations

This package will soon be part of the auto-libzip transition. You might want to ensure that your package is ready for it. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.

news

[2018-07-16] cbmc 5.9-6 MIGRATED to testing (Debian testing watch)
[2018-07-16] cbmc 5.9-6 MIGRATED to testing (Debian testing watch)
[2018-07-05] Accepted cbmc 5.9-6 (source) into unstable (Michael Tautschnig)
[2018-07-04] Accepted cbmc 5.9-5 (source) into unstable (Michael Tautschnig)
[2018-07-04] Accepted cbmc 5.9-4 (source) into unstable (Michael Tautschnig)
[2018-07-03] Accepted cbmc 5.9-3 (source) into unstable (Michael Tautschnig)
[2018-07-03] Accepted cbmc 5.9-2 (source) into unstable (Michael Tautschnig)
[2018-07-03] Accepted cbmc 5.9-1 (source i386) into unstable (Michael Tautschnig)
[2017-09-06] cbmc REMOVED from testing (Debian testing watch)
[2016-12-15] cbmc 5.6-1 MIGRATED to testing (Debian testing watch)
[2016-12-04] Accepted cbmc 5.6-1 (source i386) into unstable (Michael Tautschnig)
[2016-10-16] Accepted cbmc 5.5-1 (source i386) into unstable (Michael Tautschnig)
[2016-07-20] cbmc 5.4-3 MIGRATED to testing (Debian testing watch)
[2016-07-14] Accepted cbmc 5.4-3 (source i386) into unstable (Michael Tautschnig)
[2016-05-20] cbmc 5.4-2 MIGRATED to testing (Debian testing watch)
[2016-05-09] Accepted cbmc 5.4-2 (source i386) into unstable (Michael Tautschnig)
[2016-04-22] Accepted cbmc 5.4-1 (source i386) into unstable (Michael Tautschnig)
[2016-01-31] cbmc 5.3-1 MIGRATED to testing (Debian testing watch)
[2016-01-20] Accepted cbmc 5.3-1 (source i386) into unstable (Michael Tautschnig)
[2015-09-14] cbmc 5.2-1 MIGRATED to testing (Britney)
[2015-09-03] Accepted cbmc 5.2-1 (source i386) into unstable (Michael Tautschnig)
[2015-05-21] cbmc 5.1-1 MIGRATED to testing (Britney)
[2015-05-11] Accepted cbmc 5.1-1 (source i386) into unstable (Michael Tautschnig)
[2015-04-27] cbmc 5.0-3 MIGRATED to testing (Britney)
[2015-02-08] Accepted cbmc 5.0-3 (source i386) into unstable (Michael Tautschnig)
[2015-02-07] Accepted cbmc 5.0-2 (source i386) into unstable (Michael Tautschnig)
[2015-01-29] Accepted cbmc 5.0-1 (source i386) into unstable (Michael Tautschnig)
[2014-12-19] Accepted cbmc 4.9-5 (source i386) into unstable (Michael Tautschnig)
[2014-10-17] cbmc 4.9-4 MIGRATED to testing (Britney)
[2014-10-11] Accepted cbmc 4.9-4 (source i386) into unstable (Michael Tautschnig)

1
2

bugs [bug history graph]

all: 0

links

homepage
lintian (0, 1)
buildd: logs, checks, clang, reproducibility
popcon
browse source code
edit tags
screenshots

ubuntu

[Information about Ubuntu for Debian Developers]

version: 5.9-6

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers

Report problems to the tracker.debian.org pseudo-package in the Debian BTS.

Documentation — Bugs — Git Repository — Contributing