April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Merge branch 'deprecated_0_11_removal'
by Roberto Bagnara 20 Apr '09

20 Apr '09

Module: ppl/ppl Branch: master Commit: 1038f1af5ecbe0a9ed6c7406160dd86a17a62d8d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1038f1af5ecb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 22:18:24 2009 +0200 Merge branch 'deprecated_0_11_removal' ---

1 0

[GIT] ppl/ppl(master): Removed tests for the deprecated *and_minimize() predicates.
by Patricia Hill 20 Apr '09

20 Apr '09

Module: ppl/ppl Branch: master Commit: 6d7e265c238bcc62cff25ded4f134882114d91d7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d7e265c238b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun Apr 19 20:42:46 2009 +0100 Removed tests for the deprecated *and_minimize() predicates. --- interfaces/Prolog/tests/pl_check.pl | 147 +------------------- ...face_generator_prolog_generated_test_pl_code.m4 | 113 --------------- 2 files changed, 3 insertions(+), 257 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=6d7e265c…

1 0

[GIT] ppl/ppl(master): Removed deprecated methods *and_minimize().
by Patricia Hill 20 Apr '09

20 Apr '09

Module: ppl/ppl Branch: master Commit: ee3078871418fbb8d3bc57c6fb0bbcd7ebdf00fe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee3078871418… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Apr 18 22:19:12 2009 +0100 Removed deprecated methods *and_minimize(). --- tests/Grid/addcongruence1.cc | 33 +----- tests/Grid/addcongruences1.cc | 199 ++++++++------------------------- tests/Grid/addconstraint1.cc | 42 +------- tests/Grid/addconstraints1.cc | 123 ++------------------- tests/Grid/addgenerator1.cc | 55 ++------- tests/Grid/addgenerators1.cc | 100 +++-------------- tests/Grid/affinedim1.cc | 14 +- tests/Grid/affineimage2.cc | 8 +- tests/Grid/bounded1.cc | 16 ++-- tests/Grid/bounds1.cc | 18 ++-- tests/Grid/certificate1.cc | 2 +- tests/Grid/congruences1.cc | 2 +- tests/Grid/containsintegerpoint1.cc | 10 +- tests/Grid/discrete1.cc | 14 +- tests/Grid/generators1.cc | 2 +- tests/Grid/grid1.cc | 92 ++++++++-------- tests/Grid/grid2.cc | 78 +++++++------- tests/Grid/intersection1.cc | 213 +---------------------------------- tests/Grid/maxmin1.cc | 18 ++-- tests/Grid/mingenerators1.cc | 2 +- tests/Grid/partition1.cc | 3 +- tests/Grid/removespacedims1.cc | 6 +- tests/Grid/removespacedims2.cc | 4 +- tests/Grid/simplifyusingcontext1.cc | 8 +- tests/Grid/topclosed1.cc | 14 +- 25 files changed, 245 insertions(+), 831 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ee307887…

1 0

[GIT] ppl/ppl(master): No longer use ppl_Polyhedron_add_constraints_and_minimize/2.
by Roberto Bagnara 20 Apr '09

20 Apr '09

