| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| minisat-debian | Use minisat from Debian package | Michael Tautschnig <mt@debian.org> | no | |||
| maven | Use maven-repo-helper . cbmc (5.10-1) unstable; urgency=low . * New upstream release * Updated Standards version to 4.2.1 (no changes required) |
Michael Tautschnig <mt@debian.org> | no | |||
| maven-cprover-api | Debian patch for cprover-api Maven build Debian-specific Maven configuration. . cbmc (5.76.1-1) unstable; urgency=low . * New upstream release * Includes bugfix for unintentional copy (Closes: #984008) * Updated Standards version to 4.6.0 (no changes required) |
Michael Tautschnig <mt@debian.org> | no | debian | ||
| endianness_regression_tests | hardcode endianness assumptions in tests . cbmc (5.12-2) unstable; urgency=low . * Fix endianness assumptions in tests |
Michael Tautschnig <mt@debian.org> | no | |||
| no-32-64-preprocessing | -m32/-m64 only works on x86 Don't preprocess files that don't need this. . cbmc (5.84.0-3) unstableUNRELEASED; urgency=low . * Fix several lintian warnings |
Michael Tautschnig <mt@debian.org> | no | |||
| more-no-m64 | -m64 is not portable Use preprocessed file only. . cbmc (5.84.0-4) unstable; urgency=low . * Fix portability problems |
Michael Tautschnig <mt@debian.org> | no | |||
| big-endian-pointer-bug | Pointer endianness mapping is inconsistent It seems we inconsistently apply endianness mapping when pointers are involved. Needs actual debugging on s390x or the likes. . cbmc (5.84.0-6) unstable; urgency=low . * Fix further portability problems (Closes: #1038866) |
Michael Tautschnig <mt@debian.org> | no | debian | ||
| hurd-compat | Trying to establish compatibility with GNU Hurd Trial fix. . cbmc (5.84.0-6) unstable; urgency=low . * Fix further portability problems (Closes: #1038866) |
Michael Tautschnig <mt@debian.org> | no | debian | ||
| linker-script-try-fix | Trying to fix PPC linker script regression test failures Just a try. . cbmc (5.84.0-7) unstableUNRELEASED; urgency=low . * Enable fortify hardening * Fix autopkgtest |
Michael Tautschnig <mt@debian.org> | no | |||
| disable-more-tests | Disable tests that don't work on non-x86 Needs proper investigation. . cbmc (5.84.0-9) unstable; urgency=low . * Disable more tests with portability problems |
Michael Tautschnig <mt@debian.org> | no | |||
| big-endian-pointers | Workaround pointer-encoding bugs Needs investigation. . cbmc (5.84.0-10) unstable; urgency=low . * Fix more portability problems (Closes: #1038866) |
Michael Tautschnig <mt@debian.org> | no | debian | ||
| big-endian-pointers-2 | More big-endian problems Needs investigation. . cbmc (5.84.0-11) unstable; urgency=low . * Disable more tests with portability problems |
Michael Tautschnig <mt@debian.org> | no | |||
| disable-dfcc-test | needs fix Upstream fix in progress. . cbmc (5.89.0-1) unstable; urgency=low . * New upstream release * Fix includes in endianness patch (Closes: #1042030) |
Michael Tautschnig <mt@debian.org> | no | debian | ||
| big-endian-bug | Disable test that demonstrates CBMC bug qemu-mips emulation demonstrates that CBMC is wrong on this test. . cbmc (5.89.0-1) unstable; urgency=low . * New upstream release * Fix includes in endianness patch (Closes: #1042030) |
Michael Tautschnig <mt@debian.org> | no | debian | ||
| missing-__bf16-support | __bf16 is not yet supported Test requires __bf16 support. . cbmc (5.89.0-1) unstable; urgency=low . * New upstream release * Fix includes in endianness patch (Closes: #1042030) |
Michael Tautschnig <mt@debian.org> | no | debian | ||
| conditional-cvc5 | Do not unconditionally invoke cvc5 CVC5 is not available on all architectures. . cbmc (5.95.1-1) unstable; urgency=low . * New upstream release |
Michael Tautschnig <mt@debian.org> | no | |||
| unsigned-char-type-header-fix | Support unsigned char, fix type header clean To be upstreamed. . cbmc (5.95.1-1) unstable; urgency=low . * New upstream release |
Michael Tautschnig <mt@debian.org> | no | |||
| no-64bit-preproc | Do not require 64-bit headers To be upstreamed . cbmc (5.95.1-1) unstable; urgency=low . * New upstream release |
Michael Tautschnig <mt@debian.org> | no | |||
| disable-shadow-memory-tests | Shadow memory doesn't work on big-endian archs https://github.com/diffblue/cbmc/issues/8207 . cbmc (5.95.1-1) unstable; urgency=low . * New upstream release |
Michael Tautschnig <mt@debian.org> | no | |||
| nopreproc-follow-up | Patch for patch . cbmc (5.95.1-2) unstable; urgency=low . * Fix portability problems |
Michael Tautschnig <mt@debian.org> | no | |||
| no-preproc-followup-2 | fixup . cbmc (5.95.1-2) unstable; urgency=low . * Fix portability problems |
Michael Tautschnig <mt@debian.org> | no | |||
| logl-recursion | fix logl recursion Already fixed upstream. . cbmc (5.95.1-2) unstable; urgency=low . * Fix portability problems |
Michael Tautschnig <mt@debian.org> | no | |||
| unsigned-char-cpp | consistent signedness Might require a C++-front-end fix . cbmc (5.95.1-3) unstable; urgency=low . * Fix portability problems |
Michael Tautschnig <mt@debian.org> | no | |||
| big-endian-pointers-3 | We don't handle endianness and pointers properly . cbmc (5.95.1-3) unstable; urgency=low . * Fix portability problems |
Michael Tautschnig <mt@debian.org> | no | |||
| even-more-no-64-bit-preproc | Fixup For hurd. . cbmc (5.95.1-3) unstable; urgency=low . * Fix portability problems |
Michael Tautschnig <mt@debian.org> | no |