Package: ppl / 0.10.2-8
Metadata
Package | Version | Patches format |
---|---|---|
ppl | 0.10.2-8 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
dfff7e13e8817970647c38289b1f4e8d94999ea2 | (download) |
tests/Octagonal_Shape/max_min1.cc |
1 0 + 1 - 0 ! |
[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 ! |
[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 ! |
[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 ! |
[patch] make sure a definition for member/2 and append/3 is available. |
7ba6445b1c5adb835e27d2f005779d4343721d21 | (download) |
Watchdog/configure.ac |
1 1 + 0 - 0 ! |
[patch] improve portability to systems that do not (fully) support posix signal handling. |
bad1f4e90af2d1368fee383f08c59316182de8dc | (download) |
Watchdog/tests/pwl_test.cc |
29 14 + 15 - 0 ! |
corrected several problems. |
9ba82c5fb51ff9f63818fa8c6f006a1900a70894 | (download) |
Watchdog/tests/pwl_test.cc |
8 4 + 4 - 0 ! |
use the right preprocessor conditionals for ppl_have_decl_sigaction. |
f0cd7dc9899fc7dac2580a97da69e6282bfc0576 | (download) |
Watchdog/configure.ac |
21 7 + 14 - 0 ! |
build the pwl unless not explicitly disabled at configuration time. |
9bdd6617be52573d3252687844d32001e671a126.debian | (download) |
Watchdog/src/Watchdog.defs.hh |
3 3 + 0 - 0 ! |
cater for systems where setitimer() is not provided (part 1). |
8ac2c64c2e9fa2da2d02428fe51c34b8dca3d6ff.debian | (download) |
Watchdog/pwl-config.sed |
1 1 + 0 - 0 ! |
cater for systems where setitimer() is not provided (part 2). |
eab6ab2fd4e44c8e7348c26112e4c9e4190e88ee | (download) |
Watchdog/src/Watchdog.cc |
10 4 + 6 - 0 ! |
cater for systems where setitimer() is not provided (part 3). |
777f298702f1005f6c4f026fb7a4663bb8dadd0e.debian | (download) |
Watchdog/src/pwl_header.hh |
3 3 + 0 - 0 ! |
cater for systems where setitimer() is not provided (part 4). |
1fa465112d1f5519310f47de08494b765c420b8f.debian | (download) |
Watchdog/src/Watchdog.cc |
4 2 + 2 - 0 ! |
if setitimer() is not available, no initialization is necessary. |
9b0ba93300fb829608d40e766b9f3f95c81962e1.debian | (download) |
Watchdog/src/Watchdog.cc |
4 2 + 2 - 0 ! |
sigaction() is also needed, in addition to setitimer() in order to support watchdog... |
3bbfa4bc9da9558d0b538c95c00607b2928bb9d1 | (download) |
Watchdog/configure.ac |
3 3 + 0 - 0 ! |
use the c++ compiler to perform the tests meant for c++. |
9a89bb0a926a098a6e06a18c36881786f45d678b.debian | (download) |
tests/Polyhedron/watchdog1.cc |
8 8 + 0 - 0 ! |
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 ! |
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 ! |
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 ! |
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. |