- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Add assignment to silence compiler warning.
by Enea Zaffanella 10 Dec '11

10 Dec '11

Module: ppl/ppl Branch: master Commit: 9e39d6074bab1388bf7f63a58bcf1317f4c65ce2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e39d6074bab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 10 07:41:12 2011 +0100 Add assignment to silence compiler warning. --- src/Polyhedron_public.cc | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index 3f652f5..a3f242b 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -3017,6 +3017,7 @@ generalized_affine_preimage(const Variable var, default: // The EQUAL and NOT_EQUAL cases have been already dealt with. PPL_UNREACHABLE; + reversed_relsym = GREATER_OR_EQUAL; break; }

1 0

[GIT] ppl/ppl(master): Fixed typo.
by Enea Zaffanella 10 Dec '11

10 Dec '11

Module: ppl/ppl Branch: master Commit: e7479b827db977fc493088ef56671f0b539f6b66 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7479b827db9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 10 07:37:40 2011 +0100 Fixed typo. --- doc/devref.doxyconf-html.in | 2 +- doc/devref.doxyconf-latex.in | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index 8a67bd5..ea929aa 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -139,7 +139,7 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/termination.defs.hh \ @srcdir@/../src/termination.templates.hh \ @srcdir@/../src/termination.cc \ - @srcdir@/../src/Topology.hh \ + @srcdir@/../src/Topology.types.hh \ @srcdir@/../src/Sparse_Row.types.hh \ @srcdir@/../src/Sparse_Row.defs.hh \ @srcdir@/../src/Sparse_Row.inlines.hh \ diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in index dce5cac..1c75de1 100644 --- a/doc/devref.doxyconf-latex.in +++ b/doc/devref.doxyconf-latex.in @@ -139,7 +139,7 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/termination.defs.hh \ @srcdir@/../src/termination.templates.hh \ @srcdir@/../src/termination.cc \ - @srcdir@/../src/Topology.hh \ + @srcdir@/../src/Topology.types.hh \ @srcdir@/../src/Sparse_Row.types.hh \ @srcdir@/../src/Sparse_Row.defs.hh \ @srcdir@/../src/Sparse_Row.inlines.hh \

1 0

[GIT] ppl/ppl(master): Improved name of helper function in OCaml interface.
by Enea Zaffanella 09 Dec '11

09 Dec '11

Module: ppl/ppl Branch: master Commit: e4cc508f1bfe1164358556884cd44474485c50a1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4cc508f1bfe… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 18:46:44 2011 +0100 Improved name of helper function in OCaml interface. Add default label to switch to avoid warning. --- interfaces/OCaml/ppl_ocaml_common.cc | 11 +++++++---- 1 files changed, 7 insertions(+), 4 deletions(-) diff --git a/interfaces/OCaml/ppl_ocaml_common.cc b/interfaces/OCaml/ppl_ocaml_common.cc index 6a7efa5..0777a00 100644 --- a/interfaces/OCaml/ppl_ocaml_common.cc +++ b/interfaces/OCaml/ppl_ocaml_common.cc @@ -249,12 +249,13 @@ build_ppl_Complexity_Class(value cc) { } MIP_Problem::Control_Parameter_Name -build_ppl_control_parameter_name(value caml_cp_name) { +build_ppl_mip_problem_control_parameter_name(value caml_cp_name) { assert(Is_long(caml_cp_name)); if (Int_val(caml_cp_name) == 0) return MIP_Problem::PRICING; else - PPL_OCAML_UNEXPECTED_MSG("build_ppl_control_parameter_name(cpn)"); + PPL_OCAML_UNEXPECTED_MSG("build_ppl_mip_problem_" + "control_parameter_name(cpn)"); } MIP_Problem::Control_Parameter_Value @@ -1022,7 +1023,7 @@ ppl_MIP_Problem_get_control_parameter(value caml_mip, CAMLparam2(caml_mip, caml_cp_name); MIP_Problem& ppl_mip = *p_MIP_Problem_val(caml_mip); MIP_Problem::Control_Parameter_Name ppl_cp_name - = build_ppl_control_parameter_name(caml_cp_name); + = build_ppl_mip_problem_control_parameter_name(caml_cp_name); MIP_Problem::Control_Parameter_Value ppl_cp_value = ppl_mip.get_control_parameter(ppl_cp_name); switch (ppl_cp_value) { @@ -1377,8 +1378,10 @@ ppl_PIP_Problem_get_control_parameter(value caml_pip, CAMLreturn(Val_int(3)); case PIP_Problem::PIVOT_ROW_STRATEGY_MAX_COLUMN: CAMLreturn(Val_int(4)); + default: + PPL_UNREACHABLE; + CAMLreturn(Val_int(5)); } - PPL_UNREACHABLE; } CATCH_ALL

1 0

[GIT] ppl/ppl(master): Added debugging macro PPL_EXPECT_HEAVY.
by Enea Zaffanella 09 Dec '11

09 Dec '11

Module: ppl/ppl Branch: master Commit: 3c49e9f58f55eb1dd2302b35d3ec8f05d2673a96 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c49e9f58f55… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 18:31:20 2011 +0100 Added debugging macro PPL_EXPECT_HEAVY. Added debugging helper function template copy_contains(). Systematically use PPL_EXPECT_HEAVY(copy_contains(...)) when checking containment assumptions in widening/narrowing methods. --- src/Affine_Space.cc | 20 ++--------- src/BD_Shape.templates.hh | 50 ++++++----------------------- src/Box.templates.hh | 20 ++--------- src/Grid_widenings.cc | 66 +++++++------------------------------- src/MIP_Problem.cc | 2 - src/Octagonal_Shape.templates.hh | 50 ++++++----------------------- src/Polyhedron_widenings.cc | 42 ++++------------------- src/assert.hh | 23 +++++++++++++ 8 files changed, 71 insertions(+), 202 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3c49e9f5…

1 0

[GIT] ppl/ppl(master): Better differentiate between unreachable code and unexpected values.
by Enea Zaffanella 09 Dec '11

09 Dec '11

Module: ppl/ppl Branch: master Commit: 3440f5a82c511096e4070825fb85c5374b6ddb72 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3440f5a82c51… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 17:41:47 2011 +0100 Better differentiate between unreachable code and unexpected values. We call, e.g., PPL_JAVA_UNEXPECTED when we are converting an illegal Java value to a C++ value; we call PPL_UNREACHABLE when such a mismatch occurs the other way round (an illegal C++ value produced by the core library). --- interfaces/C/ppl_c_implementation_common.cc | 9 +-- interfaces/C/ppl_c_implementation_common.defs.hh | 3 - ...ppl_interface_generator_java_classes_cc_code.m4 | 8 +- interfaces/Java/jni/ppl_java_common.cc | 52 ++++++++-------- interfaces/Java/jni/ppl_java_common.defs.hh | 24 ++++--- interfaces/OCaml/ppl_ocaml_common.cc | 67 ++++++++------------ interfaces/OCaml/ppl_ocaml_common.defs.hh | 4 +- 7 files changed, 75 insertions(+), 92 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3440f5a8…

1 0

[GIT] ppl/ppl(master): Prefer if statement to switch having a single case.
by Enea Zaffanella 09 Dec '11

09 Dec '11

Module: ppl/ppl Branch: master Commit: 8c89cabcad0b8e807538ec7dbc75985936ef621e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c89cabcad0b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 15:10:42 2011 +0100 Prefer if statement to switch having a single case. Detected by ECLAIR service swchlabs. --- interfaces/Java/jni/ppl_java_common.cc | 12 ++++-------- interfaces/OCaml/ppl_ocaml_common.cc | 12 +++++------- 2 files changed, 9 insertions(+), 15 deletions(-) diff --git a/interfaces/Java/jni/ppl_java_common.cc b/interfaces/Java/jni/ppl_java_common.cc index 3358b90..0c9e0d0 100644 --- a/interfaces/Java/jni/ppl_java_common.cc +++ b/interfaces/Java/jni/ppl_java_common.cc @@ -637,12 +637,10 @@ build_cxx_control_parameter_name(JNIEnv* env, jobject j_cp_name) { CHECK_RESULT_ASSERT(env, cp_name_ordinal_id); jint cp_name = env->CallIntMethod(j_cp_name, cp_name_ordinal_id); CHECK_EXCEPTION_ASSERT(env); - switch (cp_name) { - case 0: + if (cp_name == 0) return MIP_Problem::PRICING; - default: + else PPL_JAVA_UNREACHABLE; - } } jobject @@ -655,13 +653,11 @@ build_java_control_parameter_name = env->GetStaticFieldID(j_cp_name_class, "PRICING", "Lparma_polyhedra_library/Control_Parameter_Name;"); CHECK_RESULT_ASSERT(env, cp_name_pricing_get_id); - switch (cp_name) { - case MIP_Problem::PRICING: + if (cp_name == MIP_Problem::PRICING) return env->GetStaticObjectField(j_cp_name_class, cp_name_pricing_get_id); - default: + else PPL_JAVA_UNREACHABLE; - } } MIP_Problem::Control_Parameter_Value diff --git a/interfaces/OCaml/ppl_ocaml_common.cc b/interfaces/OCaml/ppl_ocaml_common.cc index ffae786..ad085f1 100644 --- a/interfaces/OCaml/ppl_ocaml_common.cc +++ b/interfaces/OCaml/ppl_ocaml_common.cc @@ -251,12 +251,10 @@ build_ppl_Complexity_Class(value cc) { MIP_Problem::Control_Parameter_Name build_ppl_control_parameter_name(value caml_cp_name) { assert(Is_long(caml_cp_name)); - switch (Int_val(caml_cp_name)) { - case 0: - return MIP_Problem::PRICING; - default: + if (Int_val(caml_cp_name) == 0) + return MIP_Problem::PRICING; + else PPL_OCAML_UNREACHABLE_MSG("build_ppl_control_parameter_name(cpn)"); - } } MIP_Problem::Control_Parameter_Value @@ -279,9 +277,9 @@ build_ppl_pip_problem_control_parameter_name(value caml_cp_name) { assert(Is_long(caml_cp_name)); switch (Int_val(caml_cp_name)) { case 0: - return PIP_Problem::CUTTING_STRATEGY; + return PIP_Problem::CUTTING_STRATEGY; case 1: - return PIP_Problem::PIVOT_ROW_STRATEGY; + return PIP_Problem::PIVOT_ROW_STRATEGY; default: PPL_OCAML_UNREACHABLE_MSG("build_ppl_pip_problem_" "control_parameter_name(cpn)");

1 0

[GIT] ppl/ppl(master): Prefer if-then-else to switch having a single case label.
by Enea Zaffanella 09 Dec '11

09 Dec '11

Module: ppl/ppl Branch: master Commit: 17c7d99b34eb7abbb25de24b0ff7a200fb3da598 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17c7d99b34eb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 14:27:14 2011 +0100 Prefer if-then-else to switch having a single case label. Detected by ECLAIR service swchlabs. --- src/ppl-config.cc.in | 7 +------ 1 files changed, 1 insertions(+), 6 deletions(-) diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index 2da0c8e..1f5bc9d 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -697,13 +697,8 @@ main(int argc, char* argv[]) try { if (s.length() > 0) s += ' '; s += "-lppl"; - switch (required_interface) { - case C: + if (required_interface == C) s += " -lppl_c"; - break; - default: - break; - } s += " -lgmpxx -lgmp"; } portray("LDFLAGS", s);

1 0

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 09 Dec '11

09 Dec '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4b12db130c3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 13:53:56 2011 +0100 Added macro PPL_C_UNREACHABLE_MSG. Use the new macro in a few places in the C interface code. Standardized messages for errors due to Watchdog library not enabled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9438c7071464… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 13:40:22 2011 +0100 Added macros PPL_OCAML_UNREACHABLE and PPL_OCAML_UNREACHABLE_MSG. Try and use them systematically in the OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a523cbe043f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 13:02:40 2011 +0100 Added new macro PPL_JAVA_UNREACHABLE. Use the new macro to mark unreachable code in the Java interface files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d08420c8dc65… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 12:58:29 2011 +0100 Replaced throws of runtime_error exceptions by calls to PPL_UNREACHABLE. Got rid of a few (now unused) exception throwers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31a0bdcb139c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 11:26:13 2011 +0100 Avoid (unreachable) default label when all cases have been listed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3849aea53fcb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 11:23:36 2011 +0100 Prefer PPL_UNREACHABLE to PPL_ASSERT(0). Avoid mixing reachable and unreachable code paths. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14344113942d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 11:22:27 2011 +0100 Replaced an occurrence of PPL_ASSERT(0) by PPL_UNREACHABLE. Added an assertion and comment explaining why cases are unreachable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3265acda1a5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 11:20:54 2011 +0100 Replaced an occurrence of PPL_ASSERT(0) by PPL_UNREACHABLE. Added proper assertion for preconditions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c636fa0e883… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 09:42:20 2011 +0100 Prefer if-then-else construct to binary switch. Detected by ECLAIR service swchlabs. Prefer listing a couple of residual switch cases to default label. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb0fe79c7af7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 09:20:35 2011 +0100 Replaced PPL_ASSERT(false) with PPL_UNREACHABLE. For readability, avoid mixing reachable and unreachable paths. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bc6cf294d3c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 09:16:19 2011 +0100 Prefer if-then-else construct to binary switch. Detected by ECLAIR service swchlabs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13865670123a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 08:56:38 2011 +0100 Fixed a couple of switch statements where we were mixing reachable and unreachable code paths, reducing readability. Added precondition assertions at the start of assign_special_float() so as to make clearer why the default switch case is unreachable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5adf6d4df3cc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 08:25:19 2011 +0100 Added new macro PPL_UNREACHABLE, to be used instead of PPL_ASSERT(false). Started replacing calls to PPL_ASSERT(false) in the core library code.

1 0

[GIT] ppl/ppl(sparse_matrices): Sparse_Row: fix a bug in the constructor from a Dense_Row with a specified size.
by Marco Poletti 07 Dec '11

07 Dec '11

Module: ppl/ppl Branch: sparse_matrices Commit: 0eb66773f43939abd0d8837e957b63c6e5e1c665 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0eb66773f439… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 22:53:24 2011 +0100 Sparse_Row: fix a bug in the constructor from a Dense_Row with a specified size. --- src/Sparse_Row.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Sparse_Row.cc b/src/Sparse_Row.cc index f17b907..a6ad4fb 100644 --- a/src/Sparse_Row.cc +++ b/src/Sparse_Row.cc @@ -102,8 +102,8 @@ PPL::Sparse_Row::Sparse_Row(const PPL::Dense_Row& row) PPL::Sparse_Row::Sparse_Row(const Dense_Row& row, dimension_type sz, dimension_type capacity) - : tree(Sparse_Row_from_Dense_Row_helper_iterator(row, sz), - Sparse_Row_from_Dense_Row_helper_function(row, sz)), + : tree(Sparse_Row_from_Dense_Row_helper_iterator(row, row.size()), + Sparse_Row_from_Dense_Row_helper_function(row, row.size())), size_(sz) { (void)capacity; PPL_ASSERT(OK());

1 0

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

07 Dec '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37eeb423372c… Merge: 589bf4de085f009119cb15027050ee6465e19b61 21e65da7eb5060d87ccdcd8f0d74fc525abd3cb6 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 21:17:15 2011 +0100 Merge branch 'master' into sparse_matrices URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=589bf4de085f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 19:41:09 2011 +0100 Grid_Generator_System: make the insert() method that recycles the input consistent with the one that doesn't. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f4213782495… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 19:25:59 2011 +0100 Constraint_System:optimize the constructor from a Congruence_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce0f55f4d525… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 19:14:01 2011 +0100 Constraint_System: make the insert() methods that recycle input consistent with those that don't. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e90141bc67cb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 19:00:32 2011 +0100 Linear_System: remove the add_*row*() methods, and add a insert_pending_no_ok() instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28b0a0d0ecf0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 18:54:33 2011 +0100 Constraint_System, Generator_System, Grid_Generator_System: make some methods private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a203238c276f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 18:54:06 2011 +0100 termination: remove a useless helper function and move assign_all_inequalities_approximation() into Termination_Helpers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1563b94fa165… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 18:07:13 2011 +0100 Congruence_System: make some methods private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=089d08873368… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 11:44:27 2011 +0100 Linear_System: optimize the merge_rows_assign() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7821f9f5da84… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 17:49:18 2011 +0100 Constraint, Generator, Grid_Generator: now constructors that take a space dimension actually construct an object with that space dimension (even in the NNC topology). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08f0ba497222… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 16:54:07 2011 +0100 Constraint, Congruence, Generator, Grid_Generator: remove the constructor that takes a space dimension. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bca85aa8b94… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 12:20:16 2011 +0100 Generator: don't be friend of Grid_Generator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f2b99e77012… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 12:17:32 2011 +0100 Congruence: avoid including Constraint.defs.hh in Congruence.inlines.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16557da59448… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 11:53:02 2011 +0100 Linear_System: simplify some methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d607407b5208… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 11:42:00 2011 +0100 Linear_System: fix the set_representation() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=479908f2ecee… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 11:37:25 2011 +0100 Generator: simplify the OK() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a404707ecd15… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 11:34:09 2011 +0100 Congruence: make is_equal_at_dimension() private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f79604eaefa7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 11:30:13 2011 +0100 Congruence: remove some related functions/operators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c10e6b8c598b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 11:29:35 2011 +0100 Grid: avoid using operator-=() and sub_mul_assign() on Congruences. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b89b87cb1ad4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 11:11:42 2011 +0100 Congruence: simplify one of the create() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b51813e25b1b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 10:39:42 2011 +0100 Constraint: avoid resizing Linear_Expressions when possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1535ef339e96… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 10:39:12 2011 +0100 Constraint: improve readability and simplify the implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7159b960372c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 10:24:39 2011 +0100 Use the copy-and-swap idiom in the assignment operator, in various classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=070a43df7480… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 11:32:34 2011 +0100 Constraint_System, Generator_System: declare the swap() function in the header file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c6423f79616… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 11:32:06 2011 +0100 Implement swapping of Variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a8a48c628fe… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 10:08:33 2011 +0100 BD_Shape: avoid iterating through coefficients known to be 0, in generalized_affine_image(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3826ae74551a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 10:05:37 2011 +0100 BD_Shape: clarify the contract of extract_bounded_difference(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d791ea0bb403… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 10:01:51 2011 +0100 Constraint: remove the constructor from Congruence with a specified size. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d280f17c07c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 00:25:43 2011 +0100 Constraint, Generator, Grid_Generator: make all Topology-related constructors and methods private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd24906e74e3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 23:24:09 2011 +0100 Generator: make Kind, the constructors that take a Kind, and the [set_]is_line_or_equality() and [set_]is_ray_or_point_or_inequality() methods private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a785c6a6535… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 23:12:08 2011 +0100 Constraint: reorder the method declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31e40bf24571… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 22:53:48 2011 +0100 Constraint: make the [set_]is_line_or_equality() and [set_]is_ray_or_point_or_inequality() methods private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cdc1566416c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 22:47:03 2011 +0100 Constraint: make Kind and the constructors that take a Kind private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbc5f334cd5f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 14:03:58 2011 +0100 tests/Polyhedron/linearsystem1: avoid using a low-level constructor of Constraint. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a74dd27b7a92… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 22:35:27 2011 +0100 Congruence: remove the set_inhomogeneous_term() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cc646cad369… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 20:44:00 2011 +0100 Congruence: remove the shift_coefficients() method, use shift_space_dimensions() instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42bb58afe4fd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 20:40:07 2011 +0100 Congruence: remove the add_space_dimensions() and add_space_dimensions() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc9456072949… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 20:37:32 2011 +0100 Congruence: now the is_equal_at_dimension() method takes a Variable instead of a dimension_type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b126355c2478… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 20:31:11 2011 +0100 Congruence: remove the modulus() method that returns a non-const reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b320062ed62a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 18:56:00 2011 +0100 Linear_Expression: make the negate() method private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e42807438bbb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 5 22:55:43 2011 +0100 *_System: remove the release_row(s)() and take_ownership_of_rows() methods. Adapt client code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21e65da7eb50… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 10:11:02 2011 +0100 demos/ppl_pips: remove two unused functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3f2f5bb5091… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 5 21:15:40 2011 +0100 *_System (except Congruence_System): add a Representation field and a Representation parameter to all constructors. Make sure that all the rows have the same representation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8339ae043697… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 7 08:33:45 2011 +0100 Indentation fixed. Detected by ECLAIR service indntion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09fb1cd97f41… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 5 21:14:09 2011 +0100 Implement the representation() and set_representation() methods, in various classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96e5d59a311c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 5 19:49:47 2011 +0100 Constraint_System, Generator_System, Grid_Generator_System: use Linear_System's ascii_dump() and ascii_load() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=adf670d46016… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 00:34:51 2011 +0100 Linear_System: fix the ascii_dump() method by adding a missing space. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4069226068c5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 5 19:06:51 2011 +0100 Congruece_System: make some methods public/private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65beb73160ef… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 5 18:28:33 2011 +0100 Congruence_System, Linear_System: remove the internal_row_type typedef. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22c74b3c15c7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 5 18:26:26 2011 +0100 *_System, Matrix: remove the resize_no_copy() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c4de27dd324… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 5 18:06:23 2011 +0100 Congruence_System: make the API higher-level: use the space dimension instead of the number of columns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9d40c9eecbd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 5 17:26:06 2011 +0100 Congruence_System: add a Representation field and a Representation parameter to all constructors. Make sure that all the rows have the same representation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cad52ef1eae4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 5 17:20:54 2011 +0100 Add ascii_load()/ascii_dump() functions for the Representation enum. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8460d58c518c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 16:07:04 2011 +0100 Grid: fix a bug in relation_with(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1a92689efa9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 11:56:49 2011 +0100 tests/Grid: use the Recycle_Input tag in the tests, fixing compilation errors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=edb5c61bf830… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Dec 6 10:43:47 2011 +0100 test/Polyhedron/sparserow1: rename m_swap() into coefficient_swap(), fixing compilation errors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c748c6e420b2… Merge: 4c0dab73bb9776cef6cac6bf16b834f82b1d644f aad573256afaa3204f9d2f090a61c59f4d0c32ec Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 5 12:02:21 2011 +0100 Merge branch 'master' into sparse_matrices Conflicts: src/CO_Tree.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c0dab73bb97… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 5 12:01:17 2011 +0100 Constraint, Generator, Grid_Generator, Congruence: add a default_representation constant and a Representation argument to constructors and factory methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aad573256afa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 18:27:44 2011 +0100 tests/BD_Shape/cc76extrapolation1: avoid unused expression warnings by casting to void. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e78400a9a299… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 4 18:03:29 2011 +0100 Disable all abstractions based on machine floating-point numbers when clang++ is detected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa6a077aa6da… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 15:04:11 2011 +0100 Detect when clang++ is used, and disable -frounding-math in that case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a434f2b0372a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 13:27:48 2011 +0100 Grid_Generator: remove an obsolete typedef for row_type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4280ced47bdc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 13:24:42 2011 +0100 Use Constraint::Expression, Generator::Expression, Grid_Generator::Expression, Congruence::Expression instead of const Linear_Expression& when relevant. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46c05339d846… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 13:10:35 2011 +0100 Congruence: remove the non-const expression() method and add an Expression typedef, for consistency with Constraint, Generator and Grid_Generator and to allow different implementations in the future. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=adaf75007f25… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 13:03:39 2011 +0100 *_System: use the Recycle_Input tag instead of adding 'recycled' or 'recycling' to the method's name. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0f059a8cbef… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 12:21:33 2011 +0100 Grid_Generator: make some methods private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea378d9e5a81… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 12:17:18 2011 +0100 Generator: make some methods private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e886a32baed5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 12:14:48 2011 +0100 Constraint: make some methods private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fed5b613c6cf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 12:14:23 2011 +0100 MIP_Problem, PIP_Problem: don't check Constraint::OK(), the Constraint class is responsible for making sure that all constraints are OK(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5f1a4955638… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 12:13:17 2011 +0100 Octagonal_Shape: remove an unused variable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5aa780d07de… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 12:13:04 2011 +0100 Box: remove an unused variable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7d2895da620… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 11:55:22 2011 +0100 tests/Concrete_Expression: avoid using unnamed types as template arguments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db4eb1cdc834… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 00:31:01 2011 +0100 CO_Tree: avoid static_casts between Coefficient* and void*. Use an allocator instead.

1 0