February 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_11-branch): Improved precision of Octagonal_Shape:: affine_image().
by Enea Zaffanella 20 Feb '11

20 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: bb7c786d2e2934405b60f476f8f5f05065f1a08d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb7c786d2e29… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Oct 19 08:15:12 2010 +0200 Improved precision of Octagonal_Shape::affine_image(). The method was rather imprecise on sign-symmetry affine transformations. Also noted that strong reduction is preserved in that case. --- src/Octagonal_Shape.templates.hh | 120 ++++++++++++++------------------- tests/Octagonal_Shape/affineimage1.cc | 24 +++++++ 2 files changed, 74 insertions(+), 70 deletions(-) diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index d383f8d..bc1ce89 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -4494,75 +4494,53 @@ Octagonal_Shape<T>::affine_image(const Variable var, // Case 2: expr = w_coeff*w + b, with w_coeff = +/- denominator. if (w_id == var_id) { // Here `expr' is of the form: +/- denominator * v + b. - if (w_coeff == denominator) { - if (b == 0) - // The transformation is the identity function. - return; - else { - // Translate all the constraints on `var' adding or - // subtracting the value `b/denominator'. - PPL_DIRTY_TEMP(N, d); - div_round_up(d, b, denominator); - PPL_DIRTY_TEMP(N, minus_d); - div_round_up(minus_d, b, minus_den); - const Row_Iterator m_begin = matrix.row_begin(); - const Row_Iterator m_end = matrix.row_end(); - Row_Iterator m_iter = m_begin + n_var; - Row_Reference m_v = *m_iter; - ++m_iter; - Row_Reference m_cv = *m_iter; - ++m_iter; - // NOTE: delay update of unary constraints on `var'. - for (dimension_type j = n_var; j-- > 0; ) { - N& m_v_j = m_v[j]; - add_assign_r(m_v_j, m_v_j, minus_d, ROUND_UP); - N& m_cv_j = m_cv[j]; - add_assign_r(m_cv_j, m_cv_j, d, ROUND_UP); - } - for ( ; m_iter != m_end; ++m_iter) { - Row_Reference m_i = *m_iter; - N& m_i_v = m_i[n_var]; - add_assign_r(m_i_v, m_i_v, d, ROUND_UP); - N& m_i_cv = m_i[n_var+1]; - add_assign_r(m_i_cv, m_i_cv, minus_d, ROUND_UP); - } - // Now update unary constraints on var. - mul_2exp_assign_r(d, d, 1, ROUND_UP); - N& m_cv_v = m_cv[n_var]; - add_assign_r(m_cv_v, m_cv_v, d, ROUND_UP); - mul_2exp_assign_r(minus_d, minus_d, 1, ROUND_UP); - N& m_v_cv = m_v[n_var+1]; - add_assign_r(m_v_cv, m_v_cv, minus_d, ROUND_UP); - } - reset_strongly_closed(); + const bool sign_symmetry = (w_coeff != denominator); + if (!sign_symmetry && b == 0) + // The transformation is the identity function. + return; + // Translate all the constraints on `var' adding or + // subtracting the value `b/denominator'. + PPL_DIRTY_TEMP(N, d); + div_round_up(d, b, denominator); + PPL_DIRTY_TEMP(N, minus_d); + div_round_up(minus_d, b, minus_den); + if (sign_symmetry) + std::swap(d, minus_d); + const Row_Iterator m_begin = matrix.row_begin(); + const Row_Iterator m_end = matrix.row_end(); + Row_Iterator m_iter = m_begin + n_var; + Row_Reference m_v = *m_iter; + ++m_iter; + Row_Reference m_cv = *m_iter; + ++m_iter; + // NOTE: delay update of unary constraints on `var'. + for (dimension_type j = n_var; j-- > 0; ) { + N& m_v_j = m_v[j]; + add_assign_r(m_v_j, m_v_j, minus_d, ROUND_UP); + N& m_cv_j = m_cv[j]; + add_assign_r(m_cv_j, m_cv_j, d, ROUND_UP); + if (sign_symmetry) + std::swap(m_v_j, m_cv_j); } - else { - // Here `w_coeff == -denominator'. - // Remove the binary constraints on `var'. - forget_binary_octagonal_constraints(var_id); - const Row_Iterator m_begin = matrix.row_begin(); - Row_Iterator m_iter = m_begin + n_var; - N& m_v_cv = (*m_iter)[n_var+1]; - ++m_iter; - N& m_cv_v = (*m_iter)[n_var]; - // Swap the unary constraints on `var'. - std::swap(m_v_cv, m_cv_v); - // Strong closure is not preserved. - reset_strongly_closed(); - if (b != 0) { - // Translate the unary constraints on `var', - // adding or subtracting the value `b/denominator'. - PPL_DIRTY_TEMP(N, d); - div_round_up(d, b, denominator); - mul_2exp_assign_r(d, d, 1, ROUND_UP); - add_assign_r(m_cv_v, m_cv_v, d, ROUND_UP); - PPL_DIRTY_TEMP(N, minus_d); - div_round_up(minus_d, b, minus_den); - mul_2exp_assign_r(minus_d, minus_d, 1, ROUND_UP); - add_assign_r(m_v_cv, m_v_cv, minus_d, ROUND_UP); - } - incremental_strong_closure_assign(var); - } + for ( ; m_iter != m_end; ++m_iter) { + Row_Reference m_i = *m_iter; + N& m_i_v = m_i[n_var]; + add_assign_r(m_i_v, m_i_v, d, ROUND_UP); + N& m_i_cv = m_i[n_var+1]; + add_assign_r(m_i_cv, m_i_cv, minus_d, ROUND_UP); + if (sign_symmetry) + std::swap(m_i_v, m_i_cv); + } + // Now update unary constraints on var. + mul_2exp_assign_r(d, d, 1, ROUND_UP); + N& m_cv_v = m_cv[n_var]; + add_assign_r(m_cv_v, m_cv_v, d, ROUND_UP); + mul_2exp_assign_r(minus_d, minus_d, 1, ROUND_UP); + N& m_v_cv = m_v[n_var+1]; + add_assign_r(m_v_cv, m_v_cv, minus_d, ROUND_UP); + if (sign_symmetry) + std::swap(m_cv_v, m_v_cv); + // Note: strong closure is preserved. } else { // Here `w != var', so that `expr' is of the form @@ -4571,7 +4549,7 @@ Octagonal_Shape<T>::affine_image(const Variable var, forget_all_octagonal_constraints(var_id); const dimension_type n_w = 2*w_id; // Add the new constraint `var - w = b/denominator'. - if (w_coeff == denominator) + if (w_coeff == denominator) { if (var_id < w_id) { add_octagonal_constraint(n_w, n_var, b, denominator); add_octagonal_constraint(n_w+1, n_var+1, b, minus_den); @@ -4580,7 +4558,8 @@ Octagonal_Shape<T>::affine_image(const Variable var, add_octagonal_constraint(n_var+1, n_w+1, b, denominator); add_octagonal_constraint(n_var, n_w, b, minus_den); } - else + } + else { // Add the new constraint `var + w = b/denominator'. if (var_id < w_id) { add_octagonal_constraint(n_w+1, n_var, b, denominator); @@ -4590,6 +4569,7 @@ Octagonal_Shape<T>::affine_image(const Variable var, add_octagonal_constraint(n_var+1, n_w, b, denominator); add_octagonal_constraint(n_var, n_w+1, b, minus_den); } + } incremental_strong_closure_assign(var); } PPL_ASSERT(OK()); diff --git a/tests/Octagonal_Shape/affineimage1.cc b/tests/Octagonal_Shape/affineimage1.cc index ce10277..49d0464 100644 --- a/tests/Octagonal_Shape/affineimage1.cc +++ b/tests/Octagonal_Shape/affineimage1.cc @@ -404,6 +404,7 @@ test15() { known_result.add_constraint(2*A <= -1); known_result.add_constraint(2*A >= -3); known_result.add_constraint(B >= 4); + known_result.add_constraint(2*A + 2*B >= 7); bool ok = check_result(oc, known_result); @@ -494,6 +495,28 @@ test18() { return ok; } +bool +test19() { + Variable x(0); + Variable y(1); + + TOctagonal_Shape oc1(2); + oc1.add_constraint(x + y == 0); + + print_constraints(oc1, "*** oc1 ***"); + + oc1.affine_image(x, -x); + + Octagonal_Shape<mpq_class> known_result(2); + known_result.add_constraint(x - y == 0); + + bool ok = (Octagonal_Shape<mpq_class>(oc1) == known_result); + + print_constraints(oc1, "*** oc1.affine_image(x, y) ***"); + + return ok; +} + } // namespace BEGIN_MAIN @@ -515,4 +538,5 @@ BEGIN_MAIN DO_TEST(test16); DO_TEST(test17); DO_TEST(test18); + DO_TEST(test19); END_MAIN

1 0

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

19 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 03fb66aee2dd395fff190943ef2eb10c14029fd0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03fb66aee2dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:54:36 2011 +0100 Updated. --- ChangeLog | 1342 ++++++++++++++++++++++++++++++++++++++++++++++++++++ Watchdog/ChangeLog | 900 +++++++++++++++++++++++++++++++++++ 2 files changed, 2242 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=03fb66ae…

1 0

[GIT] ppl/ppl(master): Updated to minimize risks when the time of releasing PPL 0.12 will come.
by Roberto Bagnara 19 Feb '11

19 Feb '11

Module: ppl/ppl Branch: master Commit: a989820a1590c687ad5a1657a3826f04558f8e1e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a989820a1590… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:49:07 2011 +0100 Updated to minimize risks when the time of releasing PPL 0.12 will come. --- NEWS | 30 +++++-- README | 38 ++++---- Watchdog/config.guess | 210 +++++++++++++++++++++-------------------- Watchdog/config.sub | 60 ++++++------ Watchdog/src/Makefile.am | 2 + config.guess | 210 +++++++++++++++++++++-------------------- config.sub | 60 ++++++------ doc/libppl.3 | 8 +- doc/libppl_c.3 | 16 ++-- doc/ppl-config_extra_man_text | 10 +- src/Makefile.am | 7 +- 11 files changed, 340 insertions(+), 311 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a989820a…

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Further changes for PPL 0.11.1.
by Roberto Bagnara 19 Feb '11

19 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: b5f908a06039beadb562622c349e46839f8f6894 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5f908a06039… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:22:54 2011 +0100 Further changes for PPL 0.11.1. --- doc/libppl.3 | 6 +++--- doc/libppl_c.3 | 14 +++++++------- doc/ppl-config_extra_man_text | 10 +++++----- 3 files changed, 15 insertions(+), 15 deletions(-) diff --git a/doc/libppl.3 b/doc/libppl.3 index 1c3d353..10ecc9a 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -15,7 +15,7 @@ Note that the PPL has interfaces also for C, Java, OCaml and a number of Prolog systems: look elsewhere for documentation on those. Note also that the present document does not describe the library functionality, its classes or its methods and functions: see -.IR "The Parma Polyhedra Library User's Manual (version 0.11)" +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)" for this kind of information. .SH "INCLUDING THE HEADER FILE" @@ -61,7 +61,7 @@ when you are done with the library. .SH "USING THE LIBRARY" Keeping in mind that there is no substitute for a careful reading of -.IR "The Parma Polyhedra Library User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)", you can find many examples of use in the directories .B tests (see the @@ -196,7 +196,7 @@ before invoking any PPL interface related to such abstractions. .BR ppl-config(1) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index d3f338d..fab6359 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -15,9 +15,9 @@ Note that the PPL has interfaces also for C++, Java, OCaml and a number of Prolog systems: look elsewhere for documentation on those. Note also that the present document does not describe the library functionality, its classes or its methods and functions: see -.IR "The Parma Polyhedra Library User's Manual (version 0.11)" +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)" and -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)" for this kind of information. .SH "INCLUDING THE HEADER FILE" @@ -48,9 +48,9 @@ when you are done with the library. .SH "USING THE LIBRARY" Keeping in mind that there is no substitute for a careful reading of -.IR "The Parma Polyhedra Library User's Manual (version 0.11)" +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)" and -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)" you can find examples of use in the directories .B interfaces/C/tests and @@ -81,7 +81,7 @@ is especially valuable for GNU/Linux users). .SH "RETURN VALUES" All the PPL C interface functions return an int: a negative value means that an error occurred. See -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)" for the error codes. .SH "IMPLEMENTING MEMORY-GUARDED COMPUTATIONS" @@ -127,12 +127,12 @@ before invoking any PPL interface related to such abstractions. .BR libppl(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text index c003047..4d05986 100644 --- a/doc/ppl-config_extra_man_text +++ b/doc/ppl-config_extra_man_text @@ -4,27 +4,27 @@ .BR libppl_c(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR .

1 0

[GIT] ppl/ppl(master): Updated the entry for Marco Poletti.
by Roberto Bagnara 19 Feb '11

19 Feb '11

Module: ppl/ppl Branch: master Commit: f53ed666287c55ea74013d3314bbbc9451ca49dc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f53ed666287c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:17:49 2011 +0100 Updated the entry for Marco Poletti. --- CREDITS | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/CREDITS b/CREDITS index ea49aa7..c88eca7 100644 --- a/CREDITS +++ b/CREDITS @@ -43,12 +43,13 @@ Current Contributors: at the implementation of the Parametric Integer Programming solver. - Marco Poletti (student of the University of Parma) + Marco Poletti (student of the University of Bologna) implemented the sparse matrices that are used in the MIP and PIP solvers of the PPL; he also did experiments on the parallelization of the sparse matrices' computations; he is now working - on improving the PPL's memory footprint. + on improving the PPL's memory footprint and + on other improvements to the library. Enric Rodriguez Carbonell [4] (Technical University of Catalonia) is working on the implementation of polynomial spaces.

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Added an entry for Marco Poletti.
by Roberto Bagnara 19 Feb '11

19 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 0267336a31b22a328507c0afddb7c32aa98a1473 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0267336a31b2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:12:57 2011 +0100 Added an entry for Marco Poletti. --- CREDITS | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) diff --git a/CREDITS b/CREDITS index c047e89..c88eca7 100644 --- a/CREDITS +++ b/CREDITS @@ -43,6 +43,14 @@ Current Contributors: at the implementation of the Parametric Integer Programming solver. + Marco Poletti (student of the University of Bologna) + implemented the sparse matrices that are used + in the MIP and PIP solvers of the PPL; he also + did experiments on the parallelization of the + sparse matrices' computations; he is now working + on improving the PPL's memory footprint and + on other improvements to the library. + Enric Rodriguez Carbonell [4] (Technical University of Catalonia) is working on the implementation of polynomial spaces.

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Updated for the release of PPL 0.11.1.
by Roberto Bagnara 19 Feb '11

19 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 1202749d8b500cce3397efd0db3b86164546794a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1202749d8b50… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 16:57:00 2011 +0100 Updated for the release of PPL 0.11.1. --- NEWS | 2 +- README | 6 +- Watchdog/config.guess | 213 ++++++++++++++++++++++--------------------- Watchdog/config.sub | 64 +++++++------ config.guess | 213 ++++++++++++++++++++++--------------------- config.sub | 64 +++++++------ demos/ppl_lcdd/ppl_lcdd.1 | 4 +- demos/ppl_lpsol/ppl_lpsol.1 | 6 +- demos/ppl_pips/ppl_pips.1 | 4 +- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 14 ++-- 12 files changed, 316 insertions(+), 278 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=1202749d…

1 0

Patch for Doxygen's src/latexgen.cpp
by Roberto Bagnara 19 Feb '11

19 Feb '11

Without this patch \rowcolors remains undefined: Index: src/latexgen.cpp =================================================================== --- src/latexgen.cpp (revision 757) +++ src/latexgen.cpp (working copy) @@ -318,7 +318,7 @@ "\\RequirePackage{longtable}\n" "\\RequirePackage{verbatim}\n" "\\RequirePackage{ifthen}\n" - "\\RequirePackage{xcolor}\n\n"; + "\\RequirePackage[table]{xcolor}\n\n"; t << "% Use helvetica font instead of times roman\n" "\\RequirePackage{helvet}\n" -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1

[GIT] ppl/ppl(sparse_matrices): Replaced the algorithm used for sorting Linear_System and Bit_Matrix.
by Enea Zaffanella 18 Feb '11

18 Feb '11

Module: ppl/ppl Branch: sparse_matrices Commit: 8adce40966f7c9aa54c2fc04dd27acac97ab1eb9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8adce40966f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 17 21:15:28 2011 +0100 Replaced the algorithm used for sorting Linear_System and Bit_Matrix. The new algorithm, based on STL's std::sort and std::unique, is applied to a vector of rows' indices and implements indirect sort using function objects for the comparisons and swap operations. Apart from a (usually minor) decrease in the number of comparisons and swaps perfomed, the new algorithm should be better wrt the consumption of stack space, by getting rid of ad-hoc sort/unique functions, as well as the special-purpose iterator class Linear_System::With_Bit_Matrix_iterator. --- src/Bit_Matrix.cc | 26 +++-- src/Linear_System.defs.hh | 91 ---------------- src/Linear_System.inlines.hh | 164 ----------------------------- src/Linear_System.templates.hh | 54 ++++++---- src/Swapping_Vector.defs.hh | 1 + src/swapping_sort.icc | 226 +++++++++++++++++++++------------------ 6 files changed, 172 insertions(+), 390 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8adce409…

1 0

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

18 Feb '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bbcceb41624… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 23:35:59 2011 +0100 Congruence_System: remove the add_zero_rows(), add_zero_columns() and remove_trailing_columns() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c22231437d8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 23:12:54 2011 +0100 Grid: avoid using Congruence_System::add_zero_columns() in add_space_dimensions_and_embed(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5040f0622b0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 23:12:45 2011 +0100 Grid: avoid using Congruence_System::add_zero_columns() in add_space_dimensions(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cd72d3a0637… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 23:02:52 2011 +0100 Grid: avoid using Congruence_System::add_zero_rows(), in simplify(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63449606174e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 22:54:46 2011 +0100 Grid: avoid using Congruence_System::add_zero_rows(), in simplify(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f82c43cb669… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 22:51:35 2011 +0100 Congruence_System: add an insert_recycled() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddf9d0da8f53… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 22:32:56 2011 +0100 Congruence_System: replace the insert_verbatim() method with a new insert_verbatim_recycled() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35dd7a9324bf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 22:18:19 2011 +0100 Congruence: now the default constructor takes an optional argument. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54225672a2dd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 22:11:08 2011 +0100 Congruence_System: simplify the remove_higher_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a295cfa0561b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 22:10:46 2011 +0100 Congruence_System: implement add_unit_rows_and_columns() at a higher level. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9557001b37c6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 21:24:53 2011 +0100 Congruence_System: simplify the insert() method that takes a Congruence_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e57abdaf4be8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 21:24:22 2011 +0100 Congruence_System: simplify the recycling_insert() method that takes a Congruence_System argument. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=282d2e5ab282… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 21:19:04 2011 +0100 Congruence_System: simplify the insert_verbatim() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0eb3beeac7e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 21:18:35 2011 +0100 Congruence: add a constructor from a Constraint that specifies the desired space dimension. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9918be63b38… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 21:17:22 2011 +0100 Dense_Row, Sparse_Row: weaken the requirements of the copy-constructor with specified size and capacity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e30cad8d350… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 20:54:07 2011 +0100 Congruence_System: simplify the insert_verbatim() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a442c51dde92… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 20:51:57 2011 +0100 Congruence_System: simplify the increase_space_dimension() method.

1 0