February 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Ignore *.lzma.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: master Commit: 8ca3aebcc9cb160df5cc985a1cd2cd79a744ccfd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca3aebcc9cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 19:46:29 2011 +0100 Ignore *.lzma. --- .gitignore | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/.gitignore b/.gitignore index c75901f..d6d2359 100644 --- a/.gitignore +++ b/.gitignore @@ -4,6 +4,7 @@ *.gz *.lo *.loT +*.lzma *.o *.zip *~

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 14 Feb '11

14 Feb '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c46cd9cf6f04… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 19:23:20 2011 +0100 Congruence: replace the copy constructor that specifies the size and the capacity with a copy constructor that specifies the space dimension. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=210bb2211c47… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 19:19:04 2011 +0100 Congruence: remove the copy constructor that takes a const Coefficient&. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c08a532b526… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 19:02:20 2011 +0100 Congruence: add a set_modulus() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10e7e1cfb689… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 18:19:23 2011 +0100 Congruence_System: simplify the concatenate() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=110065262853… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 18:15:46 2011 +0100 Congruence: add a shift_coefficients() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bf60507c014… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 18:06:13 2011 +0100 Congruence_System: avoid accessing a Congruence's coefficients directly (#3). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a16342beabf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 18:05:27 2011 +0100 Congruence: add the add_space_dimensions(), remove_space_dimensions() and set_space_dimension() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=892e482e6910… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 17:48:27 2011 +0100 Scalar_products: avoid accessing a Congruence's coefficients directly. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f6b77e45cb5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 17:45:42 2011 +0100 Linear_Expression: avoid accessing a Congruence's coefficients directly. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25dd0c1a8aef… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 17:43:49 2011 +0100 Congruence_System: avoid accessing a Congruence's coefficients directly (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3027c664cdaa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 17:37:41 2011 +0100 Congruence_System: avoid accessing a Congruence's coefficients directly (#1). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cccc923e6390… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 17:37:16 2011 +0100 Congruence: add a set_coefficient() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68e8b4b61be2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 17:29:02 2011 +0100 Congruence_System: use Congruence::max_space_dimension() to implement max_space_dimension(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94f12a968de9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 17:26:23 2011 +0100 Congruence_System: remove the second argument of the add_rows() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae1754151719… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 17:17:17 2011 +0100 Constraint: avoid using Congruence::operator[] (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4aca73068306… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 17:15:10 2011 +0100 Constraint: avoid using Congruence::operator[] (#1). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8258c0fb5cd2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 15:14:20 2011 +0100 Congruence_System is now implemented with a vector of Congruence instead of a vector of Dense_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9067f74d64f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 15:13:06 2011 +0100 Congruience: add a default constructor and a two-argument swap() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9aa4821e0067… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 14:08:23 2011 +0100 Polyhedron: don't assume that Generator_System, Constraint_System, Grid_Generator_System inherit from Linear_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05f40e33acf9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 11:19:20 2011 +0100 Congruence_System: replace inheritance with containment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa9b82703332… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 11:07:05 2011 +0100 Congruence_System: remove all friend declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f6c09f179f1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 10:50:59 2011 +0100 Congruence_System: derive from Swapping_Vector<Dense_Row> instead of Matrix<Dense_Row>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac087e9717c5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 09:24:40 2011 +0100 Constraint: inherit from Linear_Row with the 'public' specifier and remove most friend declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d5cbc6b24b8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 09:03:26 2011 +0100 Congruence: inherit from Dense_Row with the 'public' specifier and remove all friend declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3689ffe7c683… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 08:43:50 2011 +0100 Grid_Generator: inherit from Linear_Row with the 'public' specifier and remove most friend declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb49c8a27660… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 9 08:42:48 2011 +0100 Linear_System: there's no need to include Row.defs.hh anymore.

1 0

[GIT] ppl/ppl(master): PIP_Tree: avoid repeated calls to Sparse_Row::get(), in solve().
by Marco Poletti 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: master Commit: 24b68b1c48e4552f1085d9a04979e610c8ca79ca URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24b68b1c48e4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 14 19:45:34 2011 +0100 PIP_Tree: avoid repeated calls to Sparse_Row::get(), in solve(). --- src/PIP_Tree.cc | 9 ++++++--- 1 files changed, 6 insertions(+), 3 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 58fc66b..2660877 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -2643,20 +2643,23 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, for (dimension_type i = num_rows; i-- > 0; ) { Row& s_i = tableau.s[i]; Row& t_i = tableau.t[i]; + Coefficient s_i_pj = s_i.get(pj); Row::iterator k = t_i.end(); for (Row::const_iterator j = t_pivot.begin(), j_end = t_pivot.end(); j != j_end; ++j) { Coefficient_traits::const_reference t_pivot_j = *j; // Do nothing if the j-th pivot element is zero. if (t_pivot_j != 0) { - /* NOTE: s_i[pj] needs to be recomputed at each iteration, - as it may have been modified by tableau.scale(). */ - product = t_pivot_j * s_i.get(pj); + product = t_pivot_j * s_i_pj; if (product % s_pivot_pj != 0) { // Must scale matrix to stay in integer case. gcd_assign(gcd, product, s_pivot_pj); exact_div_assign(scale_factor, s_pivot_pj, gcd); tableau.scale(scale_factor); + // s_i[pj] has been modified by scale(), so s_i_pj must be + // updated. + s_i_pj *= scale_factor; + PPL_ASSERT(s_i.get(pj) == s_i_pj); product *= scale_factor; } PPL_ASSERT(product % s_pivot_pj == 0);

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Ignore *.lzma.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: aab5b5b8f7415e82ad6bc87a2c022890957ad601 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aab5b5b8f741… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 19:44:55 2011 +0100 Ignore *.lzma. --- .gitignore | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/.gitignore b/.gitignore index c75901f..d6d2359 100644 --- a/.gitignore +++ b/.gitignore @@ -4,6 +4,7 @@ *.gz *.lo *.loT +*.lzma *.o *.zip *~

1 0

[GIT] ppl/ppl(master): Corrected a (checked-integer related) problem in PIP_Solution_Tree::solve().
by Enea Zaffanella 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: master Commit: 215c270204d965b2baa0463ebdb62f2f88f575f0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=215c270204d9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 14 19:14:13 2011 +0100 Corrected a (checked-integer related) problem in PIP_Solution_Tree::solve(). Updated expected results for 32-bits checked integers: ppl_pips test lineri.dat no longer overflows. --- demos/ppl_pips/expected_int32 | 2 +- demos/ppl_pips/expected_int32_a | 2 +- src/PIP_Tree.cc | 5 +++-- 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/demos/ppl_pips/expected_int32 b/demos/ppl_pips/expected_int32 index d3581a3..cb13f0d 100644 --- a/demos/ppl_pips/expected_int32 +++ b/demos/ppl_pips/expected_int32 @@ -1,6 +1,6 @@ invert.dat 89eb267478eb8675de9602be9bb92f9e - linear.dat 1f73e09130d92979eb4388cbbab7f389 - -lineri.dat d41d8cd98f00b204e9800998ecf8427e - +lineri.dat 7b21035f6f07e68b8c0e2893a649f0ef - loz.dat 558273607bb0eec59c713980a8722ac8 - max.dat 2c3f32340ed2ea04d070dd311e9ca188 - maxb.dat bc9d718f581cd7da4bbd7f0293749315 - diff --git a/demos/ppl_pips/expected_int32_a b/demos/ppl_pips/expected_int32_a index d3581a3..cb13f0d 100644 --- a/demos/ppl_pips/expected_int32_a +++ b/demos/ppl_pips/expected_int32_a @@ -1,6 +1,6 @@ invert.dat 89eb267478eb8675de9602be9bb92f9e - linear.dat 1f73e09130d92979eb4388cbbab7f389 - -lineri.dat d41d8cd98f00b204e9800998ecf8427e - +lineri.dat 7b21035f6f07e68b8c0e2893a649f0ef - loz.dat 558273607bb0eec59c713980a8722ac8 - max.dat 2c3f32340ed2ea04d070dd311e9ca188 - maxb.dat bc9d718f581cd7da4bbd7f0293749315 - diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index f6ff537..58fc66b 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -2643,14 +2643,15 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, for (dimension_type i = num_rows; i-- > 0; ) { Row& s_i = tableau.s[i]; Row& t_i = tableau.t[i]; - Coefficient_traits::const_reference s_i_pj = s_i.get(pj); Row::iterator k = t_i.end(); for (Row::const_iterator j = t_pivot.begin(), j_end = t_pivot.end(); j != j_end; ++j) { Coefficient_traits::const_reference t_pivot_j = *j; // Do nothing if the j-th pivot element is zero. if (t_pivot_j != 0) { - product = t_pivot_j * s_i_pj; + /* NOTE: s_i[pj] needs to be recomputed at each iteration, + as it may have been modified by tableau.scale(). */ + product = t_pivot_j * s_i.get(pj); if (product % s_pivot_pj != 0) { // Must scale matrix to stay in integer case. gcd_assign(gcd, product, s_pivot_pj);

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Updated.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 75e1aefe7cedbec6e84bb77633efff70a2c9066b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75e1aefe7ced… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 19:11:05 2011 +0100 Updated. --- Watchdog/tests/.gitignore | 2 +- interfaces/C/tests/.gitignore | 3 + interfaces/Java/parma_polyhedra_library/.gitignore | 1 + interfaces/Prolog/GNU/.gitignore | 6 +++ tests/Grid/.gitignore | 13 +++-- tests/PIP_Problem/.gitignore | 5 ++ tests/Partially_Reduced_Product/.gitignore | 48 +++++++++++++++++++- tests/Polyhedron/.gitignore | 11 +++++ 8 files changed, 81 insertions(+), 8 deletions(-) diff --git a/Watchdog/tests/.gitignore b/Watchdog/tests/.gitignore index e2464cd..a8f4dc8 100644 --- a/Watchdog/tests/.gitignore +++ b/Watchdog/tests/.gitignore @@ -1 +1 @@ -simple1 +watchdog1 diff --git a/interfaces/C/tests/.gitignore b/interfaces/C/tests/.gitignore index 77d1bf7..111b565 100644 --- a/interfaces/C/tests/.gitignore +++ b/interfaces/C/tests/.gitignore @@ -1 +1,4 @@ formatted_output +pip_test +watchdog1 +weightwatch1 diff --git a/interfaces/Java/parma_polyhedra_library/.gitignore b/interfaces/Java/parma_polyhedra_library/.gitignore index 911439a..a463a5a 100644 --- a/interfaces/Java/parma_polyhedra_library/.gitignore +++ b/interfaces/Java/parma_polyhedra_library/.gitignore @@ -17,4 +17,5 @@ Pointset_Powerset_C_Polyhedron_Iterator.java Pointset_Powerset_NNC_Polyhedron.java Pointset_Powerset_NNC_Polyhedron_Iterator.java Polyhedron.java +Termination.java parma_polyhedra_library_*.h diff --git a/interfaces/Prolog/GNU/.gitignore b/interfaces/Prolog/GNU/.gitignore index 0da092d..f72a790 100644 --- a/interfaces/Prolog/GNU/.gitignore +++ b/interfaces/Prolog/GNU/.gitignore @@ -6,5 +6,11 @@ gp_clpq2 obtained obtained2 obtained3 +obtained_clpq +obtained_clpq2 +obtained_pchk +obtained_pgt ppl_gprolog ppl_gprolog.pl +script_pchk +script_pgt diff --git a/tests/Grid/.gitignore b/tests/Grid/.gitignore index fac9ecf..bda519e 100644 --- a/tests/Grid/.gitignore +++ b/tests/Grid/.gitignore @@ -10,6 +10,7 @@ affineimage1 affineimage2 affinepreimage1 affinepreimage2 +approximatepartition1 ascii_dump_load1.dat ascii_dump_load2.dat ascii_dump_load3.dat @@ -42,10 +43,13 @@ coveringbox1 coveringbox2 discrete1 disjoint1 +dropnonintegerpoints1 equals1 expandspacedim1 foldspacedims1 +frequency1 frombdshape1 +frombox1 fromgrid1 fromoctagonalshape1 frompolyhedron1 @@ -90,16 +94,15 @@ relations2 relations3 removespacedims1 removespacedims2 +simplifyusingcontext1 timeelapse1 topclosed1 topclosure1 unconstrain1 +upperbound1 +upperbound2 widening1 widening2 widening3 +wrap1 writecongruencesystem -approximatepartition1 -frombox1 -simplifyusingcontext1 -upperbound1 -upperbound2 diff --git a/tests/PIP_Problem/.gitignore b/tests/PIP_Problem/.gitignore index b331d16..f8d9fc4 100644 --- a/tests/PIP_Problem/.gitignore +++ b/tests/PIP_Problem/.gitignore @@ -1 +1,6 @@ +ascii_dump_load1 +ascii_dump_load1.dat +exceptions1 pipproblem1 +pipproblem2 +pipproblem3 diff --git a/tests/Partially_Reduced_Product/.gitignore b/tests/Partially_Reduced_Product/.gitignore index dda0c1f..75078a9 100644 --- a/tests/Partially_Reduced_Product/.gitignore +++ b/tests/Partially_Reduced_Product/.gitignore @@ -1,12 +1,56 @@ +addcongruences1 +affineimage1 +ascii_dump_load1.dat +asciidumpload1 +bounded1 +boundedaffineimage1 +bounds1 +concatenate1 +congruences1 +congruencesproduct1 +constraints1 +constraintsproduct1 +contains1 +difference1 +dimension1 directproduct1 directproduct2 directproduct3 directproduct4 directproduct5 directproduct6 +discrete1 +disjoint1 +dropsomenonintegerpoints1 +equals1 +frombdshape1 +frombox1 +fromgrid1 +fromoctagonalshape1 +frompolyhedron1 +fromproduct1 +generalizedaffineimage1 +intersection1 +isempty1 +isuniverse1 +maxmin1 partiallyreducedproduct1 partiallyreducedproduct2 partiallyreducedproduct3 partiallyreducedproduct4 -ascii_dump_load1.dat -asciidumpload1 +refinewithcongruences1 +refinewithconstraints1 +relations1 +reverse_congruences1 +reverse_congruencesproduct1 +reverse_constraints1 +reverse_constraintsproduct1 +reverse_directproduct1 +reverse_shapepreservingproduct1 +shapepreservingproduct1 +smashproduct1 +spacedims1 +timeelapse1 +topclosed1 +topclosure1 +upperbound1 diff --git a/tests/Polyhedron/.gitignore b/tests/Polyhedron/.gitignore index 8d3c40b..49585e4 100644 --- a/tests/Polyhedron/.gitignore +++ b/tests/Polyhedron/.gitignore @@ -41,8 +41,12 @@ constraints1 contains1 contains2 containsintegerpoint1 +densematrix1 +densematrix1.dat disjoint1 disjoint2 +dropsomenonintegerpoints1 +dropsomenonintegerpoints2 dualhypercubes empty1 equals1 @@ -53,6 +57,7 @@ expandspacedim1 expandspacedim2 foldspacedims1 foldspacedims2 +frequency1 frombdshape1 frombox1 frombox2 @@ -117,6 +122,7 @@ nnc_constraints1 nnc_contains1 nnc_containsintegerpoint1 nnc_disjoint1 +nnc_dropsomenonintegerpoints1 nnc_empty1 nnc_equals1 nnc_exceptions1 @@ -157,6 +163,7 @@ nnc_timeelapse1 nnc_unconstrain1 nnc_universe1 nnc_wrap1 +nnc_wrap2 nnc_writepolyhedron1 nncminimize1 nncminimize2 @@ -181,6 +188,8 @@ removespacedims1 removespacedims2 simplifyusingcontext1 smm1 +termination1 +termination2 timeelapse1 timeelapse2 topclosed1 @@ -190,7 +199,9 @@ universe1 universe2 variablesset1 watchdog1 +weightwatch1 wrap1 +wrap2 writeconsys1 writegensys1 writepolyhedron1

1 0

[GIT] ppl/w3ppl(master): List the known bugs of PPL 0.11.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/w3ppl Branch: master Commit: e0213a54d18b44e19135db9e1461131a4601b6f4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=e0213a54d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 17:48:48 2011 +0100 List the known bugs of PPL 0.11. --- htdocs/Bugs/Bugs.raw | 133 +++++++++++++++++++++++++++++++++++++++++--------- 1 files changed, 110 insertions(+), 23 deletions(-) diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw index 727d624..92e35dd 100644 --- a/htdocs/Bugs/Bugs.raw +++ b/htdocs/Bugs/Bugs.raw @@ -30,14 +30,7 @@ to read <A HREF="http://www.chiark.greenend.org.uk/~sgtatham/bugs.html">How to Report Bugs Effectively</A>, by Simon Tatham. -<H2>Known Bugs in PPL @PPL_VERSION@</H2> - -There are no known bugs in PPL @PPL_VERSION@. -We will list here all the bugs we will find. -There is also an <A HREF="archive">archive</A> of all known bugs -affecting various releases of the PPL. - -

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Copyright notices updated.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 3728ab4ef794861491adf5e9054774ffea01aaf2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3728ab4ef794… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 13:01:50 2011 +0100 Copyright notices updated. --- interfaces/Prolog/tests/clpq.pl | 1 + interfaces/Prolog/tests/clpq2.pl | 1 + 2 files changed, 2 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/tests/clpq.pl b/interfaces/Prolog/tests/clpq.pl index cd87cd7..b798804 100644 --- a/interfaces/Prolog/tests/clpq.pl +++ b/interfaces/Prolog/tests/clpq.pl @@ -795,6 +795,7 @@ POSSIBILITY OF SUCH DAMAGES.\n'). common_main :- write('\ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>\n\ +Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)\n\ this program is free software, covered by the GNU General Public License,\n\ and you are welcome to change it and/or distribute copies of it\n\ under certain conditions.\n\ diff --git a/interfaces/Prolog/tests/clpq2.pl b/interfaces/Prolog/tests/clpq2.pl index 6349949..250ad1a 100644 --- a/interfaces/Prolog/tests/clpq2.pl +++ b/interfaces/Prolog/tests/clpq2.pl @@ -1116,6 +1116,7 @@ POSSIBILITY OF SUCH DAMAGES.\n'). common_main :- write('\ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>\n\ +Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)\n\ this program is free software, covered by the GNU General Public License,\n\ and you are welcome to change it and/or distribute copies of it\n\ under certain conditions.\n\

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Fixed a number of wrong conditionals.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 1f57b3d49ee82ed2f03292a427eac64353ec0e14 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f57b3d49ee8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 16:45:57 2011 +0100 Fixed a number of wrong conditionals. --- interfaces/Prolog/Ciao/Makefile.am | 8 ++------ interfaces/Prolog/GNU/Makefile.am | 12 ++++++------ interfaces/Prolog/SICStus/Makefile.am | 20 ++++++-------------- interfaces/Prolog/SWI/Makefile.am | 24 ++++++++---------------- interfaces/Prolog/XSB/Makefile.am | 10 +++------- interfaces/Prolog/YAP/Makefile.am | 10 +++++----- 6 files changed, 30 insertions(+), 54 deletions(-) diff --git a/interfaces/Prolog/Ciao/Makefile.am b/interfaces/Prolog/Ciao/Makefile.am index ec2c121..50ff920 100644 --- a/interfaces/Prolog/Ciao/Makefile.am +++ b/interfaces/Prolog/Ciao/Makefile.am @@ -225,14 +225,10 @@ ciao_clpq2: .libs/libppl_ciao.so ppl_ciao.po ciao_clpq.pl ../tests/clpq2.pl | ci ciao_prolog_generated_test: .libs/libppl_ciao.so ppl_ciao.po ciao_prolog_generated_test.pl ../tests/ppl_prolog_generated_test_main.pl | ciao_pl_check - if [ $(srcdir) != `pwd` ]; then \ - cp -f $(srcdir)/../tests/ppl_prolog_generated_test_common.pl .; \ - fi + cp -f $(srcdir)/../tests/ppl_prolog_generated_test_common.pl . cp -f ../tests/ppl_prolog_generated_test_main.pl . ciaoc -o $@ ciao_prolog_generated_test.pl - if [ $(srcdir) != `pwd` ]; then \ - rm -f ppl_prolog_generated_test_common.pl; \ - fi + rm -f ppl_prolog_generated_test_common.pl rm -f ppl_prolog_generated_test_main.pl CLPQ_TESTS_NONSTRICT = \ diff --git a/interfaces/Prolog/GNU/Makefile.am b/interfaces/Prolog/GNU/Makefile.am index c772687..f0ebf97 100644 --- a/interfaces/Prolog/GNU/Makefile.am +++ b/interfaces/Prolog/GNU/Makefile.am @@ -282,11 +282,11 @@ clpq2_test: gp_clpq2 ../tests/script_clpq2 $(EXPECTED_CLPQ2) $(CLPQ_TESTS) diff -u --ignore-all-space $(EXPECTED_CLPQ2) obtained_clpq2 ppl_prolog_generated_test: gnu_prolog_generated_test.pl ../tests/ppl_prolog_generated_test_main.pl ../tests/expected_pgt - if [ $(srcdir) != `pwd` ]; then \ - cp -f $(srcdir)/../tests/ppl_prolog_generated_test_common.pl . ; \ + cp -f $(srcdir)/../tests/ppl_prolog_generated_test_common.pl . + if [ $(abs_srcdir) != `pwd` ]; then \ cp -f $(srcdir)/gnu_prolog_generated_test.pl . ; \ fi - cp -f ../tests/ppl_prolog_generated_test_main.pl . ; \ + cp -f ../tests/ppl_prolog_generated_test_main.pl . echo "['ppl_prolog_generated_test_main.pl', 'gnu_prolog_generated_test.pl']." \ >script_pgt echo "main." >>script_pgt @@ -295,11 +295,11 @@ ppl_prolog_generated_test: gnu_prolog_generated_test.pl ../tests/ppl_prolog_gen $(WATCHDOG_DLOPEN) \ -dlopen libppl_gprolog.la \ ./ppl_gprolog <script_pgt - if [ $(srcdir) != `pwd` ]; then \ - rm -f ppl_prolog_generated_test_common.pl; \ + rm -f ppl_prolog_generated_test_common.pl + if [ $(abs_srcdir) != `pwd` ]; then \ rm -f gnu_prolog_generated_test.pl; \ fi - rm -f ppl_prolog_generated_test_main.pl; \ + rm -f ppl_prolog_generated_test_main.pl diff -u --ignore-all-space $(srcdir)/../tests/expected_pgt obtained_pgt CLEANFILES = \ diff --git a/interfaces/Prolog/SICStus/Makefile.am b/interfaces/Prolog/SICStus/Makefile.am index b4d7146..b8e0f57 100644 --- a/interfaces/Prolog/SICStus/Makefile.am +++ b/interfaces/Prolog/SICStus/Makefile.am @@ -263,18 +263,14 @@ endif !ASSERTIONS_ENABLED check-local: pl_check_test clpq_test clpq2_test ppl_prolog_generated_test pl_check_test: ppl_sicstus ppl_sicstus.pl sp_pl_check.pl ../tests/pl_check.pl $(EXPECTED_PCHK) - if [ $(srcdir) != `pwd` ]; then \ - cp -f $(srcdir)/../tests/pl_check.pl . ;\ - fi + cp -f $(srcdir)/../tests/pl_check.pl . $(LIBTOOL) --mode=execute \ -dlopen ../../../src/libppl.la \ $(WATCHDOG_DLOPEN) \ ./ppl_sicstus -l $(srcdir)/sp_pl_check.pl \ --goal "main." \ >obtained_pchk - if [ $(srcdir) != `pwd` ]; then \ - rm -f pl_check.pl ;\ - fi + rm -f pl_check.pl diff -u --ignore-all-space $(EXPECTED_PCHK) obtained_pchk $(CLPQ_TESTS): @@ -303,20 +299,16 @@ clpq2_test: ppl_sicstus ppl_sicstus.pl sp_clpq.pl ../tests/clpq2.pl ../tests/scr diff -u --ignore-all-space $(EXPECTED_CLPQ2) obtained_clpq2 ppl_prolog_generated_test: ppl_sicstus ppl_sicstus.pl sp_prolog_generated_test.pl ../tests/ppl_prolog_generated_test_main.pl ../tests/expected_pgt - if [ $(srcdir) != `pwd` ]; then \ - cp -f $(srcdir)/../tests/ppl_prolog_generated_test_common.pl . ; \ - fi - cp -f ../tests/ppl_prolog_generated_test_main.pl . ; \ + cp -f $(srcdir)/../tests/ppl_prolog_generated_test_common.pl . + cp -f ../tests/ppl_prolog_generated_test_main.pl . $(LIBTOOL) --mode=execute \ -dlopen ../../../src/libppl.la \ $(WATCHDOG_DLOPEN) \ ./ppl_sicstus -l $(srcdir)/sp_prolog_generated_test.pl \ --goal "main." \ >obtained_pgt - if [ $(srcdir) != `pwd` ]; then \ - rm -f ppl_prolog_generated_test_common.pl; \ - fi - rm -f ppl_prolog_generated_test_main.pl; \ + rm -f ppl_prolog_generated_test_common.pl + rm -f ppl_prolog_generated_test_main.pl diff -u --ignore-all-space $(srcdir)/../tests/expected_pgt obtained_pgt CLEANFILES = \ diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 078fac0..dfebe4d 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -276,18 +276,14 @@ endif !ASSERTIONS_ENABLED check-local: pl_check_test clpq_test clpq2_test ppl_prolog_generated_test pl_check_test: swi_pl_check.pl ../tests/pl_check.pl $(EXPECTED_PCHK) - if [ $(srcdir) != `pwd` ]; then \ - cp -f $(srcdir)/../tests/pl_check.pl . ; \ - fi ;\ - echo "ensure_loaded('$(srcdir)/swi_pl_check'). main." > script_pchk + cp -f $(srcdir)/../tests/pl_check.pl . + echo "ensure_loaded('$(srcdir)/swi_pl_check'). main." > script_pchk $(LIBTOOL) --mode=execute \ -dlopen ../../../src/libppl.la \ $(WATCHDOG_DLOPEN) \ -dlopen libppl_swiprolog.la \ $(CHECKER) ./ppl_pl < script_pchk - if [ $(srcdir) != `pwd` ]; then \ - rm -f pl_check.pl; \ - fi + rm -f pl_check.pl diff -u --ignore-all-space $(EXPECTED_PCHK) obtained_pchk $(CLPQ_TESTS): @@ -310,20 +306,16 @@ clpq2_test: pl_clpq2 ../tests/script_clpq2 $(EXPECTED_CLPQ2) $(CLPQ_TESTS) diff -u --ignore-all-space $(EXPECTED_CLPQ2) obtained_clpq2 ppl_prolog_generated_test: swi_prolog_generated_test.pl ../tests/ppl_prolog_generated_test_main.pl ../tests/ppl_prolog_generated_test_common.pl ../tests/expected_pgt - if [ $(srcdir) != `pwd` ]; then \ - cp -f $(srcdir)/../tests/ppl_prolog_generated_test_common.pl . ; \ - fi - cp -f ../tests/ppl_prolog_generated_test_main.pl . ; \ - echo "ensure_loaded('$(srcdir)/swi_prolog_generated_test'). main." > script_pgt + cp -f $(srcdir)/../tests/ppl_prolog_generated_test_common.pl . + cp -f ../tests/ppl_prolog_generated_test_main.pl . + echo "ensure_loaded('$(srcdir)/swi_prolog_generated_test'). main." > script_pgt $(LIBTOOL) --mode=execute \ -dlopen ../../../src/libppl.la \ $(WATCHDOG_DLOPEN) \ -dlopen libppl_swiprolog.la \ $(CHECKER) ./ppl_pl <script_pgt - if [ $(srcdir) != `pwd` ]; then \ - rm -f ppl_prolog_generated_test_common.pl; \ - fi - rm -f ppl_prolog_generated_test_main.pl; \ + rm -f ppl_prolog_generated_test_common.pl + rm -f ppl_prolog_generated_test_main.pl diff -u --ignore-all-space $(srcdir)/../tests/expected_pgt obtained_pgt CLEANFILES = \ diff --git a/interfaces/Prolog/XSB/Makefile.am b/interfaces/Prolog/XSB/Makefile.am index d5bff8b..4db977c 100644 --- a/interfaces/Prolog/XSB/Makefile.am +++ b/interfaces/Prolog/XSB/Makefile.am @@ -286,9 +286,7 @@ pl_check_test: libppl_xsb.la ppl_xsb.xwam xsb_pl_check.P ../tests/pl_check.pl diff -u --ignore-all-space $(EXPECTED_PCHK) obtained_pchk ppl_prolog_generated_test: libppl_xsb.la ppl_xsb.xwam xsb_prolog_generated_test.P ../tests/ppl_prolog_generated_test_main.pl ../tests/expected_pgt - if [ $(srcdir) != `pwd` ]; then \ - cp -f $(srcdir)/../tests/ppl_prolog_generated_test_common.pl . ; \ - fi + cp -f $(srcdir)/../tests/ppl_prolog_generated_test_common.pl . cp -f ../tests/ppl_prolog_generated_test_main.pl . rm -f xsb_prolog_generated_test.xwam $(LIBTOOL) --mode=execute \ @@ -296,10 +294,8 @@ ppl_prolog_generated_test: libppl_xsb.la ppl_xsb.xwam xsb_prolog_generated_test. $(WATCHDOG_DLOPEN) \ xsb xsb_prolog_generated_test \ >obtained_pgt - if [ $(srcdir) != `pwd` ]; then \ - rm -f ppl_prolog_generated_test_common.pl ; \ - fi - rm -f ppl_prolog_generated_test_main.pl ; \ + rm -f ppl_prolog_generated_test_common.pl + rm -f ppl_prolog_generated_test_main.pl diff -u --ignore-all-space $(srcdir)/../tests/expected_pgt obtained_pgt diff --git a/interfaces/Prolog/YAP/Makefile.am b/interfaces/Prolog/YAP/Makefile.am index dd133ce..c71adac 100644 --- a/interfaces/Prolog/YAP/Makefile.am +++ b/interfaces/Prolog/YAP/Makefile.am @@ -249,8 +249,8 @@ clpq2_test: yap_clpq2.pl ppl_yap.pl ../tests/clpq2.pl ../tests/script_clpq2 $(EX diff -u --ignore-all-space $(EXPECTED_CLPQ2) obtained_clpq2 ppl_prolog_generated_test: yap_prolog_generated_test.pl ppl_yap.pl ../tests/expected_pgt - if [ $(srcdir) != `pwd` ]; then \ - cp -f $(srcdir)/../tests/ppl_prolog_generated_test_common.pl . ; \ + cp -f $(srcdir)/../tests/ppl_prolog_generated_test_common.pl . + if [ $(abs_srcdir) != `pwd` ]; then \ cp -f $(srcdir)/yap_prolog_generated_test.pl . ; \ cp -f $(srcdir)/ppl_yap.pl . ; \ fi @@ -262,12 +262,12 @@ ppl_prolog_generated_test: yap_prolog_generated_test.pl ppl_yap.pl ../tests/exp -dlopen ppl_yap.la \ $(YAP_PROLOG) -l yap_prolog_generated_test.pl \ <script_pgt >obtained_pgt - if [ $(srcdir) != `pwd` ]; then \ - rm -f ppl_prolog_generated_test_common.pl; \ + rm -f ppl_prolog_generated_test_common.pl + if [ $(abs_srcdir) != `pwd` ]; then \ rm -f yap_prolog_generated_test.pl; \ rm -f ppl_yap.pl; \ fi - rm -f ppl_prolog_generated_test_main.pl; \ + rm -f ppl_prolog_generated_test_main.pl diff -u --ignore-all-space $(srcdir)/../tests/expected_pgt obtained_pgt endif ENABLE_SHARED

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: master Commit: 41c580634b7e90d73fa8d7629fb353d9bf103faa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41c580634b7e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 16:56:35 2011 +0100 Updated. --- Watchdog/tests/.gitignore | 2 +- interfaces/C/tests/.gitignore | 3 + interfaces/Java/parma_polyhedra_library/.gitignore | 1 + interfaces/Prolog/GNU/.gitignore | 6 +++ tests/Grid/.gitignore | 3 + tests/PIP_Problem/.gitignore | 5 ++ tests/Partially_Reduced_Product/.gitignore | 48 +++++++++++++++++++- tests/Polyhedron/.gitignore | 11 +++++ tests/Sparse_Matrix/.gitignore | 2 + 9 files changed, 78 insertions(+), 3 deletions(-) diff --git a/Watchdog/tests/.gitignore b/Watchdog/tests/.gitignore index e2464cd..a8f4dc8 100644 --- a/Watchdog/tests/.gitignore +++ b/Watchdog/tests/.gitignore @@ -1 +1 @@ -simple1 +watchdog1 diff --git a/interfaces/C/tests/.gitignore b/interfaces/C/tests/.gitignore index 77d1bf7..111b565 100644 --- a/interfaces/C/tests/.gitignore +++ b/interfaces/C/tests/.gitignore @@ -1 +1,4 @@ formatted_output +pip_test +watchdog1 +weightwatch1 diff --git a/interfaces/Java/parma_polyhedra_library/.gitignore b/interfaces/Java/parma_polyhedra_library/.gitignore index 911439a..a463a5a 100644 --- a/interfaces/Java/parma_polyhedra_library/.gitignore +++ b/interfaces/Java/parma_polyhedra_library/.gitignore @@ -17,4 +17,5 @@ Pointset_Powerset_C_Polyhedron_Iterator.java Pointset_Powerset_NNC_Polyhedron.java Pointset_Powerset_NNC_Polyhedron_Iterator.java Polyhedron.java +Termination.java parma_polyhedra_library_*.h diff --git a/interfaces/Prolog/GNU/.gitignore b/interfaces/Prolog/GNU/.gitignore index 0da092d..f72a790 100644 --- a/interfaces/Prolog/GNU/.gitignore +++ b/interfaces/Prolog/GNU/.gitignore @@ -6,5 +6,11 @@ gp_clpq2 obtained obtained2 obtained3 +obtained_clpq +obtained_clpq2 +obtained_pchk +obtained_pgt ppl_gprolog ppl_gprolog.pl +script_pchk +script_pgt diff --git a/tests/Grid/.gitignore b/tests/Grid/.gitignore index fac9ecf..9206ae5 100644 --- a/tests/Grid/.gitignore +++ b/tests/Grid/.gitignore @@ -42,9 +42,11 @@ coveringbox1 coveringbox2 discrete1 disjoint1 +dropnonintegerpoints1 equals1 expandspacedim1 foldspacedims1 +frequency1 frombdshape1 fromgrid1 fromoctagonalshape1 @@ -97,6 +99,7 @@ unconstrain1 widening1 widening2 widening3 +wrap1 writecongruencesystem approximatepartition1 frombox1 diff --git a/tests/PIP_Problem/.gitignore b/tests/PIP_Problem/.gitignore index b331d16..f8d9fc4 100644 --- a/tests/PIP_Problem/.gitignore +++ b/tests/PIP_Problem/.gitignore @@ -1 +1,6 @@ +ascii_dump_load1 +ascii_dump_load1.dat +exceptions1 pipproblem1 +pipproblem2 +pipproblem3 diff --git a/tests/Partially_Reduced_Product/.gitignore b/tests/Partially_Reduced_Product/.gitignore index dda0c1f..75078a9 100644 --- a/tests/Partially_Reduced_Product/.gitignore +++ b/tests/Partially_Reduced_Product/.gitignore @@ -1,12 +1,56 @@ +addcongruences1 +affineimage1 +ascii_dump_load1.dat +asciidumpload1 +bounded1 +boundedaffineimage1 +bounds1 +concatenate1 +congruences1 +congruencesproduct1 +constraints1 +constraintsproduct1 +contains1 +difference1 +dimension1 directproduct1 directproduct2 directproduct3 directproduct4 directproduct5 directproduct6 +discrete1 +disjoint1 +dropsomenonintegerpoints1 +equals1 +frombdshape1 +frombox1 +fromgrid1 +fromoctagonalshape1 +frompolyhedron1 +fromproduct1 +generalizedaffineimage1 +intersection1 +isempty1 +isuniverse1 +maxmin1 partiallyreducedproduct1 partiallyreducedproduct2 partiallyreducedproduct3 partiallyreducedproduct4 -ascii_dump_load1.dat -asciidumpload1 +refinewithcongruences1 +refinewithconstraints1 +relations1 +reverse_congruences1 +reverse_congruencesproduct1 +reverse_constraints1 +reverse_constraintsproduct1 +reverse_directproduct1 +reverse_shapepreservingproduct1 +shapepreservingproduct1 +smashproduct1 +spacedims1 +timeelapse1 +topclosed1 +topclosure1 +upperbound1 diff --git a/tests/Polyhedron/.gitignore b/tests/Polyhedron/.gitignore index 8d3c40b..49585e4 100644 --- a/tests/Polyhedron/.gitignore +++ b/tests/Polyhedron/.gitignore @@ -41,8 +41,12 @@ constraints1 contains1 contains2 containsintegerpoint1 +densematrix1 +densematrix1.dat disjoint1 disjoint2 +dropsomenonintegerpoints1 +dropsomenonintegerpoints2 dualhypercubes empty1 equals1 @@ -53,6 +57,7 @@ expandspacedim1 expandspacedim2 foldspacedims1 foldspacedims2 +frequency1 frombdshape1 frombox1 frombox2 @@ -117,6 +122,7 @@ nnc_constraints1 nnc_contains1 nnc_containsintegerpoint1 nnc_disjoint1 +nnc_dropsomenonintegerpoints1 nnc_empty1 nnc_equals1 nnc_exceptions1 @@ -157,6 +163,7 @@ nnc_timeelapse1 nnc_unconstrain1 nnc_universe1 nnc_wrap1 +nnc_wrap2 nnc_writepolyhedron1 nncminimize1 nncminimize2 @@ -181,6 +188,8 @@ removespacedims1 removespacedims2 simplifyusingcontext1 smm1 +termination1 +termination2 timeelapse1 timeelapse2 topclosed1 @@ -190,7 +199,9 @@ universe1 universe2 variablesset1 watchdog1 +weightwatch1 wrap1 +wrap2 writeconsys1 writegensys1 writepolyhedron1 diff --git a/tests/Sparse_Matrix/.gitignore b/tests/Sparse_Matrix/.gitignore new file mode 100644 index 0000000..d64a759 --- /dev/null +++ b/tests/Sparse_Matrix/.gitignore @@ -0,0 +1,2 @@ +sparsematrix1 +sparserow1

1 0