Accepted cbmc 4.2-5 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 20 Sep 2012 10:27:43 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.2-5
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 (4.2-5) unstable; urgency=low
.
* Fix preprocessing on architectures with unsigned char
* Proper word size define for mips
* Added regression test to check for missing builtins
Checksums-Sha1:
9c8f83dd5b99a7fb001688e0405edeb7f62c7b03 1061 cbmc_4.2-5.dsc
5c7f1f0acc959bd7df1140caa0c653e4d1352e97 7201 cbmc_4.2-5.debian.tar.gz
f51384e0da97f60e1d69b8d73d7a43366c01c154 4965478 cbmc_4.2-5_i386.deb
Checksums-Sha256:
421903b1453dd4fbe383f213c02538b38b3340c1d2911ac5fa1c01caea1fcf07 1061 cbmc_4.2-5.dsc
e3d389105092afb0b8f9248a9a354d7ff47adca52e5298bac69390b2b242030d 7201 cbmc_4.2-5.debian.tar.gz
a13b9ce9a1b031d63a4e8e4d54e6c0800051ff62273c22e2f52d386675860d0f 4965478 cbmc_4.2-5_i386.deb
Files:
80f42913032701c2665dc83afafb20d3 1061 science extra cbmc_4.2-5.dsc
e0474cccd7110afd7b660e918b388bd8 7201 science extra cbmc_4.2-5.debian.tar.gz
3a92fbe0c19a842d4af1a343e03b42f8 4965478 science extra cbmc_4.2-5_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlBa5z0ACgkQvx6dH3bVKsR+lgCeNcC/st0sQbqpCye/N4JFUWdk
fr4Anj8pxCzNWwoRN003zOlGBw3+Os/T
=PUAL
-----END PGP SIGNATURE-----
Reply to: