- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): PIP_Solution_Node: avoid repeated lookup of Sparse_Row's coefficients, in solve().
by Marco Poletti 17 Feb '11

17 Feb '11

Module: ppl/ppl Branch: master Commit: b956c5822426119ce1bfa2ad7f305cfff6db7148 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b956c5822426… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 13:02:00 2011 +0100 PIP_Solution_Node: avoid repeated lookup of Sparse_Row's coefficients, in solve(). --- src/PIP_Tree.cc | 13 ++++++++----- 1 files changed, 8 insertions(+), 5 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 416abad..bc1c494 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -2639,16 +2639,19 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, Row& s_i = tableau.s[i]; Row& t_i = tableau.t[i]; - if (s_i.get(pj) == 0) + Row::iterator s_i_pj_itr = s_i.find(pj); + + if (s_i_pj_itr == s_i.end()) continue; - // NOTE: For sparse rows, the non-const operator[] ensures that - // the element is actually stored in the row. At this point, however, - // it can't be zero, so it is already stored in the row. // NOTE: This is a Coefficient& instead of a // Coefficient_traits::const_reference, because scale() may silently // modify it. - Coefficient& s_i_pj = s_i[pj]; + Coefficient& s_i_pj = *s_i_pj_itr; + + if (s_i_pj == 0) + continue; + Row::iterator k = t_i.end(); for (Row::const_iterator j = t_pivot.begin(), j_end = t_pivot.end(); j != j_end; ++j) {

1 0

[GIT] ppl/ppl(master): PIP_Solution_Node: improve the performance of solve( ).
by Marco Poletti 17 Feb '11

17 Feb '11

Module: ppl/ppl Branch: master Commit: 96804c70b4db623d36eff204053761203529a84e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96804c70b4db… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 12:07:39 2011 +0100 PIP_Solution_Node: improve the performance of solve(). --- src/PIP_Tree.cc | 20 +++++++++++++++----- 1 files changed, 15 insertions(+), 5 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index c9fe387..416abad 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -2602,6 +2602,10 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, Row& s_i = tableau.s[i]; PPL_DIRTY_TEMP_COEFFICIENT(s_i_pj); s_i_pj = s_i.get(pj); + + if (s_i_pj == 0) + continue; + Row::iterator itr = s_i.end(); for (Row::const_iterator j = s_pivot.begin(), j_end = s_pivot.end(); j != j_end; ++j) { @@ -2634,7 +2638,17 @@ 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); + + if (s_i.get(pj) == 0) + continue; + + // NOTE: For sparse rows, the non-const operator[] ensures that + // the element is actually stored in the row. At this point, however, + // it can't be zero, so it is already stored in the row. + // NOTE: This is a Coefficient& instead of a + // Coefficient_traits::const_reference, because scale() may silently + // modify it. + Coefficient& s_i_pj = s_i[pj]; Row::iterator k = t_i.end(); for (Row::const_iterator j = t_pivot.begin(), j_end = t_pivot.end(); j != j_end; ++j) { @@ -2647,10 +2661,6 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, 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): Disabled the `memory1' test ( at least for the time being).
by Roberto Bagnara 16 Feb '11

16 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: ef211f83fcc4c07eec6b6bced0093796a9e3b3c4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef211f83fcc4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 16 16:16:53 2011 +0100 Disabled the `memory1' test (at least for the time being). --- tests/Polyhedron/Makefile.am | 18 +++++++++++++++--- 1 files changed, 15 insertions(+), 3 deletions(-) diff --git a/tests/Polyhedron/Makefile.am b/tests/Polyhedron/Makefile.am index 4ff8b49..940ec13 100644 --- a/tests/Polyhedron/Makefile.am +++ b/tests/Polyhedron/Makefile.am @@ -663,9 +663,21 @@ watchdog1_SRCS = watchdog1.cc weightwatch1_SRCS = weightwatch1.cc if !VALGRIND_TESTS_ENABLED -VALGRIND_BRITTLE_TESTS = memory1 - -memory1_SOURCES = $(memory1_SRCS) +# The `memory1' test is currently disabled. The reason is that there +# is currently no reliable way to make it work, at least on Linux. +# The reason is that memory is limited using RLIMIT_AS, which limits +# brk, mmap and the stack: when we run out of stack, then of course +# we crash. So RLIMIT_AS cannot be used. In principle, we could use +# RLIMIT_DATA, which limits brk only. However, glibc uses mmap when +# it cannot obtain memory from brk (and perhaps in other cases as well), +# but mmap is not limited by RLIMIT_DATA. In summary, RLIMIT_AS limits +# too much (in particular the stack, that should not be limited); +# RLIMIT_DATA limits too little (it does not limit mmap, as we would like +# it to). + +#VALGRIND_BRITTLE_TESTS = memory1 + +#memory1_SOURCES = $(memory1_SRCS) endif !VALGRIND_TESTS_ENABLED

