Package: ppl / 0.10.2-8

Metadata

Package Version Patches format
ppl 0.10.2-8 3.0 (quilt)

Patch series

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

tests/Octagonal_Shape/max_min1.cc | 1 0 + 1 - 0 !
tests/Polyhedron/max_min1.cc | 25 24 + 1 - 0 !
tests/Powerset/maxmin1.cc | 93 48 + 45 - 0 !
3 files changed, 72 insertions(+), 47 deletions(-)

 [patch] corrected a few expected results in powerset/maxmin1.cc.
 This uncovered a bug in Pointset_Powerset methods maximize() and minimize(),
 whereby we are returning true even for empty powersets.


b52a2d273f4f96eec4a2ac5bb453756906e52a88 | (download)

src/Pointset_Powerset.templates.hh | 12 12 + 0 - 0 !
1 file changed, 12 insertions(+)

 [patch] corrected a bug in pointset_powerset methods minimize() and maximize().
 We now return false if the powerset is found to be empty.


325ba80abd8c06c5dd740d35064302bbe65e251b | (download)

src/Polyhedron_nonpublic.cc | 103 75 + 28 - 0 !
tests/Polyhedron/polyhullifexact2.cc | 152 152 + 0 - 0 !
2 files changed, 227 insertions(+), 28 deletions(-)

 [patch] corrected implementation of nnc_polyhedron::upper_bound_assign_if_exact().
 Added a few tests for regression checking.


21c69b39730e0fb032395b07467b2ac3936ca124 | (download)

interfaces/Prolog/SWI/swi_prolog_generated_test.pl | 8 8 + 0 - 0 !
1 file changed, 8 insertions(+)

 [patch] make sure a definition for member/2 and append/3 is available.


7ba6445b1c5adb835e27d2f005779d4343721d21 | (download)

Watchdog/configure.ac | 1 1 + 0 - 0 !
Watchdog/pwl-config.sed | 4 3 + 1 - 0 !
Watchdog/tests/pwl_test.cc | 62 56 + 6 - 0 !
configure.ac | 1 1 + 0 - 0 !
ppl-config.sed | 4 4 + 0 - 0 !
tests/ppl_test.cc | 62 56 + 6 - 0 !
6 files changed, 121 insertions(+), 13 deletions(-)

 [patch] improve portability to systems that do not (fully) support posix signal handling.


bad1f4e90af2d1368fee383f08c59316182de8dc | (download)

Watchdog/tests/pwl_test.cc | 29 14 + 15 - 0 !
tests/ppl_test.cc | 33 16 + 17 - 0 !
2 files changed, 30 insertions(+), 32 deletions(-)

 corrected several problems.
9ba82c5fb51ff9f63818fa8c6f006a1900a70894 | (download)

Watchdog/tests/pwl_test.cc | 8 4 + 4 - 0 !
tests/ppl_test.cc | 8 4 + 4 - 0 !
2 files changed, 8 insertions(+), 8 deletions(-)

 use the right preprocessor conditionals for ppl_have_decl_sigaction.
f0cd7dc9899fc7dac2580a97da69e6282bfc0576 | (download)

Watchdog/configure.ac | 21 7 + 14 - 0 !
configure.ac | 16 2 + 14 - 0 !
2 files changed, 9 insertions(+), 28 deletions(-)

 build the pwl unless not explicitly disabled at configuration time.
9bdd6617be52573d3252687844d32001e671a126.debian | (download)

Watchdog/src/Watchdog.defs.hh | 3 3 + 0 - 0 !
Watchdog/src/Watchdog.inlines.hh | 32 28 + 4 - 0 !
2 files changed, 31 insertions(+), 4 deletions(-)

 cater for systems where setitimer() is not provided (part 1).
8ac2c64c2e9fa2da2d02428fe51c34b8dca3d6ff.debian | (download)

Watchdog/pwl-config.sed | 1 1 + 0 - 0 !
Watchdog/src/Watchdog.cc | 17 7 + 10 - 0 !
Watchdog/src/Watchdog.defs.hh | 4 2 + 2 - 0 !
Watchdog/src/Watchdog.inlines.hh | 32 21 + 11 - 0 !
4 files changed, 31 insertions(+), 23 deletions(-)

 cater for systems where setitimer() is not provided (part 2).
eab6ab2fd4e44c8e7348c26112e4c9e4190e88ee | (download)

