| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| negative_value | permit negative input value in regression test . cbmc (5.12-4) unstable; urgency=low . * __float128 is not available on ppc64el (again) * Fix acceptable test input |
Michael Tautschnig <mt@debian.org> | no | |||
| 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 | |||
| complexity_limiter | avoid compiler warning complexity_limiter.cpp: In member function 'bool complexity_limitert::are_loop_children_too_complicated(call_stackt&)': complexity_limiter.cpp:101:60: error: '*((void*)& loop_to_blacklist +4)' may be used uninitialized in this function [-Werror=maybe-uninitialized] 101 | optionalt<std::reference_wrapper<lexical_loopst::loopt>> loop_to_blacklist; | ^~~~~~~~~~~~~~~~~ cc1plus: all warnings being treated as errors . 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 <mt@debian.org> | no | debian | ||
| memory_analyzer | permit use of LIBS as a command-line variable . 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 <mt@debian.org> | no | debian | ||
| pointer_width | do not hardcode 64-bit pointer widths . 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 <mt@debian.org> | no | debian | ||
| 64bit_regression_tests | make regression tests portable . 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 <mt@debian.org> | no | debian | ||
| fix_typo | fix typo: concatentation -> concatenation . 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 <mt@debian.org> | no | debian | ||
| float128 | __float128 is not available on all architectures . 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 <mt@debian.org> | no | debian | ||
| elf_endianness | mind endianness when reading ELF objects . cbmc (5.12-2) unstable; urgency=low . * __float128 is not available on all architectures * Fix endianness conversion in ELF reader |
Michael Tautschnig <mt@debian.org> | no | |||
| 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 | |||
| float128-2 | further float128 fixes . cbmc (5.12-2) unstable; urgency=low . * Fix endianness assumptions in tests |
Michael Tautschnig <mt@debian.org> | no | |||
| big_endian_byte_update | simplify big-endian byte updates . 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 <mt@debian.org> | no | |||
| float128_cpluscplus | support __ieee128 with C++ . 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 <mt@debian.org> | no | |||
| cpp_fixup | fix broken float128 patch . 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 <mt@debian.org> | no | |||
| mipsel_expensive_tests | disable tests that take too long on mipsel . 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 <mt@debian.org> | no | |||
| fix_cleanup_typo | clean the right file . cbmc (5.12-5) unstable; urgency=low . * Disable regression tests that take too long on mipsel. |
Michael Tautschnig <mt@debian.org> | no |