1 0

[GIT] ppl/ppl(master): Disabled the `memory1' test ( at least for the time being).
by Roberto Bagnara 16 Feb '11

16 Feb '11

Module: ppl/ppl Branch: master Commit: 67198c5e25b8fb985f27d4c24cb84e890aea8a23 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67198c5e25b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 16 16:16:53 2011 +0100 Disabled the `memory1' test (at least for the time being). --- tests/Polyhedron/Makefile.am | 18 +++++++++++++++--- 1 files changed, 15 insertions(+), 3 deletions(-) diff --git a/tests/Polyhedron/Makefile.am b/tests/Polyhedron/Makefile.am index a621ef7..36d4c55 100644 --- a/tests/Polyhedron/Makefile.am +++ b/tests/Polyhedron/Makefile.am @@ -663,9 +663,21 @@ watchdog1_SRCS = watchdog1.cc weightwatch1_SRCS = weightwatch1.cc if !VALGRIND_TESTS_ENABLED -VALGRIND_BRITTLE_TESTS = memory1 - -memory1_SOURCES = $(memory1_SRCS) +# The `memory1' test is currently disabled. The reason is that there +# is currently no reliable way to make it work, at least on Linux. +# The reason is that memory is limited using RLIMIT_AS, which limits +# brk, mmap and the stack: when we run out of stack, then of course +# we crash. So RLIMIT_AS cannot be used. In principle, we could use +# RLIMIT_DATA, which limits brk only. However, glibc uses mmap when +# it cannot obtain memory from brk (and perhaps in other cases as well), +# but mmap is not limited by RLIMIT_DATA. In summary, RLIMIT_AS limits +# too much (in particular the stack, that should not be limited); +# RLIMIT_DATA limits too little (it does not limit mmap, as we would like +# it to). + +#VALGRIND_BRITTLE_TESTS = memory1 + +#memory1_SOURCES = $(memory1_SRCS) endif !VALGRIND_TESTS_ENABLED

1 0

[GIT] ppl/ppl(ppl-0_11-branch): test06 no longer overflows when using 8-bit coefficients.
by Enea Zaffanella 16 Feb '11

16 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 17f593d69c2b8f2da0609d96afae9ec52f78153c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17f593d69c2b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 16 09:41:05 2011 +0100 test06 no longer overflows when using 8-bit coefficients. --- tests/PIP_Problem/pipproblem1.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index 98ea9b0..0497da5 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -789,7 +789,7 @@ BEGIN_MAIN DO_TEST(test03); DO_TEST(test04); DO_TEST_F8(test05); - DO_TEST_F8(test06); + DO_TEST(test06); DO_TEST_F8(test07); DO_TEST_F8(test08); DO_TEST_F8(test09);

1 0

[GIT] ppl/ppl(master): test06 no longer overflows when using 8-bit coefficients.
by Enea Zaffanella 16 Feb '11

16 Feb '11

Module: ppl/ppl Branch: master Commit: fa59cbeb2a6dd1f47f7ac9f6023cb4209dac1be1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa59cbeb2a6d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 16 09:14:24 2011 +0100 test06 no longer overflows when using 8-bit coefficients. --- tests/PIP_Problem/pipproblem1.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index 98ea9b0..0497da5 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -789,7 +789,7 @@ BEGIN_MAIN DO_TEST(test03); DO_TEST(test04); DO_TEST_F8(test05); - DO_TEST_F8(test06); + DO_TEST(test06); DO_TEST_F8(test07); DO_TEST_F8(test08); DO_TEST_F8(test09);

1 0

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