Module: ppl/ppl Branch: master Commit: 089cc703e60fc5717f5651f7292d3b60f4f32918 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=089cc703e60f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 20:46:19 2009 +0200 No longer use ppl_Polyhedron_add_constraints_and_minimize/2. --- interfaces/Prolog/tests/clpq.pl | 6 ++++-- interfaces/Prolog/tests/clpq2.pl | 9 ++++++--- 2 files changed, 10 insertions(+), 5 deletions(-) diff --git a/interfaces/Prolog/tests/clpq.pl b/interfaces/Prolog/tests/clpq.pl index 5b6502a..0f5baa0 100644 --- a/interfaces/Prolog/tests/clpq.pl +++ b/interfaces/Prolog/tests/clpq.pl @@ -150,8 +150,10 @@ select_clause(Atom, Head, Body) :- % The constraints are solved by adding them into the polyhedron. solve_constraints(Constraints, Polyhedron) :- listize_constraints(Constraints, Constraints_List), - % Fails if `Polyhedron' becomes empty. - ppl_Polyhedron_add_constraints_and_minimize(Polyhedron, Constraints_List). + ppl_Polyhedron_add_constraints(Polyhedron, Constraints_List), + % Fail if `Polyhedron' became empty. + \+ ppl_Polyhedron_is_empty(Polyhedron). + listize_constraints(C, LC) :- listize_constraints(C, [], LC). diff --git a/interfaces/Prolog/tests/clpq2.pl b/interfaces/Prolog/tests/clpq2.pl index e506503..942c712 100644 --- a/interfaces/Prolog/tests/clpq2.pl +++ b/interfaces/Prolog/tests/clpq2.pl @@ -124,8 +124,10 @@ solve(_, { Constraints }, [Poly|Polys], [Poly|Polys]) :- % and check we do have constraints. constraints2list(Constraints, Constraints_List), - % Fails if `Poly' becomes empty. - ppl_Polyhedron_add_constraints_and_minimize(Poly, Constraints_List). + ppl_Polyhedron_add_constraints(Poly, Constraints_List), + + % Fail if `Poly' became empty. + \+ ppl_Polyhedron_is_empty(Poly). % Built-ins may be added here. @@ -167,7 +169,8 @@ solve(Topology, Atom, [Poly|Polys], Polys_Out) :- ppl_Polyhedron_add_space_dimensions_and_embed(Poly_Copy, Added_Dims), % First solve the parameter passing equations. - ppl_Polyhedron_add_constraints_and_minimize(Poly_Copy, Binding_Constraints), + ppl_Polyhedron_add_constraints(Poly_Copy, Binding_Constraints), + \+ ppl_Polyhedron_is_empty(Poly_Copy), % Then solve the body. solve(Topology, Body, [Poly_Copy, Poly|Polys], Polys_Soln_Out),

1 0

[GIT] ppl/ppl(master): More changes related to the removal of the *_and_minimize() methods.
by Roberto Bagnara 20 Apr '09

20 Apr '09

Module: ppl/ppl Branch: master Commit: ca295d6ed7b39cb13c96eff02786df923ab308dd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca295d6ed7b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 19:12:46 2009 +0200 More changes related to the removal of the *_and_minimize() methods. --- tests/BD_Shape/addconstraints1.cc | 10 ++-- tests/BD_Shape/concatenate1.cc | 4 +- tests/BD_Shape/congruences1.cc | 3 +- tests/BD_Shape/intersection1.cc | 6 +- tests/Octagonal_Shape/congruences1.cc | 52 +---------------------- tests/Octagonal_Shape/intersection1.cc | 72 +------------------------------- tests/Polyhedron/exceptions1.cc | 6 +- tests/Polyhedron/exceptions2.cc | 8 ++-- tests/Powerset/intersection1.cc | 2 +- 9 files changed, 23 insertions(+), 140 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ca295d6e…

1 0

[GIT] ppl/ppl(master): Tests adapted to check the "non-and_minimize" versions.
by Roberto Bagnara 20 Apr '09

20 Apr '09

Module: ppl/ppl Branch: master Commit: 3a9b293e53d065d58c2f0d7e2fbb6469f93effca URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a9b293e53d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 18:47:18 2009 +0200 Tests adapted to check the "non-and_minimize" versions. Several comments and one bug fixed in the process. --- tests/Polyhedron/addcongruence1.cc | 17 ++++++++------ tests/Polyhedron/addcongruences1.cc | 4 +- tests/Polyhedron/addconstraint1.cc | 5 +-- tests/Polyhedron/addconstraints1.cc | 33 ++++++++++++--------------- tests/Polyhedron/addconstraints2.cc | 6 ++-- tests/Polyhedron/addgenerator1.cc | 5 +-- tests/Polyhedron/addgenerators1.cc | 28 +++++++++++------------ tests/Polyhedron/addgenerators2.cc | 6 ++-- tests/Polyhedron/boundedaffineimage1.cc | 8 +++--- tests/Polyhedron/constrains1.cc | 2 +- tests/Polyhedron/constraints1.cc | 2 +- tests/Polyhedron/exceptions1.cc | 18 +++++++------- tests/Polyhedron/exceptions2.cc | 16 ++++++------ tests/Polyhedron/generators1.cc | 2 +- tests/Polyhedron/h79widening2.cc | 2 +- tests/Polyhedron/intersection1.cc | 37 +++++++++++++----------------- tests/Polyhedron/nncminimize1.cc | 6 ++-- tests/Polyhedron/randphull1.cc | 3 +- tests/Polyhedron/topclosed1.cc | 2 +- tests/Powerset/addconstraints1.cc | 14 ++--------- 20 files changed, 100 insertions(+), 116 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3a9b293e…

1 0

[GIT] ppl/ppl(master): Merge branch 'master' into deprecated_0_11_removal.
by Roberto Bagnara 20 Apr '09

20 Apr '09

Module: ppl/ppl Branch: master Commit: d6fcfd54c39f8b8932aa5f1f630bcea1bcf90473 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6fcfd54c39f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 15:02:35 2009 +0200 Merge branch 'master' into deprecated_0_11_removal. Resolved conflicts: NEWS ---

1 0

[GIT] ppl/ppl(master): Initiated the removal of the methods deprecated in PPL 0.10.
by Roberto Bagnara 20 Apr '09

20 Apr '09

Module: ppl/ppl Branch: master Commit: 51a19a2a50729a16573d6577717d39432ffce921 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51a19a2a5072… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 22:13:49 2009 +0200 Initiated the removal of the methods deprecated in PPL 0.10. --- NEWS | 15 ++ interfaces/C/ppl_interface_generator_c_cc_code.m4 | 39 ---- interfaces/C/ppl_interface_generator_c_h_code.m4 | 27 --- ...l_interface_generator_c_procedure_generators.m4 | 3 - .../ppl_interface_generator_prolog_cc_code.m4 | 78 ------- .../ppl_interface_generator_prolog_hh_code.m4 | 21 -- ...erface_generator_prolog_procedure_generators.m4 | 6 +- interfaces/ppl_interface_generator_common_dat.m4 | 7 - src/BD_Shape.defs.hh | 132 ----------- src/BD_Shape.inlines.hh | 60 ----- src/Grid.defs.hh | 210 ----------------- src/Grid.inlines.hh | 24 -- src/Grid_public.cc | 131 ----------- src/Pointset_Powerset.defs.hh | 80 ------- src/Pointset_Powerset.inlines.hh | 8 - src/Pointset_Powerset.templates.hh | 66 ------ src/Polyhedron.defs.hh | 223 ------------------ src/Polyhedron.inlines.hh | 17 -- src/Polyhedron_public.cc | 240 -------------------- tests/Powerset/addconstraints1.cc | 17 ++- tests/Powerset/intersection1.cc | 6 +- 21 files changed, 34 insertions(+), 1376 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=51a19a2a…

1 0

[GIT] ppl/ppl(master): Merge branch 'ppl-0_10-branch'
by Roberto Bagnara 20 Apr '09

20 Apr '09

Module: ppl/ppl Branch: master Commit: d0e5a4edbf54e3a14ba44b27d34ab24f101cb118 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0e5a4edbf54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 22:10:48 2009 +0200 Merge branch 'ppl-0_10-branch' ---

1 0

[GIT] ppl/ppl(master): Update version.
by Roberto Bagnara 20 Apr '09

20 Apr '09

Module: ppl/ppl Branch: master Commit: 45e1e7e6e2f671988a8b6d6f4e1acc054f0d5653 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45e1e7e6e2f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 18 07:03:20 2009 +0200 Update version. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 090590c..7508cff 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library],[0.10.2pre1],[ppl-devel(a)cs.unipr.it],[ppl]) +AC_INIT([the Parma Polyhedra Library], [0.10.2], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0