cbmc (5.12-5) unstable; urgency=low * Disable regression tests that take too long on mipsel. -- Michael Tautschnig Mon, 04 May 2020 13:06:54 +0100 cbmc (5.12-4) unstable; urgency=low * __float128 is not available on ppc64el (again) * Fix acceptable test input * Simplify big-endian byte updates -- Michael Tautschnig Fri, 01 May 2020 07:06:38 +0100 cbmc (5.12-3) unstable; urgency=low * Fix endianness assumptions in tests * __float128 is not available on all architectures (again) -- Michael Tautschnig Thu, 30 Apr 2020 16:26:35 +0100 cbmc (5.12-2) unstable; urgency=low * __float128 is not available on all architectures * Fix endianness conversion in ELF reader -- Michael Tautschnig Wed, 29 Apr 2020 10:34:10 +0100 cbmc (5.12-1) unstable; urgency=low * New upstream release * Updated Standards version to 4.5.0.1 (no changes required) * Acknowledge NMU - thanks Adrian for the build fix (Closes: #952256) -- Michael Tautschnig Tue, 28 Apr 2020 15:32:56 +0100 cbmc (5.10-5.1) unstable; urgency=low * Non-maintainer upload. * Build fixes: - Fix the build with libmaven-compiler-plugin-java 3.8.1. - Backport upstream fix for building with new bison. (Closes: #952256) -- Adrian Bunk Tue, 07 Apr 2020 11:55:23 +0300 cbmc (5.10-5) unstable; urgency=low * Use default-jdk-headless instead of openjdk-8 (Closes: #910704) -- Michael Tautschnig Wed, 17 Oct 2018 19:55:17 +0100 cbmc (5.10-4) unstable; urgency=low * Mark java_append_char test as THOROUGH as it requires more memory than available on some buildds. * Fix-up __float128 patch for ppc64 and powerpc. -- Michael Tautschnig Mon, 01 Oct 2018 08:00:38 +0100 cbmc (5.10-3) unstable; urgency=low * Fix regression tests using __float128, which is not available on all architectures. -- Michael Tautschnig Sun, 30 Sep 2018 18:29:38 +0100 cbmc (5.10-2) unstable; urgency=low * Fix regression tests using __float80, which is x86 only (Closes: #909932) -- Michael Tautschnig Sun, 30 Sep 2018 15:08:10 +0100 cbmc (5.10-1) unstable; urgency=low * New upstream release * Updated Standards version to 4.2.1 (no changes required) -- Michael Tautschnig Thu, 27 Sep 2018 10:18:47 +0100 cbmc (5.9-6) unstable; urgency=low * Fix mips 32-bit cross configuration * Fix Java string literal conversion for big-endian architectures -- Michael Tautschnig Thu, 05 Jul 2018 22:36:05 +0100 cbmc (5.9-5) unstable; urgency=low * Add support for goto-gcc on kfreebsd * Fix regression test for unsigned-char architectures -- Michael Tautschnig Wed, 04 Jul 2018 16:50:58 +0100 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 -- Michael Tautschnig Wed, 04 Jul 2018 10:53:33 +0100 cbmc (5.9-3) unstable; urgency=low * Make bitwidth preprocessor options architecture-specific -- Michael Tautschnig Tue, 03 Jul 2018 18:58:45 +0100 cbmc (5.9-2) unstable; urgency=low * Build-depends libc6-dev-i386 for amd64, x32 -- Michael Tautschnig Tue, 03 Jul 2018 16:17:02 +0100 cbmc (5.9-1) unstable; urgency=low * New upstream release - Fixes FTBFS with new GCC due to uninitialized variables (Closes: #871068) -- Michael Tautschnig Mon, 02 Jul 2018 17:12:01 +0100 cbmc (5.6-1) unstable; urgency=low * New upstream release * Disable Pointer_array5 test due to endianness bugs (Closes: #844776) -- Michael Tautschnig Sun, 04 Dec 2016 09:18:48 +0000 cbmc (5.5-1) unstable; urgency=low * New upstream release -- Michael Tautschnig Sun, 16 Oct 2016 13:10:20 +0100 cbmc (5.4-3) unstable; urgency=medium * Disable enum8 test due to limitations in C++ front-end. Thanks Lucas for reporting (Closes: #831166) -- Michael Tautschnig Thu, 14 Jul 2016 09:45:43 +0100 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 -- Michael Tautschnig Mon, 09 May 2016 09:07:09 +0100 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) -- Michael Tautschnig Fri, 22 Apr 2016 11:03:08 +0100 cbmc (5.3-1) unstable; urgency=low * New upstream release * non-static-build patch merged * Re-licensed Debian packaging to BSD 2-clause -- Michael Tautschnig Wed, 20 Jan 2016 04:03:52 +0000 cbmc (5.2-1) unstable; urgency=low * New upstream release -- Michael Tautschnig Wed, 02 Sep 2015 14:37:38 +0100 cbmc (5.1-2) unstable; urgency=low * Proper cleanup -- Michael Tautschnig Mon, 11 May 2015 13:18:40 +0100 cbmc (5.1-1) unstable; urgency=low * New upstream release * Most 5.0 patches merged -- Michael Tautschnig Mon, 11 May 2015 00:39:01 +0100 cbmc (5.0-3) unstable; urgency=low * Fix long-double-width on sparc -- Michael Tautschnig Sun, 08 Feb 2015 09:16:23 +0000 cbmc (5.0-2) unstable; urgency=low * Pick big-endian patches from trunk (Closes: 776842) -- Michael Tautschnig Sat, 07 Feb 2015 22:23:33 +0000 cbmc (5.0-1) unstable; urgency=low * New upstream release * Most 4.9 patches merged * Includes support for ppc64el. Thanks Breno Leitao for further patches. (Closes: #765376) -- Michael Tautschnig Thu, 29 Jan 2015 07:30:49 +0000 cbmc (4.9-5) unstable; urgency=low * Make assertion fail if chdir fails. Thanks Graham Inggs for the heads-up. (Closes: #773455) * Updated Standards version to 3.9.6 (no changes required) -- Michael Tautschnig Thu, 18 Dec 2014 16:46:38 +0000 cbmc (4.9-4) unstable; urgency=low * Work around binutils regression using ar rcf instead of ld -r. Thanks Matthias Klose for the suggestion. (Closes: #763228) -- Michael Tautschnig Sat, 11 Oct 2014 12:58:47 +0100 cbmc (4.9-3) unstable; urgency=low * Actually fix most instances of missing big-endian support * Fixes for SH-4 and ARM64 configuration -- Michael Tautschnig Thu, 07 Aug 2014 14:45:19 +0100 cbmc (4.9-2) unstable; urgency=low * Again mark several tests as KNOWNBUG due to incomplete big-endian support -- Michael Tautschnig Wed, 06 Aug 2014 12:17:09 +0100 cbmc (4.9-1) unstable; urgency=low * New upstream release * All 4.7 patches merged -- Michael Tautschnig Sun, 03 Aug 2014 16:22:33 +0100 cbmc (4.7-2) unstable; urgency=low * Mark tests Pointer_Arithmetic12, Pointer_byte_extract{2,3,5} as KNOWNBUG due to incomplete big-endian support (Closes: #754717) -- Michael Tautschnig Tue, 15 Jul 2014 11:54:44 +0100 cbmc (4.7-1) unstable; urgency=low * New upstream release * All 4.5 patches merged * Updated Standards version to 3.9.5 (no changes required) * Added support for mips ABI n32, n64. Thanks Sphinx Jiang (Closes: #752072) -- Michael Tautschnig Sat, 28 Jun 2014 17:55:30 +0100 cbmc (4.5-2) unstable; urgency=low * Fixed typo in powerpc sub-arch configuration causing FTBFS -- Michael Tautschnig Mon, 26 Aug 2013 00:07:54 +0100 cbmc (4.5-1) unstable; urgency=low * New upstream release * All 4.4 patches merged -- Michael Tautschnig Sun, 25 Aug 2013 12:33:14 +0100 cbmc (4.4-2) unstable; urgency=low * armhf requires __ARM_PCS_VFP to be defined -- Michael Tautschnig Wed, 10 Jul 2013 22:56:58 +0100 cbmc (4.4-1) unstable; urgency=low * New upstream release (Closes: #701253, #713605) -- Michael Tautschnig Wed, 10 Jul 2013 12:39:13 +0100 cbmc (4.3-6) unstable; urgency=low * Also added -5 patch to series file to actually fix the problems * Update gcc_types_compatible_p1 to SVN HEAD * Cherry-pick upstream r2114-2118, r2120, r2167 -- Michael Tautschnig Fri, 15 Feb 2013 18:35:06 +0000 cbmc (4.3-5) unstable; urgency=low * Cherry-pick upstream r2113 to fix failing regression tests on arm* and mips* * Cherry-pick upstream r2144 and r2148 to fix failing regression tests on powerpc, s390*, and sparc -- Michael Tautschnig Fri, 15 Feb 2013 10:52:56 +0000 cbmc (4.3-4) unstable; urgency=low * Cherry-pick upstream r2142 and r2143 to fix failing regression tests on arm*, mips*, powerpc, s390*, and sparc -- Michael Tautschnig Tue, 12 Feb 2013 15:01:56 +0000 cbmc (4.3-3) unstable; urgency=low * Cherry-pick upstream r2134 and r2139 to fix failing regression tests on arm*, ia64, mips*, powerpc, s390*, and sparc -- Michael Tautschnig Mon, 11 Feb 2013 21:12:02 +0000 cbmc (4.3-2) unstable; urgency=low * Cherry-pick upstream r2111 to fix build failure on ia64 and s390x -- Michael Tautschnig Fri, 08 Feb 2013 15:46:35 +0000 cbmc (4.3-1) unstable; urgency=low * New upstream release (all code patches merged, only build system adaptions) -- Michael Tautschnig Fri, 08 Feb 2013 11:12:41 +0000 cbmc (4.2-6) unstable; urgency=low * s390x hack, will be fixed properly in next upstream release -- Michael Tautschnig Thu, 20 Sep 2012 16:14:23 +0100 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 -- Michael Tautschnig Thu, 20 Sep 2012 10:27:43 +0100 cbmc (4.2-4) unstable; urgency=low * Fix missing includes on freebsd kernels, once more * Fix test suite for non-x86 architecture specifics -- Michael Tautschnig Wed, 19 Sep 2012 17:47:42 +0100 cbmc (4.2-3) unstable; urgency=low * Fix missing includes on freebsd kernels * Fixed test output helper -- Michael Tautschnig Wed, 19 Sep 2012 16:57:50 +0100 cbmc (4.2-2) unstable; urgency=low * Updated Standards version to 3.9.4 (no changes required) * Include upstream man page * Updated debian/copyright to final syntax * Fix missing includes on hurd and freebsd kernels * Print test output of failed tests -- Michael Tautschnig Wed, 19 Sep 2012 12:02:56 +0100 cbmc (4.2-1) unstable; urgency=low * New upstream release (includes GCC 4.7 fixes of previous NMUs) * Use DEB_CXXFLAGS_MAINT_APPEND to comply with dpkg-buildflags * Run test suite after build -- Michael Tautschnig Wed, 19 Sep 2012 10:29:19 +0100 cbmc (4.1-1.2) unstable; urgency=low * Non-maintainer upload. * Update fix-FTBFS-with-gcc-4.7.patch patch. Fix FTBFS with gcc 4.7 on kfreebsd and hurd. Thanks to Steven Chamberlain for the patch. (Closes: #673579) -- Salvatore Bonaccorso Sun, 20 May 2012 07:55:28 +0200 cbmc (4.1-1.1) unstable; urgency=low * Non-maintainer upload. * Add fix-FTBFS-with-gcc-4.7.patch patch. Fix FTBFS with gcc 4.7. Fix missing includes and add 'this->' where needed. Thanks to Cyril Brulebois for the patch. (Closes: #667131) -- Salvatore Bonaccorso Sun, 13 May 2012 14:25:21 +0200 cbmc (4.1-1) unstable; urgency=low * New upstream release (all code patches merged, only build system adaptions remain) * dh-compat bumped to 9 -- Michael Tautschnig Wed, 18 Jan 2012 18:37:41 +0000 cbmc (4.0-4) unstable; urgency=low * Rename patches and update description to make dpkg-source happy (closes: #643074) -- Michael Tautschnig Sat, 22 Oct 2011 00:51:01 +0100 cbmc (4.0-3) unstable; urgency=low * Make sure $(LIBS) occurs at end of linker command line to fix Ubuntu build failures -- Michael Tautschnig Sun, 10 Jul 2011 17:22:04 +0200 cbmc (4.0-2) unstable; urgency=low * Added missing freebsd kernel define * Enable parallel builds -- Michael Tautschnig Wed, 15 Jun 2011 10:40:38 +0200 cbmc (4.0-1) unstable; urgency=low * New upstream release (all patches merged) * Requires suitable minisat version * Working watch file -- Michael Tautschnig Tue, 14 Jun 2011 19:12:10 +0200 cbmc (3.9+r41-3) unstable; urgency=low * Fix another FTBFS for ambiguous overload, missing freebsd kernel define -- Michael Tautschnig Sat, 14 May 2011 16:11:44 +0200 cbmc (3.9+r41-2) unstable; urgency=low * Corrected build-depends to fix FTBFS * Added gcc as depends -- Michael Tautschnig Sat, 14 May 2011 14:57:05 +0200 cbmc (3.9+r41-1) unstable; urgency=low * Initial upload (closes: #626635) * Version 3.9 + all changes of SVN r41 -- Michael Tautschnig Fri, 13 May 2011 23:54:50 +0200