| 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 | |||
| 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 | ||
| 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 | ||
| 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 | |||
| 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 | |||
| 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 | |||
| arm-types | Add ARM glibc types | Michael Tautschnig <mt@debian.org> | no | |||
| big-endian-pointers-4 | Failing on powerpc, hppa | Michael Tautschnig <mt@debian.org> | no |