Watchdog/src/Watchdog.cc | 10 4 + 6 - 0 !
Watchdog/src/Watchdog.inlines.hh | 24 20 + 4 - 0 !
2 files changed, 24 insertions(+), 10 deletions(-)

 cater for systems where setitimer() is not provided (part 3).
777f298702f1005f6c4f026fb7a4663bb8dadd0e.debian | (download)

Watchdog/src/pwl_header.hh | 3 3 + 0 - 0 !
Watchdog/tests/simple1.cc | 6 6 + 0 - 0 !
2 files changed, 9 insertions(+)

 cater for systems where setitimer() is not provided (part 4).
1fa465112d1f5519310f47de08494b765c420b8f.debian | (download)

Watchdog/src/Watchdog.cc | 4 2 + 2 - 0 !
Watchdog/src/Watchdog.defs.hh | 8 8 + 0 - 0 !
Watchdog/src/Watchdog.inlines.hh | 16 0 + 16 - 0 !
3 files changed, 10 insertions(+), 18 deletions(-)

 if setitimer() is not available, no initialization is necessary.
9b0ba93300fb829608d40e766b9f3f95c81962e1.debian | (download)

Watchdog/src/Watchdog.cc | 4 2 + 2 - 0 !
Watchdog/src/Watchdog.defs.hh | 12 6 + 6 - 0 !
Watchdog/src/Watchdog.inlines.hh | 6 3 + 3 - 0 !
Watchdog/src/pwl_header.hh | 3 2 + 1 - 0 !
4 files changed, 13 insertions(+), 12 deletions(-)

 sigaction() is also needed, in addition to setitimer() in order to support watchdog... 
3bbfa4bc9da9558d0b538c95c00607b2928bb9d1 | (download)

Watchdog/configure.ac | 3 3 + 0 - 0 !
1 file changed, 3 insertions(+)

 use the c++ compiler to perform the tests meant for c++.
9a89bb0a926a098a6e06a18c36881786f45d678b.debian | (download)

tests/Polyhedron/watchdog1.cc | 8 8 + 0 - 0 !
1 file changed, 8 insertions(+)

 exception handling fixed.
debian changes 0.10.2 5 | (download)

interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 | 36 18 + 18 - 0 !
1 file changed, 18 insertions(+), 18 deletions(-)

 upstream changes introduced in version 0.10.2-5
 This patch has been created by dpkg-source during the package build.
 Here's the last changelog entry, hopefully it gives details on why
 those changes were made:
 .
 ppl (0.10.2-5) unstable; urgency=low
 .
   * Dropped versioned build dep on libgmp3-dev as even etch has a sufficiently
     new version.
   * Dropped build dep on quilt.
   * Added upstream patches to work around incomplete signal handling on hurd.
   * Disable 2 Prolog tests as there is some failure on PowerPC only that I'm
     unable to debug. Closes: #570387.
 .
 The person named in the Author field signed this changelog entry.
debian changes 0.10.2 6 | (download)

Watchdog/config.h.in | 14 11 + 3 - 0 !
Watchdog/configure | 6779 2513 + 4266 - 0 !
Watchdog/src/Watchdog.cc | 2 1 + 1 - 0 !
config.h.in | 16 10 + 6 - 0 !
configure | 27044 8913 + 18131 - 0 !
5 files changed, 11448 insertions(+), 22407 deletions(-)

 upstream changes introduced in version 0.10.2-6
 This patch has been created by dpkg-source during the package build.
 Here's the last changelog entry, hopefully it gives details on why
 those changes were made:
 .
 ppl (0.10.2-6) unstable; urgency=low
 .
   * Another bugfix to work around incomplete signal handling on hurd.
 .
 The person named in the Author field signed this changelog entry.
debian changes 0.10.2 7 | (download)

interfaces/Prolog/SWI/Makefile.am | 6 3 + 3 - 0 !
1 file changed, 3 insertions(+), 3 deletions(-)

 upstream changes introduced in version 0.10.2-7
 This patch has been created by dpkg-source during the package build.
 Here's the last changelog entry, hopefully it gives details on why
 those changes were made:
 .
 ppl (0.10.2-7) unstable; urgency=low
 .
   * Drop xpdf-utils from build depends to fix FTBFS. Closes: #591155.
   * Bumped Standars-Version to 3.9.1 (no changes).
 .
 The person named in the Author field signed this changelog entry.