Package: cbmc / 5.10-5

Metadata

Package Version Patches format
cbmc 5.10-5 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
minisat debian | (download)

src/solvers/Makefile | 1 0 + 1 - 0 !
1 file changed, 1 deletion(-)

 use minisat from debian package
maven | (download)

jbmc/src/java_bytecode/library/Makefile | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 use maven-repo-helper
 .
 cbmc (5.10-1) unstable; urgency=low
 .
   * New upstream release
   * Updated Standards version to 4.2.1 (no changes required)
maven2 | (download)

java-models-library/pom.xml | 2 1 + 1 - 0 !
jbmc/src/java_bytecode/library/Makefile | 2 1 + 1 - 0 !
2 files changed, 2 insertions(+), 2 deletions(-)

 enable offline build
 .
 cbmc (5.10-1) unstable; urgency=low
 .
   * New upstream release
   * Updated Standards version to 4.2.1 (no changes required)
32bit fix | (download)

regression/goto-analyzer/dependence-graph14/test.desc | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 no typecast when sizeof(int)==sizeof(long)
 .
 cbmc (5.10-1) unstable; urgency=low
 .
   * New upstream release
   * Updated Standards version to 4.2.1 (no changes required)
java_append_char_THOROUGH | (download)

jbmc/regression/strings-smoke-tests/java_append_char/test.desc | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 mark java_append_char as thorough
 .
 cbmc (5.10-4) unstable; urgency=low
 .
   * Mark java_append_char test as THOROUGH as it requires more memory than
     available on some buildds.
float types | (download)

regression/ansi-c/gcc_float_types1/main.c | 5 4 + 1 - 0 !
regression/ansi-c/gcc_types_compatible_p1/main.c | 3 2 + 1 - 0 !
src/ansi-c/ansi_c_internal_additions.cpp | 11 8 + 3 - 0 !
3 files changed, 14 insertions(+), 5 deletions(-)

 fix __float80 and __float128 support
 .
 cbmc (5.10-3) unstable; urgency=low
 .
   * Fix regression tests using __float128, which is not available on all
     architectures.