March 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Merge branch 'master' into products
by Roberto Bagnara 20 Mar '10

20 Mar '10

Module: ppl/ppl Branch: master Commit: 42a77adddb8e0a7223d6dd17b7b0916660411800 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42a77adddb8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:27:47 2010 +0400 Merge branch 'master' into products ---

1 0

[GIT] ppl/ppl(master): Test changed so as to be meaningful for all integer types.
by Patricia Hill 20 Mar '10

20 Mar '10

Module: ppl/ppl Branch: master Commit: 367f75cf57a1576f54c0bf553c714e838d8c1773 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=367f75cf57a1… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 15 16:27:50 2010 +0000 Test changed so as to be meaningful for all integer types. Comment typos fixed. --- src/BD_Shape.defs.hh | 4 ++-- src/Box.defs.hh | 4 ++-- src/Octagonal_Shape.defs.hh | 4 ++-- src/Polyhedron.defs.hh | 4 ++-- tests/Box/frequency1.cc | 6 +++--- 5 files changed, 11 insertions(+), 11 deletions(-) diff --git a/src/BD_Shape.defs.hh b/src/BD_Shape.defs.hh index 2b3100f..2375211 100644 --- a/src/BD_Shape.defs.hh +++ b/src/BD_Shape.defs.hh @@ -766,11 +766,11 @@ public: The denominator of the maximum frequency of \p expr; \param val_n - The numerator of a value of \p expr at a point in the grid + The numerator of a value of \p expr at a point in the bd_shape that is closest to zero; \param val_d - The denominator of a value of \p expr at a point in the grid + The denominator of a value of \p expr at a point in the bd_shape that is closest to zero; \exception std::invalid_argument diff --git a/src/Box.defs.hh b/src/Box.defs.hh index 8ed2680..55f5aab 100644 --- a/src/Box.defs.hh +++ b/src/Box.defs.hh @@ -697,11 +697,11 @@ public: The denominator of the maximum frequency of \p expr; \param val_n - The numerator of a value of \p expr at a point in the grid + The numerator of a value of \p expr at a point in the box that is closest to zero; \param val_d - The denominator of a value of \p expr at a point in the grid + The denominator of a value of \p expr at a point in the box that is closest to zero; \exception std::invalid_argument diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh index 06bdc14..6f59b71 100644 --- a/src/Octagonal_Shape.defs.hh +++ b/src/Octagonal_Shape.defs.hh @@ -854,11 +854,11 @@ public: The denominator of the maximum frequency of \p expr; \param val_n - The numerator of a value of \p expr at a point in the grid + The numerator of a value of \p expr at a point in the octagonal shape that is closest to zero; \param val_d - The denominator of a value of \p expr at a point in the grid + The denominator of a value of \p expr at a point in the octagonal shape that is closest to zero; \exception std::invalid_argument diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh index 8d8679c..52f6bb2 100644 --- a/src/Polyhedron.defs.hh +++ b/src/Polyhedron.defs.hh @@ -779,11 +779,11 @@ public: The denominator of the maximum frequency of \p expr; \param val_n - The numerator of a value of \p expr at a point in the grid + The numerator of a value of \p expr at a point in the polyhedron that is closest to zero; \param val_d - The denominator of a value of \p expr at a point in the grid + The denominator of a value of \p expr at a point in the polyhedron that is closest to zero; \exception std::invalid_argument diff --git a/tests/Box/frequency1.cc b/tests/Box/frequency1.cc index 9b03553..b64be53 100644 --- a/tests/Box/frequency1.cc +++ b/tests/Box/frequency1.cc @@ -180,8 +180,8 @@ test08() { TBox box(3); box.add_constraint(A == 1); box.add_constraint(2*B == -1); - box.add_constraint(3*C == 2); - box.add_constraint(B <= 2); + box.add_constraint(2*C == 1); + box.add_constraint(B <= 4); Coefficient num; Coefficient den; @@ -189,7 +189,7 @@ test08() { Coefficient vald; bool ok = (box.frequency(Linear_Expression(A - B + C + 1), num, den, valn, vald) - && num == 0 && den == 1 && valn == 19 && vald == 6); + && num == 0 && den == 1 && valn == 3 && vald == 1); print_constraints(box, "*** box ***"); nout << "valn " << valn << ", vald " << vald << endl;

1 0

[GIT] ppl/ppl(termination): New commits
by Roberto Bagnara 20 Mar '10

20 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c161e90b6cb5… Merge: a55e13a59c2877379aa61686371696e30dbabcd1 b831a0b77c3ba4f7dbe716619a8b3f225f430079 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:30:07 2010 +0400 Merge branch 'master' into termination Conflicts: interfaces/Prolog/ppl_prolog_common.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831a0b77c3b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:21:49 2010 +0100 Fixed a typo in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=124faa76cafb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:07:21 2010 +0100 Improved the documentation with examples for uses of the big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae2b90afc196… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 07:44:11 2010 +0100 Added a couple of tests using the big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa6aa7c81951… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 19:00:12 2010 +0100 Added formatting conventions to the STANDARDS file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5911ab1fcc19… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 09:47:59 2010 +0000 As in previous commit - ensure initialization of variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9da0e46c90e0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 09:13:09 2010 +0000 Missing variable initialization added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c45d375b4ec… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 08:53:12 2010 +0000 Improved documentation for frequency(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c439aeac0c8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 19 08:55:40 2010 +0100 Corrected/improved a few tests in BD_Shape/frequency1.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec22adde10fd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 22:36:41 2010 +0100 Mention header file partially_reduced_product_test.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fe09524b326… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 18:37:22 2010 +0100 Don't take the address of a temporary object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc825f2bac6a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:38:26 2010 +0100 Fixed tests/Partially_Reduced_Product/Makefile.am. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0ff1e07c695… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:15:05 2010 +0100 Avoid a broken reference to another manual that is built later. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42397bb0409e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:12:09 2010 +0100 Define the SOURCES for test concatenate1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f7c4080b52… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 14:16:15 2010 +0000 Avoid leakage when exiting a test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94e7696f13d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 13:50:12 2010 +0000 Revised code neede for wrap assign wrap_assign in Java. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80eafa9e6f52… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 14:17:15 2010 +0100 Let ppl_*_linear_partition/4 register its outputs to the allocator tracker. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd5ac7e7f267… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 13:04:22 2010 +0100 Corrected typo: register the C++ pointer, not the Prolog term. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=740bb2d0009c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:37:32 2010 +0100 Corrected the expected results for test fimmel.pip. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=618bf7265df3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:15:15 2010 +0100 Corrected expected result for test sor1d.pip. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca5d011c79c7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:06:43 2010 +0100 Test 08 may does not overflow when using exact Octagonal_Shapes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9919991474ed… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 11:24:38 2010 +0100 Fixed input file sor1d.pip. A line of blanks is not a valid comment line for the input reading routine. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05ba76777df2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 11:22:30 2010 +0100 Fixed xpected result for sor1d.pip. Minor improvements to ppl_pips.cc.

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 20 Mar '10

20 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c97a2a734a71… Merge: c500dcaafa04ea00a0003d09cee58acef0b26d92 b831a0b77c3ba4f7dbe716619a8b3f225f430079 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:28:22 2010 +0400 Merge branch 'master' into sparse_matrices URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831a0b77c3b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:21:49 2010 +0100 Fixed a typo in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=124faa76cafb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:07:21 2010 +0100 Improved the documentation with examples for uses of the big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae2b90afc196… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 07:44:11 2010 +0100 Added a couple of tests using the big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa6aa7c81951… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 19:00:12 2010 +0100 Added formatting conventions to the STANDARDS file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5911ab1fcc19… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 09:47:59 2010 +0000 As in previous commit - ensure initialization of variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9da0e46c90e0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 09:13:09 2010 +0000 Missing variable initialization added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c45d375b4ec… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 08:53:12 2010 +0000 Improved documentation for frequency(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c439aeac0c8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 19 08:55:40 2010 +0100 Corrected/improved a few tests in BD_Shape/frequency1.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec22adde10fd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 22:36:41 2010 +0100 Mention header file partially_reduced_product_test.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fe09524b326… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 18:37:22 2010 +0100 Don't take the address of a temporary object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc825f2bac6a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:38:26 2010 +0100 Fixed tests/Partially_Reduced_Product/Makefile.am. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0ff1e07c695… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:15:05 2010 +0100 Avoid a broken reference to another manual that is built later. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42397bb0409e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:12:09 2010 +0100 Define the SOURCES for test concatenate1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f7c4080b52… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 14:16:15 2010 +0000 Avoid leakage when exiting a test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94e7696f13d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 13:50:12 2010 +0000 Revised code neede for wrap assign wrap_assign in Java.

1 0

[GIT] ppl/ppl(products): New commits
by Roberto Bagnara 20 Mar '10

20 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42a77adddb8e… Merge: 367f75cf57a1576f54c0bf553c714e838d8c1773 b831a0b77c3ba4f7dbe716619a8b3f225f430079 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:27:47 2010 +0400 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831a0b77c3b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:21:49 2010 +0100 Fixed a typo in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=124faa76cafb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:07:21 2010 +0100 Improved the documentation with examples for uses of the big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae2b90afc196… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 07:44:11 2010 +0100 Added a couple of tests using the big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa6aa7c81951… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 19:00:12 2010 +0100 Added formatting conventions to the STANDARDS file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5911ab1fcc19… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 09:47:59 2010 +0000 As in previous commit - ensure initialization of variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9da0e46c90e0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 09:13:09 2010 +0000 Missing variable initialization added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c45d375b4ec… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 08:53:12 2010 +0000 Improved documentation for frequency(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c439aeac0c8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 19 08:55:40 2010 +0100 Corrected/improved a few tests in BD_Shape/frequency1.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec22adde10fd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 22:36:41 2010 +0100 Mention header file partially_reduced_product_test.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fe09524b326… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 18:37:22 2010 +0100 Don't take the address of a temporary object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc825f2bac6a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:38:26 2010 +0100 Fixed tests/Partially_Reduced_Product/Makefile.am. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0ff1e07c695… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:15:05 2010 +0100 Avoid a broken reference to another manual that is built later. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42397bb0409e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:12:09 2010 +0100 Define the SOURCES for test concatenate1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f7c4080b52… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 14:16:15 2010 +0000 Avoid leakage when exiting a test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94e7696f13d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 13:50:12 2010 +0000 Revised code neede for wrap assign wrap_assign in Java. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80eafa9e6f52… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 14:17:15 2010 +0100 Let ppl_*_linear_partition/4 register its outputs to the allocator tracker. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd5ac7e7f267… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 13:04:22 2010 +0100 Corrected typo: register the C++ pointer, not the Prolog term. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=740bb2d0009c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:37:32 2010 +0100 Corrected the expected results for test fimmel.pip. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=618bf7265df3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:15:15 2010 +0100 Corrected expected result for test sor1d.pip. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca5d011c79c7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:06:43 2010 +0100 Test 08 may does not overflow when using exact Octagonal_Shapes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9919991474ed… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 11:24:38 2010 +0100 Fixed input file sor1d.pip. A line of blanks is not a valid comment line for the input reading routine. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05ba76777df2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 11:22:30 2010 +0100 Fixed xpected result for sor1d.pip. Minor improvements to ppl_pips.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2df786e330fb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 17 17:14:35 2010 +0100 Fixed a few memory allocation problems in ppl_pips. Enabled the used of valgrind when running ppl_pips tests. Corrected the expected result for test fimmel.pip (unsatisfiable problem). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71aa196a1784… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 17 17:12:07 2010 +0100 Fixed a couple of resource allocation problems (reported by Marco Poletti). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d0a50e95c3b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 17 11:30:48 2010 +0000 Fixed some typos for code related to the wrap_assign java interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fca7306fd2f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 19:25:00 2010 +0000 Added implementation code for Java interface for wrap_assign. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=445fe36196dd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 13:11:21 2010 +0000 Allow for the various numeric types in frequency1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80c44d73a29d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 12:46:29 2010 +0000 Java interface for wrap asign added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c3f8ae55af3… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 15 16:27:50 2010 +0000 Test changed so as to be meaningful for all integer types. Comment typos fixed.

1 0

[GIT] ppl/ppl(pip): New commits
by Roberto Bagnara 20 Mar '10

20 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831a0b77c3b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:21:49 2010 +0100 Fixed a typo in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=124faa76cafb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:07:21 2010 +0100 Improved the documentation with examples for uses of the big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae2b90afc196… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 07:44:11 2010 +0100 Added a couple of tests using the big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa6aa7c81951… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 19:00:12 2010 +0100 Added formatting conventions to the STANDARDS file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5911ab1fcc19… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 09:47:59 2010 +0000 As in previous commit - ensure initialization of variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9da0e46c90e0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 09:13:09 2010 +0000 Missing variable initialization added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c45d375b4ec… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 08:53:12 2010 +0000 Improved documentation for frequency(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c439aeac0c8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 19 08:55:40 2010 +0100 Corrected/improved a few tests in BD_Shape/frequency1.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec22adde10fd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 22:36:41 2010 +0100 Mention header file partially_reduced_product_test.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fe09524b326… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 18:37:22 2010 +0100 Don't take the address of a temporary object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc825f2bac6a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:38:26 2010 +0100 Fixed tests/Partially_Reduced_Product/Makefile.am. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0ff1e07c695… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:15:05 2010 +0100 Avoid a broken reference to another manual that is built later. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42397bb0409e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:12:09 2010 +0100 Define the SOURCES for test concatenate1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f7c4080b52… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 14:16:15 2010 +0000 Avoid leakage when exiting a test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94e7696f13d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 13:50:12 2010 +0000 Revised code neede for wrap assign wrap_assign in Java. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80eafa9e6f52… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 14:17:15 2010 +0100 Let ppl_*_linear_partition/4 register its outputs to the allocator tracker. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd5ac7e7f267… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 13:04:22 2010 +0100 Corrected typo: register the C++ pointer, not the Prolog term. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=740bb2d0009c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:37:32 2010 +0100 Corrected the expected results for test fimmel.pip. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=618bf7265df3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:15:15 2010 +0100 Corrected expected result for test sor1d.pip. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca5d011c79c7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:06:43 2010 +0100 Test 08 may does not overflow when using exact Octagonal_Shapes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9919991474ed… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 11:24:38 2010 +0100 Fixed input file sor1d.pip. A line of blanks is not a valid comment line for the input reading routine. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05ba76777df2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 11:22:30 2010 +0100 Fixed xpected result for sor1d.pip. Minor improvements to ppl_pips.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2df786e330fb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 17 17:14:35 2010 +0100 Fixed a few memory allocation problems in ppl_pips. Enabled the used of valgrind when running ppl_pips tests. Corrected the expected result for test fimmel.pip (unsatisfiable problem). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71aa196a1784… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 17 17:12:07 2010 +0100 Fixed a couple of resource allocation problems (reported by Marco Poletti). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d0a50e95c3b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 17 11:30:48 2010 +0000 Fixed some typos for code related to the wrap_assign java interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fca7306fd2f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 19:25:00 2010 +0000 Added implementation code for Java interface for wrap_assign. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=445fe36196dd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 13:11:21 2010 +0000 Allow for the various numeric types in frequency1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80c44d73a29d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 12:46:29 2010 +0000 Java interface for wrap asign added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c3f8ae55af3… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 15 16:27:50 2010 +0000 Test changed so as to be meaningful for all integer types. Comment typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c68101c16e7f… Merge: 8760df47483200e17daf43df3c7ca4ec7aad9185 6060bda39a0fb7b5d8d114d436b81a5a5b1eb74e Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 15 15:53:22 2010 +0400 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8760df474832… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 15 11:18:15 2010 +0000 Conflicts resolved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6060bda39a0f… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Mar 11 19:58:03 2010 +0100 Documentation fixes. Added a paragraph about optimizing a linear cost function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed91bdf10a46… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 10 18:29:05 2010 +0100 Improved checks in PIP_Decision_Node::OK() method. There is no reason to have Artificial_Parameter::OK() inlined. Added a couple of comments on code that should be normally unreachable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61b4c1817137… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 10 18:27:08 2010 +0100 Fixed documentation reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=374f46632936… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 10 17:14:26 2010 +0100 Fixed the value of INPUT doxygen configuration variable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ad2fe744dc6… Merge: bbb1ff43e555dabda36b8d5838092ebade985c54 65156364caa2da7235862998930736ca27c83236 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 10 13:18:29 2010 +0400 Merge branch 'master' into products Conflicts: src/Partially_Reduced_Product.templates.hh tests/Partially_Reduced_Product/directproduct2.cc tests/Partially_Reduced_Product/directproduct3.cc tests/Partially_Reduced_Product/directproduct4.cc tests/Partially_Reduced_Product/directproduct5.cc tests/Partially_Reduced_Product/directproduct6.cc tests/Partially_Reduced_Product/partiallyreducedproduct1.cc tests/Partially_Reduced_Product/partiallyreducedproduct2.cc tests/Partially_Reduced_Product/partiallyreducedproduct3.cc tests/Partially_Reduced_Product/partiallyreducedproduct4.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65156364caa2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Mar 9 20:28:29 2010 +0100 Added two paragraphs about uses of the big parameter in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d43c54ada25… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Mar 8 07:56:00 2010 +0100 Documentation fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=114f0e384745… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:36:12 2010 +0400 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f06b3826db77… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:31:49 2010 +0400 Missing files added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2cacd97386… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 08:52:23 2010 +0400 Restored line erased by mistake. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9fbde676540… Merge: 97bd553465561f16c14e291cc942004cc534df86 a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:04:15 2010 +0400 Merge branch 'master' into floating_point Conflicts: doc/definitions.dox URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6b23fd18ce9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:00:57 2010 +0400 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71dcb7f32c65… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:00:37 2010 +0400 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97bd55346556… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Mar 8 21:10:04 2010 +0100 Fixed documentation files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a6c325c3b96… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 18:39:23 2010 +0400 Support newer versions of SWI-Prolog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54bf68f9ee93… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 16:24:38 2010 +0400 Use \link ... \endlink consistently. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d054a83797b9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 7 11:36:11 2010 +0100 Corrected an invalid reference bug in PIP_Solution_Node::update_tableau(). The addition of tableau rows invalidates previously computed references. Thanks to Marco Poletti for reporting this. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fad4a942862… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sun Mar 7 21:13:37 2010 +0100 Eventually perform solution tree simplifications after incremental addition of parameter constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f010ef5edd82… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sun Mar 7 20:27:09 2010 +0100 Moved the compatibility_check static methods to PIP_Tree_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7af846ade60… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sun Mar 7 20:25:00 2010 +0100 Added one more test for incremental solving. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22d7dc4353fc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 6 09:23:32 2010 +0100 Corrected a couple of typos in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ed63be5fa24… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 6 08:31:33 2010 +0100 Test 4 in digitalfilers1.cc overflows with 64-bits if assertions are on. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fa2669e96e9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 5 18:09:15 2010 +0100 Tests 20, 21 and 22 overflow on 8-bit coefficients (derived from test02). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be7b34ac1879… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 4 17:57:23 2010 +0100 Encoded custom overflow conditions for digitalfilters1.cc tests 5 and 6. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c4b4cb73d97d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Mar 4 14:14:05 2010 +0100 Added a test for problem feasibility when incrementally adding parameter constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a06b9697b65… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Mar 4 13:59:59 2010 +0100 Added two tests for incremental addition of parametric constraints. Even though correct, the resulting solution trees can be simplified. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e961e540b837… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 4 10:09:37 2010 +0400 Replaced using directives by using declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca010b524e4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 3 22:13:57 2010 +0400 Apparently GNU Hurd only supports ITIMER_REAL. (Thanks to Michael Tautschnig: http://www.cs.unipr.it/pipermail/ppl-devel/2010-March/016072.html). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aeb2709a41cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 3 22:07:01 2010 +0400 Proper spacing added to throw_syscall_error(). (Thanks to Michael Tautschnig.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9c769a3992b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 2 22:09:29 2010 +0100 Detected several overflows in tests 5 and 6 of digitalfilters1.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b72c39080c69… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 2 22:07:29 2010 +0100 Adopted a more flexible implementation for the DO_TEST* macros. (Based on a set of macros provided by Abramo Bagnara.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6503e77440bc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 2 14:59:10 2010 +0100 Made a pass on the documentation of class PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=802e03131e75… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 1 23:58:07 2010 +0100 Method PIP_Tree_Node::solve() now checks context feasibility when needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=893ad34ee7a5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 1 23:57:03 2010 +0100 Corrected typo in test19(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8daf23edd9ad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 1 23:43:41 2010 +0100 Several minor improvements to the PIP_Problem resolution process. Reorganized helper functions update_context() and compatibility_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90f18fa7da95… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 1 11:05:37 2010 +0000 The wrap_assign has only been added to the C interface so the procedure must be local to the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a65a2985d7b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 1 11:15:05 2010 +0100 Completed removal of support for circular intervals. Removed now ambiguous method CC76_narrowing_assign(). While at it, also wrapped a few long lines. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57c7504c6e09… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 1 08:45:34 2010 +0000 Added C interface for wrap_assign. Minor NELS improvements to documentation describing Wrapping Operator (should be checked by the author of these notes). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b5f5fd6156c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:57:58 2010 +0100 Useless comma removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=368e94bd2e37… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:42:23 2010 +0100 Removed stuff that will not be included in PPL 0.11. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d37735b2febd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:41:56 2010 +0100 Missing comma added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db2f453a9953… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:26:09 2010 +0100 Temporarily removed the support for circular intervals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7aa7b67f7fe2… Merge: cef1370849e9e1a196fa73b1009973d53779c4d1 9005a4bc71b38b80205724ac2914731466e5b450 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:03:48 2010 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9005a4bc71b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:02:19 2010 +0100 Reassign error codes so as to have backward compatibility. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10e2e18534c3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 27 10:30:09 2010 +0100 Increase code coverage for PIP_Tree_Node printing methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c67f2c8566da… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 08:58:00 2010 +0100 Force C++ linking for all the test programs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a89bb0a926a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 07:33:22 2010 +0100 Exception handling fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58befe688ea3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 26 22:08:11 2010 +0100 Throw std::logic_error in case the client asks for watchdogs on a system not supporting them. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=768a88bdae63… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 25 19:52:31 2010 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3edd591a85e1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 26 18:55:07 2010 +0100 Simplified initialization of Threshold_Watcher<> static data member. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc751cb13ead… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 26 17:42:19 2010 +0100 Added printing functions for PIP tree nodes and improved documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7fc5572e9b7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 26 17:27:40 2010 +0100 Added operator<<() for class PIP_Tree_Node, printing the subtree. The output operator is based on public (non-virtual) method print(), which calls the protected (virtual) method print_tree() after properly setting up the needed arguments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99c0578d19f3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 26 17:24:23 2010 +0100 Improve definition of Matrix::const_iterator default constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cef1370849e9… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Feb 24 23:58:21 2010 +0100 Modified return statements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a999ad72d925… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Feb 24 23:19:16 2010 +0100 Several corrections in rate limiter tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bcfbb57b083… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 24 08:38:04 2010 +0100 Tests 1-18 restored. Test 19 is known to fail. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6b551f5f62b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Feb 23 17:31:32 2010 +0100 Added a test illustrating a bug when incrementally inserting a parameter constraint. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=710e5d5efd12… Author: Fabio <Fabio(a)C1P4.(none)> Date: Tue Feb 23 14:54:34 2010 +0100 Fixed a test on BDShape. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63a514cb4d7f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 23 10:42:03 2010 +0100 Tests 14 and 15 are known to overflow on 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=670c44bcc1e5… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Feb 22 22:21:24 2010 +0100 Removed whitespaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d085a775bc8… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Feb 22 22:15:50 2010 +0100 Fixed indentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4685b3625210… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 22 21:15:26 2010 +0100 Fixed call to ppl_PIP_Solution_Node_get_parametric_values(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95009146c346… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 22 18:54:20 2010 +0100 Added tentative solution to bugs shown by pipproblem1 tests 16, 17 and 18. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2aee435d05b… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Feb 22 17:35:09 2010 +0100 Fixed digitalfilters1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af2621d1726b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 22 15:48:20 2010 +0100 Do set the `solution_valid' flag on exit from update_solution(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c07572474d4d… Merge: 8ad05a7fa1293c23494ebd8c1a8222c8cc39dc0e 089e2db3d5f73dc3ad5c1545dd777671ac583f58 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 22 14:48:11 2010 +0100 Merge branch 'floating_point' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ad05a7fa129… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 22 14:22:26 2010 +0100 Fixed exception safety issue in PIP_Decision_Node copy constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84dfaed9e347… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 22 14:04:27 2010 +0100 Changed interface for public method PIP_Solution_Node::parametric_values(). The new interface no longer requires the set of problem parameters as an input argument (which was error prone): rather, the set of parameters of the PIP_Problem is now automatically retrieved. To this end, all PIP tree nodes are now provided by a pointer to the owning PIP_Problem object. Method PIP_Problem::OK() modified to check for well formedness of the solution tree and, in particular, check that all its nodes are marked as owned by the right PIP_Problem object. Removed the no longer useful method PIP_Tree_Node::insert_artificials(). Corrected a typo in PIP_Problem::operator<<(). Simplified interface of (internal) method PIP_Tree_Node::print_tree(). Added a FIXME regarding a potential exception safety issue. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=089e2db3d5f7… Merge: 99eaa536d87db8c8a5b34ab451196d11a57aa6a1 537a4928e00e2b811822089da4cf12a1dd4344cf Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 22 10:03:52 2010 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=537a4928e00e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 22 09:16:36 2010 +0100 Fixed oversight in error-handling code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b73c49a9feb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 22 09:16:06 2010 +0100 Avoid printing unless noisy or very-noisy mode was requested. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e52d48a8ab59… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 21 18:07:01 2010 +0100 Be more informative in case something goes wrong. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bbfa4bc9da9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 21 18:05:49 2010 +0100 Use the C++ compiler to perform the tests meant for C++. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b0ba93300fb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 21 12:49:16 2010 +0100 sigaction() is also needed, in addition to setitimer() in order to support Watchdog objects. We could check if signal() is available if there is request for such a feature. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fa465112d1f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 21 11:16:27 2010 +0100 If setitimer() is not available, no initialization is necessary. This also works around a linking bug in Mingw. C tests improved with error-handling code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99eaa536d87d… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Feb 20 16:49:27 2010 +0100 Floating_Point_Expression::absolute_error is now a symmetric interval. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bdae3bb7bff5… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Feb 20 14:39:08 2010 +0100 Use build method instead of join_assign to build convex intervals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e638dd4922a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 20 14:38:26 2010 +0100 Improved code coverage. Removed useless (and not accessible by user) Tableau::total_memory_in_bytes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13a2650b7180… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 20 13:04:13 2010 +0100 Invalidate current solution at the start of PIP_Solution_Node::solve(). This fixes the bug in pipproblem3 test03. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=511e9e86f968… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 20 12:52:19 2010 +0100 Adding no space dims should not invalidate previously computed solution. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28dc8bb7f4c0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 20 12:30:19 2010 +0100 Got rid of non-const PIP_Tree_Node as_decision() and as_solution() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=77df3ea039c2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 20 11:17:25 2010 +0100 Achieve full code coverage for the output operator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e890db63f60f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 20 10:05:36 2010 +0100 Document and test exception thrown by PIP_Problem::print_solution(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fce6b4f6fe1e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 20 09:46:35 2010 +0100 Test 09 overflows when using 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fc67ca60121… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 20 09:40:15 2010 +0100 A couple of tests marked as known to fail. These shows a bug in the solver, which fails to detect an unfeasible initial context. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12d4e15ef5be… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 20 08:52:24 2010 +0100 Put under git control. These test exercise the incremental PIP solver (still buggy). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=084cb1f82547… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 20 08:50:53 2010 +0100 Check fir and avoid space dimension mismatches in merge_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cb3ce1f0be9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 19 22:32:24 2010 +0100 Started working on incrementality. Dealt with a FIXME in PIP_Solution_Node::update_tableau(): when adding new problem variables and parameters, the columns of the existing artificial parameters are moved to the right of the tableau.t matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e191bf79e2f4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 19 22:31:37 2010 +0100 Little code coverage improvement. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1cec252d369a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 18 23:45:41 2010 +0100 Prefer denominator() to get_denominator(). In pipproblem1 test02(), add a lenghty check of the expected solution. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0bd48ed51ae… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 18 22:15:57 2010 +0100 Simplified C interface to Artificial_Parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d994c6364d6d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 18 21:54:53 2010 +0100 Removed two PIP_Problem enum values that need not be interfaced. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d274e1f6b47b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 18 21:49:54 2010 +0100 Avoid parameter name hiding; mark unreachable code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=215cc5a900c2… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Feb 18 20:22:54 2010 +0000 Added some missing C interface methods and enum values for the new PIP classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8ac7e594ab0… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Feb 18 17:33:36 2010 +0100 Changed linearize method interface for Floating Point Expressions. Now, it has a bool return type which indicates if the linearization succeeded (or not). Thus, Linearization_Failed exception class has been removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e480f958e85… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 18 16:07:39 2010 +0100 Corrected bug in th ehandling of trivially satisfiable PIP problems. Test 16 in pipproblem1.cc (currently disabled) shows a bug in the handling of trivially unfeasible PIP problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee564d807b24… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 18 15:01:45 2010 +0100 Dealt with a FIXME in PIP_Solution_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d53ceac4d79… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Feb 18 13:43:28 2010 +0000 Added total_memory_in_bytes() and external_memory_in_bytes() to MIP_Problem and PIP_Problem in the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=945e8f14d130… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Feb 18 13:55:09 2010 +0100 Fixed comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c0b14249c7c… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Feb 18 13:27:55 2010 +0100 Improved comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84cdf71053ad… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 18 11:23:44 2010 +0100 Described the input formats. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6a791128aef… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 18 11:21:42 2010 +0100 Cosmetic improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86cb551f54cb… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Feb 18 00:06:40 2010 +0100 Added and fixed documentation for Var_FP_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe233fcf5db9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 22:30:09 2010 +0100 Updated expected results. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85e96f4e8a3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 22:14:57 2010 +0100 Test with all the examples. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d97532ec7447… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 22:06:42 2010 +0100 Added examples from PipLib 1.4.0. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e6df802e280… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 17:41:50 2010 +0100 Typo fixed: we require SICStus at least version 3.9.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b492ed70728e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 15:39:01 2010 +0100 Test program renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d8d4194c8e1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 15:37:50 2010 +0100 Cosmetic changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e75fbc5ddcd… Author: Fabio <Fabio(a)C1P4.(none)> Date: Wed Feb 17 17:02:05 2010 +0100 Added "affine from relation" section into definitions.dox. Fixed a reference to "affine from relation". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7734015823e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 17 14:50:11 2010 +0100 Drafted implementation for PIP_Problem's operator<<. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64a04677743e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 17 13:13:57 2010 +0100 Tests adapted to use the new method for printing a PIP problem solution. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7da6c43b438c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 17 12:47:08 2010 +0100 Added method PIP_Problem::print_solution(). The new method exploits added virtual method PIP_Tree_Node::print_tree(). Implementation is based on code from the many display_solution() helper functions that are currently spread in the tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=777f298702f1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 12:33:34 2010 +0100 Cater for systems where setitimer() is not provided (part 4). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eab6ab2fd4e4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 12:22:12 2010 +0100 Cater for systems where setitimer() is not provided (part 3). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ac2c64c2e9f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 12:15:35 2010 +0100 Cater for systems where setitimer() is not provided (part 2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9bdd6617be52… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 11:56:08 2010 +0100 Cater for systems where setitimer() is not provided (part 1). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0cd7dc9899f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 11:55:16 2010 +0100 Build the PWL unless not explicitly disabled at configuration time. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01e3978bbebd… Merge: 3f6a0a0624328d63cdef17da7e06a8bd31e1f93e eab71496fec3819d941c5c444cb09041aea7eb0f Author: Fabio <Fabio(a)C1P4.(none)> Date: Wed Feb 17 10:25:20 2010 +0100 Merge branch 'floating_point' of ssh://git.cs.unipr.it/git/ppl/ppl into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c3188f08c10… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 10:16:43 2010 +0100 Variable shadowing avoided. Scope of variables reduced. One FIXME added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f9532b4887… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 17 10:06:30 2010 +0100 Tests 2, 5, 7, 8, 9 and 10 do not overflow on 16 bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f6a0a062432… Author: Fabio <Fabio(a)C1P4.(none)> Date: Wed Feb 17 10:01:15 2010 +0100 Fixed a type error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3339d25083d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 16 23:15:46 2010 +0100 Solved other instances of test02, but using different cutting strategies. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53e86bccd511… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 16 22:40:01 2010 +0100 Fixed bug introduced when improving coding style in PIP_Solution_Node::solve. Corrected wrong assertion in PIP_Solution_Node::generate_cut. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=214df020741e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 21:43:32 2010 +0100 Important item added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9391a5768d5e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 21:39:51 2010 +0100 Unwanted inclusion removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ba82c5fb51f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 21:35:54 2010 +0100 Use the right preprocessor conditionals for PPL_HAVE_DECL_SIGACTION. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c5b321e1751… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 21:35:26 2010 +0100 Warnings avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bad1f4e90af2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 20:38:32 2010 +0100 Corrected several problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9857bc5b9ae3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 16 20:06:43 2010 +0100 Enable test12. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac846ef3f2f4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 16 20:05:36 2010 +0100 A few improvements to PIP_Problem documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1789a22b1378… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 15:35:38 2010 +0100 Make the test trivially succeed when coefficients are not large enough. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eab71496fec3… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Feb 16 15:11:53 2010 +0100 Fixed Cast_Floating_Point_Expression.inlines.hh and added a test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c257cba9d19c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 14:41:52 2010 +0100 Improved error handling. Cosmetic improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b89a40da063c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 16 14:38:15 2010 +0100 Added unit tests for inner class PIP_Tree_Node::Artificial_Parameter. Added operator!=() and swap() methods: the last was necessary as we were inheriting it from Linear_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ddd5a9f223c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 16 12:00:43 2010 +0100 Added another test for code coverage purposes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=632f43866770… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 16 09:58:05 2010 +0100 Got rid of unused Boolean flag PIP_Problem::initialized. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4baadf1d8043… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 10:14:45 2010 +0100 Avoid non-ASCII characters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09c7bbce5f53… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 10:10:57 2010 +0100 Trailing whitespace removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0804e05ac141… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 10:10:30 2010 +0100 Install also ppl_pips.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22208e21cd86… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 16 09:51:24 2010 +0100 Added a couple of tests to improve code coverage. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2287f9b3cc25… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Feb 15 23:40:43 2010 +0100 Added classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f573312d066… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Feb 15 23:32:09 2010 +0100 Added a first implementation of Cast_Floating_Point_Expression classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de1f6f6e47ec… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 22:15:44 2010 +0100 Put under Git control. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25e8b89f3fb0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 22:15:17 2010 +0100 Avoid non-ASCII characters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b57e8b768d88… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 22:14:04 2010 +0100 Added a draft man page for `ppl_pips'. Other man pages updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dff9d4152afe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 20:28:49 2010 +0100 Missing backslash added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=030ba2b2b3c5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 18:32:16 2010 +0100 Added missing expected results. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d5b20eeba49… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 16:07:42 2010 +0100 Improved the NDEBUG machinery. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cf1cef85fea… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 14:57:57 2010 +0100 Mark expected overflows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ba6445b1c5a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 14:50:19 2010 +0100 Improve portability to systems that do not (fully) support Posix signal handling. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8eecefb16080… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 11:35:55 2010 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbb1ff43e555… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Jul 9 14:30:29 2009 +0100 Corrected test as already corrected in the master branch. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a648638a1c5f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 24 08:44:02 2009 +0100 Further improvements to frequency() code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5965cbb6eed… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 24 08:14:06 2009 +0100 Code for frequency() improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b01615895b5c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 24 07:11:57 2009 +0100 A new product called Shape_Preserving_Product added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68dd5db1d102… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat May 23 20:56:45 2009 +0100 The method frequency() added to the Affine_Space domain. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ef46ef0cbc6… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat May 23 20:55:47 2009 +0100 Bug in frequency() for Octagonal shapes fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46be509da515… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri May 22 15:32:07 2009 +0100 Added the method frequency() to the Box domain. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f21ee4e62c55… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri May 22 11:01:10 2009 +0100 Added the method frequency() to the Octagonal shape domain. Improved the code for the same method for BD shapes. Corrected some typos in comments in these files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e13382fd6d7a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 21 09:32:39 2009 +0100 Added method frequency() to the Polyhedron and BD Shape domains. This corresponds to the method frequency() already added to the Grid domain. For these domains it checks if the expression has a constant value and if so, returns true and gives the value (with frequency 0). Otherwise it returns false. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97e641dd651b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:36:26 2009 +0100 Revert "Added a warning about non-integrality for wrap_assign()." This reverts commit 6b9f28ad503f1d43da7a876c4bee7eae9eba185a. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b9f28ad503f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:28:58 2009 +0100 Added a warning about non-integrality for wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=047b85ccd0dd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:25:26 2009 +0100 Some tests are expected to fail with 8-bit integers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49daa080642e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 19 17:15:53 2009 +0100 Removed redundant test files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b981fa2a283c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 19 17:07:14 2009 +0100 Revised the tests so as to follow the organization for other domains. Apart from the operation tests, there are specific tests for each reduction operator. Selected tests (in the Makefile) can be checked with the given component order and with the component domains reversed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49a4bf80ee99… Merge: 7d94d1213ad812f7d2a1cec93763247bdab22d34 badd595a0c22e91f4f1653ff8c7d53a3bf15ec50 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 18 13:47:31 2009 +0200 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d94d1213ad8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 17 09:04:08 2009 +0100 After the affine (pre)image operations, unset the reduced flag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d519208391e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 14 21:20:06 2009 +0100 Added two tests based on the examples 5(a), 5(b) in SenS07. Added print_constraints(const Affine_Space&) to ppl_test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f5a7d280e52… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 14 07:41:22 2009 +0100 Added new method frequency() for Grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7f4b16d84c8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 14 07:41:22 2009 +0100 Added new method frequency() for Grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60d5f1fce4d1… Merge: da0ca32ee95f30d2bcd9111eea74d9b820ad1a14 c8cbb00f29ac4c0d48daf14a9a9d3b93e559e207 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 11:06:06 2009 +0200 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da0ca32ee95f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 3 17:22:18 2009 +0100 Renamed reduction Shrink_Using_Congruences_Reduction to Congruences_Reduction. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1cde86de062… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat May 2 11:00:24 2009 +0100 Reduction methods (Constraints and Shrink_Using_Congruences) improved. Tests specific to the Constraints_Reduction added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5feeaabb6a4e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri May 1 10:16:38 2009 +0100 Unwanted changes to test01() undone. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9d2424b6b4… Merge: 71893349245baa11c7fa1dd9b0a793606b4bce4c 827e54079b1ec6528dd5d185c8d8d0694c891587 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 29 14:44:49 2009 +0200 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71893349245b… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Jan 5 13:54:39 2009 +0000 Added a reduction method Shrink_Using_Congruences_Reduction<> and the product Shrink_Using_Congruences_Product<> that assumes this reduction. Several "FIXME"s dealt with. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00d817596a9b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Dec 13 10:28:13 2008 +0000 This commit was generated by cvs to git conversion to create branch 'products'.

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 20 Mar '10

20 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831a0b77c3b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:21:49 2010 +0100 Fixed a typo in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=124faa76cafb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:07:21 2010 +0100 Improved the documentation with examples for uses of the big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae2b90afc196… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 07:44:11 2010 +0100 Added a couple of tests using the big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa6aa7c81951… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 19:00:12 2010 +0100 Added formatting conventions to the STANDARDS file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5911ab1fcc19… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 09:47:59 2010 +0000 As in previous commit - ensure initialization of variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9da0e46c90e0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 09:13:09 2010 +0000 Missing variable initialization added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c45d375b4ec… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 08:53:12 2010 +0000 Improved documentation for frequency(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c439aeac0c8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 19 08:55:40 2010 +0100 Corrected/improved a few tests in BD_Shape/frequency1.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec22adde10fd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 22:36:41 2010 +0100 Mention header file partially_reduced_product_test.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fe09524b326… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 18:37:22 2010 +0100 Don't take the address of a temporary object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc825f2bac6a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:38:26 2010 +0100 Fixed tests/Partially_Reduced_Product/Makefile.am. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0ff1e07c695… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:15:05 2010 +0100 Avoid a broken reference to another manual that is built later. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42397bb0409e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:12:09 2010 +0100 Define the SOURCES for test concatenate1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f7c4080b52… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 14:16:15 2010 +0000 Avoid leakage when exiting a test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94e7696f13d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 13:50:12 2010 +0000 Revised code neede for wrap assign wrap_assign in Java. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80eafa9e6f52… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 14:17:15 2010 +0100 Let ppl_*_linear_partition/4 register its outputs to the allocator tracker. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd5ac7e7f267… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 13:04:22 2010 +0100 Corrected typo: register the C++ pointer, not the Prolog term. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=740bb2d0009c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:37:32 2010 +0100 Corrected the expected results for test fimmel.pip. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=618bf7265df3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:15:15 2010 +0100 Corrected expected result for test sor1d.pip. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca5d011c79c7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:06:43 2010 +0100 Test 08 may does not overflow when using exact Octagonal_Shapes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9919991474ed… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 11:24:38 2010 +0100 Fixed input file sor1d.pip. A line of blanks is not a valid comment line for the input reading routine. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05ba76777df2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 11:22:30 2010 +0100 Fixed xpected result for sor1d.pip. Minor improvements to ppl_pips.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2df786e330fb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 17 17:14:35 2010 +0100 Fixed a few memory allocation problems in ppl_pips. Enabled the used of valgrind when running ppl_pips tests. Corrected the expected result for test fimmel.pip (unsatisfiable problem). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71aa196a1784… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 17 17:12:07 2010 +0100 Fixed a couple of resource allocation problems (reported by Marco Poletti). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d0a50e95c3b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 17 11:30:48 2010 +0000 Fixed some typos for code related to the wrap_assign java interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fca7306fd2f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 19:25:00 2010 +0000 Added implementation code for Java interface for wrap_assign. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=445fe36196dd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 13:11:21 2010 +0000 Allow for the various numeric types in frequency1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80c44d73a29d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 12:46:29 2010 +0000 Java interface for wrap asign added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c3f8ae55af3… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 15 16:27:50 2010 +0000 Test changed so as to be meaningful for all integer types. Comment typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c68101c16e7f… Merge: 8760df47483200e17daf43df3c7ca4ec7aad9185 6060bda39a0fb7b5d8d114d436b81a5a5b1eb74e Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 15 15:53:22 2010 +0400 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8760df474832… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 15 11:18:15 2010 +0000 Conflicts resolved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ad2fe744dc6… Merge: bbb1ff43e555dabda36b8d5838092ebade985c54 65156364caa2da7235862998930736ca27c83236 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 10 13:18:29 2010 +0400 Merge branch 'master' into products Conflicts: src/Partially_Reduced_Product.templates.hh tests/Partially_Reduced_Product/directproduct2.cc tests/Partially_Reduced_Product/directproduct3.cc tests/Partially_Reduced_Product/directproduct4.cc tests/Partially_Reduced_Product/directproduct5.cc tests/Partially_Reduced_Product/directproduct6.cc tests/Partially_Reduced_Product/partiallyreducedproduct1.cc tests/Partially_Reduced_Product/partiallyreducedproduct2.cc tests/Partially_Reduced_Product/partiallyreducedproduct3.cc tests/Partially_Reduced_Product/partiallyreducedproduct4.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbb1ff43e555… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Jul 9 14:30:29 2009 +0100 Corrected test as already corrected in the master branch. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a648638a1c5f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 24 08:44:02 2009 +0100 Further improvements to frequency() code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5965cbb6eed… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 24 08:14:06 2009 +0100 Code for frequency() improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b01615895b5c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 24 07:11:57 2009 +0100 A new product called Shape_Preserving_Product added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68dd5db1d102… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat May 23 20:56:45 2009 +0100 The method frequency() added to the Affine_Space domain. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ef46ef0cbc6… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat May 23 20:55:47 2009 +0100 Bug in frequency() for Octagonal shapes fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46be509da515… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri May 22 15:32:07 2009 +0100 Added the method frequency() to the Box domain. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f21ee4e62c55… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri May 22 11:01:10 2009 +0100 Added the method frequency() to the Octagonal shape domain. Improved the code for the same method for BD shapes. Corrected some typos in comments in these files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e13382fd6d7a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 21 09:32:39 2009 +0100 Added method frequency() to the Polyhedron and BD Shape domains. This corresponds to the method frequency() already added to the Grid domain. For these domains it checks if the expression has a constant value and if so, returns true and gives the value (with frequency 0). Otherwise it returns false. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97e641dd651b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:36:26 2009 +0100 Revert "Added a warning about non-integrality for wrap_assign()." This reverts commit 6b9f28ad503f1d43da7a876c4bee7eae9eba185a. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b9f28ad503f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:28:58 2009 +0100 Added a warning about non-integrality for wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=047b85ccd0dd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:25:26 2009 +0100 Some tests are expected to fail with 8-bit integers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49daa080642e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 19 17:15:53 2009 +0100 Removed redundant test files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b981fa2a283c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 19 17:07:14 2009 +0100 Revised the tests so as to follow the organization for other domains. Apart from the operation tests, there are specific tests for each reduction operator. Selected tests (in the Makefile) can be checked with the given component order and with the component domains reversed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49a4bf80ee99… Merge: 7d94d1213ad812f7d2a1cec93763247bdab22d34 badd595a0c22e91f4f1653ff8c7d53a3bf15ec50 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 18 13:47:31 2009 +0200 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d94d1213ad8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 17 09:04:08 2009 +0100 After the affine (pre)image operations, unset the reduced flag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d519208391e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 14 21:20:06 2009 +0100 Added two tests based on the examples 5(a), 5(b) in SenS07. Added print_constraints(const Affine_Space&) to ppl_test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f5a7d280e52… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 14 07:41:22 2009 +0100 Added new method frequency() for Grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7f4b16d84c8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 14 07:41:22 2009 +0100 Added new method frequency() for Grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60d5f1fce4d1… Merge: da0ca32ee95f30d2bcd9111eea74d9b820ad1a14 c8cbb00f29ac4c0d48daf14a9a9d3b93e559e207 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 11:06:06 2009 +0200 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da0ca32ee95f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 3 17:22:18 2009 +0100 Renamed reduction Shrink_Using_Congruences_Reduction to Congruences_Reduction. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1cde86de062… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat May 2 11:00:24 2009 +0100 Reduction methods (Constraints and Shrink_Using_Congruences) improved. Tests specific to the Constraints_Reduction added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5feeaabb6a4e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri May 1 10:16:38 2009 +0100 Unwanted changes to test01() undone. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9d2424b6b4… Merge: 71893349245baa11c7fa1dd9b0a793606b4bce4c 827e54079b1ec6528dd5d185c8d8d0694c891587 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 29 14:44:49 2009 +0200 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71893349245b… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Jan 5 13:54:39 2009 +0000 Added a reduction method Shrink_Using_Congruences_Reduction<> and the product Shrink_Using_Congruences_Product<> that assumes this reduction. Several "FIXME"s dealt with. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00d817596a9b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Dec 13 10:28:13 2008 +0000 This commit was generated by cvs to git conversion to create branch 'products'.

1 0

[GIT] ppl/ppl(master): Fixed a typo in the documentation.
by François Galea 19 Mar '10

19 Mar '10

Module: ppl/ppl Branch: master Commit: b831a0b77c3ba4f7dbe716619a8b3f225f430079 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831a0b77c3b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:21:49 2010 +0100 Fixed a typo in the documentation. --- src/PIP_Problem.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/PIP_Problem.defs.hh b/src/PIP_Problem.defs.hh index 51e4165..d151fcf 100644 --- a/src/PIP_Problem.defs.hh +++ b/src/PIP_Problem.defs.hh @@ -458,7 +458,7 @@ operator<<(std::ostream& s, const PIP_Problem& p); Performing substitution again provides us with the values of the original variables: \f[ \left\{\begin{array}{l} - x=\left\lfloor\frac{2p+3}{5}\right\rfloor-1\\ + x=-\left\lfloor\frac{2p+3}{5}\right\rfloor-1\\ y=2\left\lfloor\frac{2p+3}{5}\right\rfloor-2 \end{array}\right. \f]

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 19 Mar '10

19 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c500dcaafa04… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 22:17:46 2010 +0100 MIP_Problem: use two temporaries instead of two vectors of temporaries, in steepest_edge_float_entering_index(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=beb4f18188d3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 22:10:01 2010 +0100 MIP_Problem: optimize process_pending_constraints() method for sparse matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bb2db11438a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 22:09:30 2010 +0100 Sparse_Row, Sparse_Row_Reference: add two-argument find() and lower_bound(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70bc5ccd988b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 21:40:05 2010 +0100 MIP_Problem: use get() instead of operator[] in linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d923d67491d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 21:21:50 2010 +0100 MIP_Problem: use std::vector and std::sort() instead of inserting and removing elements from a std::map, in process_pending_constraints() (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cdb3288193e6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 21:14:28 2010 +0100 MIP_Problem: use std::vector and std::sort() instead of inserting and removing elements from a std::map, in process_pending_constraints(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a66738d64bf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 20:50:06 2010 +0100 MIP_Problem: fix typo in comment, in merge_split_variables().

1 0

[GIT] ppl/ppl(master): Improved the documentation with examples for uses of the big parameter.
by François Galea 19 Mar '10

19 Mar '10

Module: ppl/ppl Branch: master Commit: 124faa76cafb6e7cd49df166614178a30a5cedf2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=124faa76cafb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:07:21 2010 +0100 Improved the documentation with examples for uses of the big parameter. --- src/PIP_Problem.defs.hh | 143 ++++++++++++++++++++++++++++++++++++++++++----- 1 files changed, 128 insertions(+), 15 deletions(-) diff --git a/src/PIP_Problem.defs.hh b/src/PIP_Problem.defs.hh index 32920d9..51e4165 100644 --- a/src/PIP_Problem.defs.hh +++ b/src/PIP_Problem.defs.hh @@ -326,37 +326,150 @@ operator<<(std::ostream& s, const PIP_Problem& p); \f$M-x'_i\f$, where the \f$x'_i\f$ variables are positive variables to be minimized. - Solve the lexicographic minimum for the \f$x'\f$ variable vector. - - In the solution expressions, the values of the original variables are - obtained from the resulting values of the \f$x'_i\f$ variables by - applying the equality \f$x_i = M-x'_i\f$. + - In the solution expressions, the values of the \f$x'\f$ variables will + be expressed in the form: \f$x'_i = M-x_i\f$. To get back the value of + the expression of each \f$x_i\f$ variable, just apply the + formula: \f$x_i = M-x'_i\f$. + \par + Note that if the resulting expression of one of the \f$x'_i\f$ variables + is not in the \f$x'_i = M-x_i\f$ form, this means that the + sign-unrestricted problem is unbounded. \par You can choose to maximize only a subset of the variables while minimizing the other variables. In that case, just apply the variable substitution method on the variables you want to be maximized. The variable optimization priority will still be in lexicographic order. - \par Allowing variables and parameters to be arbitrarily signed - You can deal with arbitrarily signed variables and/or parameters by - reformulating the constraints using variable and/or parameter - substitution. Proceed the following steps: + \par + \b Example: consider you want to find the lexicographic maximum of the + \f$(x,y)\f$ vector, under the constraints: + \f[\left\{\begin{array}{l} + y \geq 2x - 4\\ + y \leq -x + p + \end{array}\right.\f] + \par + where \f$p\f$ is a parameter. + \par + After variable substitution, the constraints become: + \f[\left\{\begin{array}{l} + M - y \geq 2M - 2x - 4\\ + M - y \leq -M + x + p + \end{array}\right.\f] + \par + The code for creating the corresponding problem object is the following: + \code + Variable x(0); + Variable y(1); + Variable p(2); + Variable M(3); + Variables_Set params(p, M); + Constraint_System cs; + cs.insert(M - y >= 2*M - 2*x - 4); + cs.insert(M - y <= -M + x + p); + PIP_Problem pip(cs.space_dimension(), cs.begin(), cs.end(), params); + pip.set_big_parameter_dimension(3); // M is the big parameter + \endcode + Solving the problem provides the following solution: + \verbatim + Parameter E = (C + 1) div 3 + {D - E - 1 ; -C + D + E + 1} + \endverbatim + Under the notations above, the solution is: + \f[ \left\{\begin{array}{l} + x'=M-\left\lfloor\frac{p+1}{3}\right\rfloor-1\\ + y'=M-p+\left\lfloor\frac{p+1}{3}\right\rfloor+1 + \end{array}\right. + \f] + \par + Performing substitution again provides us with the values of the original + variables: + \f[ \left\{\begin{array}{l} + x=\left\lfloor\frac{p+1}{3}\right\rfloor+1\\ + y=p-\left\lfloor\frac{p+1}{3}\right\rfloor-1 + \end{array}\right. + \f] + + \par Allowing variables to be arbitrarily signed + You can deal with arbitrarily signed variables by reformulating the + constraints using variable substitution. Proceed the following steps: - Create a big parameter (see PIP_Problem::set_big_parameter_dimension), which we will call \f$M\f$. - Reformulate each of the maximization problem constraints by substituting each \f$x_i\f$ variable with an expression of the form - \f$x'_i-M\f$, where the \f$x'_i\f$ variables are positive, and/or by - substituting each \f$p_i\f$ parameter with an expression of the form - \f$p'_i-M\f$, where the \f$p'_i\f$ parameters are positive. + \f$x'_i-M\f$, where the \f$x'_i\f$ variables are positive. - Solve the lexicographic minimum for the \f$x'\f$ variable vector. - - In the solution expressions, the values of the original variables - and/or parameters are obtained from the resulting values of the - \f$x'_i\f$ variables and/or the \f$p'_i\f$ parameters by applying the - equalities \f$x_i = M-x'_i\f$ and/or \f$p_i = M-p'_i\f$. - + - The solution expression can be read in the form: + - In the solution expressions, the values of the \f$x'\f$ variables will + be expressed in the form: \f$x'_i = x_i+M\f$. To get back the value of + the expression of each signed \f$x_i\f$ variable, just apply the + formula: \f$x_i = x'_i-M\f$. + \par + Note that if the resulting expression of one of the \f$x'_i\f$ variables + is not in the \f$x'_i = x_i+M\f$ form, this means that the + sign-unrestricted problem is unbounded. \par You can choose to define only a subset of the variables to be sign-unrestricted. In that case, just apply the variable substitution method on the variables you want to be sign-unrestricted. + \par + \b Example: consider you want to find the lexicographic minimum of the + \f$(x,y)\f$ vector, where the \f$x\f$ and \f$y\f$ variables are + sign-unrestricted, under the constraints: + \f[\left\{\begin{array}{l} + y \geq -2x - 4\\ + 2y \leq x + 2p + \end{array}\right.\f] + \par + where \f$p\f$ is a parameter. + \par + After variable substitution, the constraints become: + \f[\left\{\begin{array}{l} + y' - M \geq -2x' + 2M - 4\\ + 2y' - 2M \leq x' - M + 2p + \end{array}\right.\f] + \par + The code for creating the corresponding problem object is the following: + \code + Variable x(0); + Variable y(1); + Variable p(2); + Variable M(3); + Variables_Set params(p, M); + Constraint_System cs; + cs.insert(y - M >= -2*x + 2*M - 4); + cs.insert(2*y - 2*M <= x - M + 2*p); + PIP_Problem pip(cs.space_dimension(), cs.begin(), cs.end(), params); + pip.set_big_parameter_dimension(3); // M is the big parameter + \endcode + \par + Solving the problem provides the following solution: + \verbatim + Parameter E = (2*C + 3) div 5 + {D - E - 1 ; D + 2*E - 2} + \endverbatim + Under the notations above, the solution is: + \f[ \left\{\begin{array}{l} + x'=M-\left\lfloor\frac{2p+3}{5}\right\rfloor-1\\ + y'=M+2\left\lfloor\frac{2p+3}{5}\right\rfloor-2 + \end{array}\right. + \f] + \par + Performing substitution again provides us with the values of the original + variables: + \f[ \left\{\begin{array}{l} + x=\left\lfloor\frac{2p+3}{5}\right\rfloor-1\\ + y=2\left\lfloor\frac{2p+3}{5}\right\rfloor-2 + \end{array}\right. + \f] + + \par Allowing parameters to be arbitrarily signed + You can consider a parameter \f$p\f$ arbitrarily signed by replacing + \f$p\f$ with \f$p^+-p^-\f$, where both \f$p^+\f$ and \f$p^-\f$ are + positive parameters. To represent a set of arbitrarily signed parameters, + replace each parameter \f$p_i\f$ with \f$p^+_i-p^-\f$, where \f$-p^-\f$ is + the minimum negative value of all parameters. + \par Minimizing a linear cost function Lexicographic solving can be used to find the parametric minimum of a linear cost function.

1 0