15 Feb '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ecc4a9389ba… Merge: b9c75c0855011b07b8d014c510403a3e34cf0a91 73cfc6e2390366f132e6967d225c4d5ec317bb46 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 15 19:04:49 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73cfc6e23903… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 14 21:23:11 2011 +0100 PIP_Tree: simplify unnecessarily complicated code in compatibility_check_find_pivot_in_set(). 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. 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(). 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. 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. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4e8a607e5a6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 16:45:57 2011 +0100 Fixed a number of wrong conditionals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5147bf4e1914… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 14 16:45:38 2011 +0100 Minor improvements to documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6bbae877309… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 13:01:50 2011 +0100 Copyright notices updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f42c4966e4c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 14 11:57:05 2011 +0100 Document parameter indent_level in PIP_Tree_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e75a7050611… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 3 17:26:08 2011 +0100 Added other plain char specializations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5f893b6c2cf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 3 17:11:20 2011 +0100 Added missing specializations for plain char. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b29e34e75e9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 3 07:48:15 2011 +0100 Specialize C_Integer<T> for plain char. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69c0e4568236… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 30 22:11:01 2011 +0100 Added specializations for plain char. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6861c446e762… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 30 22:08:31 2011 +0100 Copy-and-paste mistake fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=743d879f0284… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 30 20:06:05 2011 +0100 Detect whether the plain char type is signed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a7cd78d3971… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 10:55:23 2011 +0100 Reduce the argument of valgrind's --num-callers below the allowed maximum. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73dd768d9265… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 14 08:36:29 2011 +0100 Mentioned a correction affecting PIP_Problem solution trees. Mentioned an improvement in the generation of PIP_Tree_Node tautological cnstraints, node splitting constraints and artificial parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a224dfc21ff… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 07:33:55 2011 +0100 Copyright notices updated.

1 0

[GIT] ppl/ppl(master): PIP_Tree: simplify unnecessarily complicated code in compatibility_check_find_pivot_in_set ().
by Marco Poletti 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: master Commit: 73cfc6e2390366f132e6967d225c4d5ec317bb46 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73cfc6e23903… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 14 21:23:11 2011 +0100 PIP_Tree: simplify unnecessarily complicated code in compatibility_check_find_pivot_in_set(). --- src/PIP_Tree.cc | 31 +++++++++++-------------------- 1 files changed, 11 insertions(+), 20 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 2660877..c9fe387 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -622,6 +622,7 @@ compatibility_check_find_pivot_in_set( // Not in base. const Row& row = s[row_index]; Row::const_iterator row_itr = row.lower_bound(pj); + Row::const_iterator new_row_itr; Row::const_iterator row_end = row.end(); PPL_DIRTY_TEMP_COEFFICIENT(row_value); if (row_itr != row_end && row_itr.index() == pj) { @@ -629,6 +630,7 @@ compatibility_check_find_pivot_in_set( ++row_itr; } else row_value = 0; + PPL_DIRTY_TEMP_COEFFICIENT(row_challenger_value); for (++i; i != i_end; ++i) { const dimension_type challenger_j = i->first; Coefficient_traits::const_reference challenger_cost = i->second.cost; @@ -638,27 +640,16 @@ compatibility_check_find_pivot_in_set( PPL_ASSERT(challenger_value > 0); PPL_ASSERT(pj < challenger_j); - PPL_DIRTY_TEMP_COEFFICIENT(row_challenger_value); - // row_challenger_value = &(row.get(challenger_j)); - if (row_itr != row_end) { - if (row_itr.index() < challenger_j) { - row_itr = row.lower_bound(row_itr, challenger_j); - if (row_itr != row_end && row_itr.index() == challenger_j) { - row_challenger_value = *row_itr; - ++row_itr; - } else - row_challenger_value = 0; - } else { - if (row_itr.index() == challenger_j) { - row_challenger_value = *row_itr; - ++row_itr; - } else { - PPL_ASSERT(row_itr.index() > challenger_j); - row_challenger_value = 0; - } - } - } else + new_row_itr = row.find(row_itr, challenger_j); + if (new_row_itr != row.end()) { + row_challenger_value = *new_row_itr; + // Use new_row_itr as a hint in next iterations + row_itr = new_row_itr; + } else { row_challenger_value = 0; + // Using end() as a hint is not useful, keep the current hint. + } + PPL_ASSERT(row_challenger_value == row.get(challenger_j)); // Before computing and comparing the actual values, the signs are // compared. This speeds up the code, because the values' computation

1 0

[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