Accepted cbmc 5.9-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 04 Jul 2018 10:53:33 +0100
Source: cbmc
Binary: cbmc
Architecture: source
Version: 5.9-4
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
Changes:
cbmc (5.9-4) unstable; urgency=low
.
* Fix preprocessing flags for non-x86 architectures
* Fix copy&paste error in built-in library
* Fix endianness bugs in tests
* Enable all hardening flags
Checksums-Sha1:
3096d51cdb6dd0f3d4170622be9ed5a863fbb69e 2081 cbmc_5.9-4.dsc
987952a0e1d5a9a20f09221a63baec34d8c92d9c 16316 cbmc_5.9-4.debian.tar.xz
Checksums-Sha256:
2fab19228d3895a170d67bd254b8fb2336c7670d6bc93ed65a3dca5fbc439972 2081 cbmc_5.9-4.dsc
dab504b920f90db037f73b79516d08f61fdecb66d94e793f2d4dc67d829294ce 16316 cbmc_5.9-4.debian.tar.xz
Files:
fdaf5e3b8a68239fda3e57d94aa643ac 2081 science optional cbmc_5.9-4.dsc
3b644d4b97bdcdff382cf18eeeab660b 16316 science optional cbmc_5.9-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAls80PUOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTGyNw//X0U5gobTafAOFQ8q4TD7x9sI8Ey/gk+oojAP
qc+xWVdjq4TKpf2G4I17hc3S8oTrwXpjBzL6pFIHU09fHmMNFwj4amF2LCrfQdNA
0cUgPH5k7VqyN1UYEkIAEDtQgqbDQ2uZfrkegRnSzNzuiEHHlwhxybG4zEKbYNYY
OHMW3p7Pk1qSa3utWDV+HoJ+0pg7I1FKWA0IC7kuGvt3Dx6pdEQcl0hfg1YH8soP
qj7JHa+MSwkLQxTTpMPEbviEzJmTlWKVxUW1CDzuVSC12oCKP6rFO8hUgxevapGX
OHjO12E7DwHXgm60U7KEnRpPWHSWWbVs1jCMsVk8V2Fvj4IzfJ+D9Vs8PT4CgVOZ
0lVRGw5sBrGjniuxnGQXEAGbqICPQrcVj/GJ70dHiGi5HiFHFCYAud8BxW6GibC8
qLGXfwOSuQYwzC4Hk1JtFotvPx5F9kLvlBtmqEX0LyfIA9CyuatjUhKHQ1ny6oKk
dQeQSivENrOzjxN7ivzBPbSM8sDXHSGkJYuIBJp3c4Rs6Zj0FrhGw6Wo2zfsxy/k
vbCmzRC6+J/C0S3O4LotMT8/gGTqfj3Cj6iziLgM1H7jRonCAKOX17+1Cb+QcpMn
K4Bu+kSJE+TLrKLQcCNM1IqFmBRF8o1B5n7q+r20mG87PfnL+rJpJZj0xCvH/H1U
UEWw9Q8=
=llt+
-----END PGP SIGNATURE-----