cbmc_5.6-1_amd64.deb


Advertisement

Description

cbmc - bounded model checker for C and C++ programs

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: cbmc
Package version: 5.6
Package release: 1
Package architecture: amd64
Package type: deb
Installed size: 18.55 KB
Download size: 3.81 MB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

    Download

    Binary package: cbmc_5.6-1_amd64.deb
    Source package: cbmc

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install cbmc deb package:
      # sudo apt-get install cbmc

    Changelog

    2016-12-04 - Michael Tautschnig <mt@debian.org> cbmc (5.6-1) unstable; urgency=low * New upstream release * Disable Pointer_array5 test due to endianness bugs (Closes: #844776)

    2016-10-16 - Michael Tautschnig <mt@debian.org> cbmc (5.5-1) unstable; urgency=low * New upstream release

    2016-07-14 - Michael Tautschnig <mt@debian.org> cbmc (5.4-3) unstable; urgency=medium * Disable enum8 test due to limitations in C++ front-end. Thanks Lucas for reporting (Closes: #831166)

    2016-05-09 - Michael Tautschnig <mt@debian.org> cbmc (5.4-2) unstable; urgency=low * Install goto-analyzer * Updated Standards version to 3.9.8 (no changes required) * Include recent big-endian patches to make mips(el), powerpc, s390x happy

    2016-04-22 - Michael Tautschnig <mt@debian.org> cbmc (5.4-1) unstable; urgency=low * New upstream release * Builds using GCC 6 (Closes: #811603) * Changed watchfile to monitor github * Fully enable hardening * Updated Standards version to 3.9.7 (no changes required)

    2016-01-20 - Michael Tautschnig <mt@debian.org> cbmc (5.3-1) unstable; urgency=low * New upstream release * non-static-build patch merged * Re-licensed Debian packaging to BSD 2-clause

    2015-09-02 - Michael Tautschnig <mt@debian.org> cbmc (5.2-1) unstable; urgency=low * New upstream release

    2015-05-11 - Michael Tautschnig <mt@debian.org> cbmc (5.1-2) unstable; urgency=low * Proper cleanup

    2015-05-11 - Michael Tautschnig <mt@debian.org> cbmc (5.1-1) unstable; urgency=low * New upstream release * Most 5.0 patches merged

    2015-02-08 - Michael Tautschnig <mt@debian.org> cbmc (5.0-3) unstable; urgency=low * Fix long-double-width on sparc

    Advertisement
    Advertisement