August 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_11-branch): Corrected a bug affecting Interval:: CC76_widening_assign(const From&, Iterator, Iterator).
by Roberto Bagnara 13 Aug '10

13 Aug '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 535657baab7b4f5e6d884a7fcdc2138b1ea0797c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=535657baab7b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 13 15:37:24 2010 +0200 Corrected a bug affecting Interval::CC76_widening_assign(const From&, Iterator, Iterator). This, in turn, affected Box::CC76_widening_assign(const T&, Iterator, Iterator): lower bound would not be computed correctly when the two iterators specify an empty list of stop points. Many thanks to Sagar Chaki and Arie Gurfinkel. --- NEWS | 16 ++++++++++++++++ src/Interval.templates.hh | 8 ++++++-- tests/Box/cc76widening.cc | 33 +++++++++++++++++++++++++++++++++ 3 files changed, 55 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index d9508f0..67c19e2 100644 --- a/NEWS +++ b/NEWS @@ -4,6 +4,22 @@ Parma Polyhedra Library NEWS -- history of user-visible changes -------------------------------------------------------------------------- +NEWS for version 0.11 (release date to be decided) +-------------------------------------------------------------------------- + +Bugfixes +======== + +o Corrected a bug affecting methods + + Box::CC76_widening_assign(const T&, Iterator, Iterator) + Interval::CC76_widening_assign(const From&, Iterator, Iterator) + + whereby a lower bound would not be computed correctly when the two + iterators specify an empty list of stop points. + + +-------------------------------------------------------------------------- NEWS for version 0.11 (released on August 2, 2010) -------------------------------------------------------------------------- diff --git a/src/Interval.templates.hh b/src/Interval.templates.hh index 456458e..eedd48e 100644 --- a/src/Interval.templates.hh +++ b/src/Interval.templates.hh @@ -120,8 +120,12 @@ Interval<Boundary, Info>::CC76_widening_assign(const From& y, x.lower_extend(); } } - else - x_lb = *--k; + else { + if (k != first) + x_lb = *--k; + else + x.lower_extend(); + } } } } diff --git a/tests/Box/cc76widening.cc b/tests/Box/cc76widening.cc index 0c7eccf..44a6ce0 100644 --- a/tests/Box/cc76widening.cc +++ b/tests/Box/cc76widening.cc @@ -78,9 +78,42 @@ test02() { return ok; } +bool +test03() { + typedef TBox::interval_type::boundary_type tbt; + // No stop point indeed. + tbt stop_points; + + Variable x(0); + Variable y(1); + + TBox box1(2); + box1.add_constraint(x >= 1); + box1.add_constraint(x <= 4); + + TBox box2(2); + box2.add_constraint(x >= 3); + box2.add_constraint(x <= 4); + + print_constraints(box1, "*** box1 ***"); + print_constraints(box2, "*** box2 ***"); + + box1.CC76_widening_assign(box2, &stop_points, &stop_points); + + Rational_Box known_result(2); + known_result.add_constraint(x <= 4); + + bool ok = check_result(box1, known_result); + + print_constraints(box1, "*** box1.CC76_widening_assign(box2) ***"); + + return ok; +} + } // namespace BEGIN_MAIN DO_TEST(test01); DO_TEST(test02); + DO_TEST(test03); END_MAIN

1 0

[GIT] ppl/ppl(master): Corrected a bug affecting Interval:: CC76_widening_assign(const From&, Iterator, Iterator).
by Roberto Bagnara 13 Aug '10

13 Aug '10

Module: ppl/ppl Branch: master Commit: 535657baab7b4f5e6d884a7fcdc2138b1ea0797c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=535657baab7b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 13 15:37:24 2010 +0200 Corrected a bug affecting Interval::CC76_widening_assign(const From&, Iterator, Iterator). This, in turn, affected Box::CC76_widening_assign(const T&, Iterator, Iterator): lower bound would not be computed correctly when the two iterators specify an empty list of stop points. Many thanks to Sagar Chaki and Arie Gurfinkel. --- NEWS | 16 ++++++++++++++++ src/Interval.templates.hh | 8 ++++++-- tests/Box/cc76widening.cc | 33 +++++++++++++++++++++++++++++++++ 3 files changed, 55 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index d9508f0..67c19e2 100644 --- a/NEWS +++ b/NEWS @@ -4,6 +4,22 @@ Parma Polyhedra Library NEWS -- history of user-visible changes -------------------------------------------------------------------------- +NEWS for version 0.11 (release date to be decided) +-------------------------------------------------------------------------- + +Bugfixes +======== + +o Corrected a bug affecting methods + + Box::CC76_widening_assign(const T&, Iterator, Iterator) + Interval::CC76_widening_assign(const From&, Iterator, Iterator) + + whereby a lower bound would not be computed correctly when the two + iterators specify an empty list of stop points. + + +-------------------------------------------------------------------------- NEWS for version 0.11 (released on August 2, 2010) -------------------------------------------------------------------------- diff --git a/src/Interval.templates.hh b/src/Interval.templates.hh index 456458e..eedd48e 100644 --- a/src/Interval.templates.hh +++ b/src/Interval.templates.hh @@ -120,8 +120,12 @@ Interval<Boundary, Info>::CC76_widening_assign(const From& y, x.lower_extend(); } } - else - x_lb = *--k; + else { + if (k != first) + x_lb = *--k; + else + x.lower_extend(); + } } } } diff --git a/tests/Box/cc76widening.cc b/tests/Box/cc76widening.cc index 0c7eccf..44a6ce0 100644 --- a/tests/Box/cc76widening.cc +++ b/tests/Box/cc76widening.cc @@ -78,9 +78,42 @@ test02() { return ok; } +bool +test03() { + typedef TBox::interval_type::boundary_type tbt; + // No stop point indeed. + tbt stop_points; + + Variable x(0); + Variable y(1); + + TBox box1(2); + box1.add_constraint(x >= 1); + box1.add_constraint(x <= 4); + + TBox box2(2); + box2.add_constraint(x >= 3); + box2.add_constraint(x <= 4); + + print_constraints(box1, "*** box1 ***"); + print_constraints(box2, "*** box2 ***"); + + box1.CC76_widening_assign(box2, &stop_points, &stop_points); + + Rational_Box known_result(2); + known_result.add_constraint(x <= 4); + + bool ok = check_result(box1, known_result); + + print_constraints(box1, "*** box1.CC76_widening_assign(box2) ***"); + + return ok; +} + } // namespace BEGIN_MAIN DO_TEST(test01); DO_TEST(test02); + DO_TEST(test03); END_MAIN

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 12 Aug '10

12 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed94e6483cad… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:57:23 2010 +0200 Sparse_Row: add unnecessary include, to please KDevelop4. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7386df6a889… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:53:53 2010 +0200 Unlimited_Sparse_Row: remove unnecessary code in combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d949bcfe2cc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:53:30 2010 +0200 Unlimited_Sparse_Row: pass a hint to find_create() in combine_needs_second(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3157df8759ca… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:52:33 2010 +0200 Unlimited_Sparse_Row: simplify code in the assign() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49c67b4f5061… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:52:06 2010 +0200 CO_Tree: add a little optimization in reset(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de40a8eeebc7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:50:21 2010 +0200 Unlimited_Sparse_Row: optimize the reset() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4d67b781424… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:49:52 2010 +0200 Unlimited_Sparse_Row: make code in all find() and lower_bound() methods similar. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=475c47ef04c8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:48:45 2010 +0200 Unlimited_Sparse_Row: don't using invalidated iterators in swap(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bfb95f8dc544… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:47:56 2010 +0200 Unlimited_Sparse_Row: indentation fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fda108225f18… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:44:51 2010 +0200 Unlimited_Sparse_Row: document all methods and the tree field. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09c379f72f66… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:43:49 2010 +0200 Unlimited_Sparse_Row: remove unnecessary include. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e7448d30361… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:43:19 2010 +0200 CO_Tree: add comment on maximum row size. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=550fcfc51c4c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 20:43:02 2010 +0200 CO_Tree: clarify comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14522aba3024… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:18:01 2010 +0200 CO_Tree::tree_iterator: add assertions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b5d4a6705cc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:17:43 2010 +0200 CO_Tree::const_iterator: fix assertion in operator++(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58f3fdf3bc93… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:17:20 2010 +0200 CO_Tree: indentation fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c33c52d56706… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:15:59 2010 +0200 CO_Tree: simplify some code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5812888b1ea0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:14:18 2010 +0200 CO_Tree: always increase the tree size in insert_precise() instead of rebalance(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efe9874d2963… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:11:37 2010 +0200 CO_Tree: improve some comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43e17c0f5298… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:10:46 2010 +0200 CO_Tree: simplify code in rebuild_bigger_tree(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=040d38e92965… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:10:05 2010 +0200 CO_Tree: simplify code in increase_keys_after(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6467b18aefcf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:09:19 2010 +0200 CO_Tree: optimize erase_element_and_shift_left(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d993935a799… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:08:53 2010 +0200 CO_Tree: simplify code in the insert() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43af21e7c56d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:07:34 2010 +0200 CO_Tree: fix bug in constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=862cbe506504… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:07:11 2010 +0200 CO_Tree: fix comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=176cd4b06f92… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 18:06:35 2010 +0200 CO_Tree: optimize constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac1426f7647f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 17:00:32 2010 +0200 CO_Tree: move some code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19c4a2b402b1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 16:58:50 2010 +0200 CO_Tree::iterator, CO_Tree::const_iterator: add postfix ++ and postfix -- operators.

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 12 Aug '10

12 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8ef334f772b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 16:52:04 2010 +0200 CO_Tree: fix comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e661602b2820… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 16:32:33 2010 +0200 CO_Tree: inline insert_in_empty_tree(), un-inline least_common_ancestor(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f53a618ca65… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 16:23:06 2010 +0200 CO_Tree: improve comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=257c035ff100… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 16:22:49 2010 +0200 CO_Tree, CO_Tree::const_iterator: change the value_type definition. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05f23569a4f4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 16:21:37 2010 +0200 CO_Tree: now go_down_searching_key() is a method of CO_Tree::tree_iterator instead of CO_Tree. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d721b80f3f67… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 16:05:13 2010 +0200 CO_Tree: rename redistribute_elements_in_subtree_helper() into redistribute_elements_in_subtree(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=127785a4aefa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 16:04:31 2010 +0200 CO_Tree: improve comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddf46eb5db0f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 16:00:51 2010 +0200 CO_Tree: update documentation with the new constants' names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2791a6264509… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 16:00:22 2010 +0200 CO_Tree: merge the redistribute_elements_in_subtree() method into rebalance(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8cbd94a5663… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 15:59:12 2010 +0200 CO_Tree: simplify code in rebalance(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b356189cdc08… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 15:58:42 2010 +0200 CO_Tree: make the OK() method private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d25d70be06fb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 15:58:09 2010 +0200 Unlimited_Sparse_Row: remove the OK() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=104282931d5d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 15:57:38 2010 +0200 Sparse_Row, Sparse_Row_Reference: don't call Unlimited_Sparse_Row::OK() in the OK() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e714b7243f5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 15:56:56 2010 +0200 Sparse_Matrix: don't call Unlimited_Sparse_Row::OK() in the OK() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aba89797f78a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 14:49:47 2010 +0200 CO_Tree: don't use float/double for densities, use exact calculations instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0769fc57e754… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 14:34:08 2010 +0200 CO_Tree: sort method implementations in the same order as method declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50159f961810… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 09:08:27 2010 +0200 CO_Tree: fix typo in comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7edd7af6924f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 09:07:57 2010 +0200 CO_Tree: remove unnecessary includes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c902d1c0444a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 12 07:56:38 2010 +0200 CO_Tree: add check on reserved_size in structure_OK(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab7f71fc8b01… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 18:49:06 2010 +0200 CO_Tree::iterator: fix constructor documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8735f3134718… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 18:46:11 2010 +0200 CO_Tree::iterator, CO_Tree::const_iterator: make Member_Access_Helper and Const_Member_Access_Helper private, add documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f613e3eeb0ea… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 18:42:14 2010 +0200 CO_Tree: rewrite most of the documentation, add documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3d30dc963a6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 18:41:26 2010 +0200 CO_Tree::const_iterator: make Const_Member_Access_Helper private, add documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16fc15434952… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 15:58:09 2010 +0200 CO_Tree: add compile-time check for height_t. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4a547bc6639… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 12:22:38 2010 +0200 CO_Tree: improve code readability and adjust stack size in redistribute_elements_in_subtree_helper(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bfc8bbd3956… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 12:22:01 2010 +0200 CO_Tree: improve readability of move_data_from(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=472f096006af… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 12:20:57 2010 +0200 CO_Tree: improve code readability and adjust stack size, in the constructor from an std::vector. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0cb5abc6f54… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 11:49:18 2010 +0200 CO_Tree: optimize increase_keys_after(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67576c96fb95… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 11:47:39 2010 +0200 CO_Tree: fix bug in increase_keys_after(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b877e1a10598… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 11:38:42 2010 +0200 Unlimited_Sparse_Row: use the new contract of end() to avoid calculations of end() at each write operation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bdd88752a53… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 11:37:08 2010 +0200 Unlimited_Sparse_Row: clarify code in reset() and reset_after(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d0e2d9df3a8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 11:35:50 2010 +0200 Unlimited_Sparse_Row: use PPL_DIRTY_TEMP_COEFFICIENT when possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=120cbd29305b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 11:20:02 2010 +0200 Unlimited_Sparse_Row: use the same signature and contract used in CO_Tree for before_begin() and end(). Add documentation for begin() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f07f329428c1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 11:14:15 2010 +0200 Unlimited_Sparse_Row: add before_begin() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dc9b0e37c74… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 11:09:51 2010 +0200 Unlimited_Sparse_Row: use bisect() instead of bisect_in() when needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7606b24ceac0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 11:09:03 2010 +0200 Unlimited_Sparse_Row: fix indentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e722a0ea6f4d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:59:25 2010 +0200 CO_Tree: improve readability of bisect_near(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4f9c478e5cd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:58:59 2010 +0200 CO_Tree: improve documentation of bisect() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=588eedffcf34… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:49:09 2010 +0200 CO_Tree: remove always-true condition in erase(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db14c36d6a2b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:48:42 2010 +0200 CO_Tree: improve readability of erase(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc68ad669fc4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:48:22 2010 +0200 CO_Tree: fix external_memory_in_bytes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b1bb20fa68b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:47:56 2010 +0200 CO_Tree: weaken the requirements for bisect_near() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d29cece15839… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:47:11 2010 +0200 CO_Tree: add bisect() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1725ebdb863e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:29:14 2010 +0200 CO_Tree::tree_iterator: optimize follow_{left,right}_childs_with_value() methods.

1 0

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

11 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6dcb62003edb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:13:24 2010 +0200 CO_Tree::tree_iterator: remove get_left_child_value() and get_right_child_value(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=570c747de13c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:12:21 2010 +0200 CO_Tree: don't use get_left_child_value() and get_right_child_value(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df44dfe5875b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:08:06 2010 +0200 CO_Tree: don't use get_left_child_value() and get_right_child_value() in erase(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f38286724220… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:01:28 2010 +0200 CO_Tree: don't use get_left_child_value() and get_right_child_value() without a real need, in rebalance(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef44fc40d3f4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 10:00:33 2010 +0200 CO_Tree: remove assertion from count_used_in_subtree(), weakening its precondition. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14e6ec51ab8c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 09:41:09 2010 +0200 CO_Tree: add swap() method to iterator and const_iterator, specialize std::swap(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cfa65641c5b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 09:40:34 2010 +0200 CO_Tree: add assertion in move_data_from(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d4054269522… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 11 09:40:10 2010 +0200 CO_Tree: cache before_begin() and end() iterators, so users of CO_Tree don't need to recalculate them at each write operation anymore. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=730ac0a30243… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 19:50:15 2010 +0200 CO_Tree: move iterator's and const_iterator's declarations inside the CO_Tree class declaration. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b48b7dff1a8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 12:27:25 2010 +0200 CO_Tree: use Coefficient_zero() in erase(), instead of declaring an equivalent static variable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bc380a54510… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 12:24:17 2010 +0200 Unlimited_Sparse_Row: use the value returned by CO_Tree::erase() when needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f126aa54fdf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 12:21:21 2010 +0200 CO_Tree: add least_common_ancestor() method. Return an iterator to the next element in erase(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0d70d1fd4c8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 12:19:32 2010 +0200 tests/CO_Tree: don't check the value returned by erase(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df88eb4be26b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 10:27:10 2010 +0200 CO_Tree: add debugging checks to iterator and const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16903a310394… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 09:58:24 2010 +0200 CO_Tree: make count_used_in_subtree() take an iterator parameter by value instead of by reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28c1f80b73cd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 09:54:31 2010 +0200 CO_Tree: make redistribute_elements_in_subtree() take an iterator parameter by value instead of by reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0746c6eb3f8a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 09:51:48 2010 +0200 CO_Tree: make rebalance() return an iterator instead of taking an iterator parameter by reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cff8bee69de… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 09:45:40 2010 +0200 CO_Tree: make go_down_searching_key() return an iterator instead of taking an iterator parameter by reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a24075d152d3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 09:37:15 2010 +0200 CO_Tree: make insert_precise return an iterator instead of taking an iterator parameter by reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ec297fd8da3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 09:28:43 2010 +0200 CO_Tree::tree_iterator: replace has_parent() method with is_root(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=298345fe44e4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 09:24:57 2010 +0200 CO_Tree::tree_iterator: keep a CO_Tree& instead of a CO_Tree* const. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=83c5b3c0dd3f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 09:18:42 2010 +0200 CO_Tree: define height_t as unsigned. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc25d0e5d66f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 09:18:11 2010 +0200 CO_Tree::tree_iterator: depth() now returns a height_t instead of an unsigned. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0348e313f0e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 09:08:59 2010 +0200 PIP_Tree: avoid compiler warning in release mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9fa65932aee… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 09:05:31 2010 +0200 Dense_Row: remove the get2() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb1b26006c2c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 10 09:03:35 2010 +0200 Sparse_Row: add include. It is needed for release builds.

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 09 Aug '10

09 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86879cf4f1ff… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 20:16:42 2010 +0200 CO_Tree: un-inline bisect_in() and bisect_near() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13bb6ad495c9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 20:13:24 2010 +0200 CO_Tree: bisect_in() and bisect_near() methods now take an index as argument instead of a functor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9229c90074da… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 19:33:35 2010 +0200 CO_Tree: un-inline some methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f18e1823103… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 19:33:10 2010 +0200 Unlimited_Sparse_Row: reorder some method declarations and definitions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b897f9c29da… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 19:19:39 2010 +0200 Unlimited_Sparse_Row: remove the wrappers for CO_Tree's iterator and const_iterator. They do not add anything useful anymore. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbc8c070698d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 19:16:14 2010 +0200 CO_Tree: add STL-compliant typedefs in iterator and const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ffdb5e8f6bb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 19:03:51 2010 +0200 CO_Tree: iterators no longer allow changing an element's key. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=284438597f2e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 18:59:47 2010 +0200 Unlimited_Sparse_Row: move implementation of delete_element_and_shift() and add_zeroes_and_shift() into CO_Tree. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a6b0f42a1fe… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 18:34:02 2010 +0200 CO_Tree::const_iterator: remove the get_tree() declaration. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3224f54a573e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 18:28:43 2010 +0200 CO_Tree: rewrite the implementation of const_iterator and iterator to improve performance. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e9fb09543fe… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 18:23:15 2010 +0200 CO_Tree: remove some calls to iterators' is_before_begin() and is_at_end() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54f2e0ccdb72… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 18:18:25 2010 +0200 Unlimited_Sparse_Row: don't use is_before_begin() and is_at_end() methods on CO_Tree iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2f60b5966af… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 17:02:06 2010 +0200 CO_Tree: remove get_tree() methods from iterator and const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88482bce5400… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 16:58:35 2010 +0200 CO_Tree: iterator needs not be friend of tree_iterator anymore. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc1aaf1dde08… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 16:57:57 2010 +0200 CO_Tree::tree_iterator: don't access iterators' fields directly. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0294d9d815fa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 16:56:30 2010 +0200 CO_Tree::tree_iterator: add a CO_Tree& argument in the constructor from an iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f46405068f5d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 16:45:30 2010 +0200 CO_Tree: iterator and const_iterator need not be friends of CO_Tree anymore. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=816eb7b014d2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 16:44:40 2010 +0200 CO_Tree: don't access iterator's and const_iterator's fields directly. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85b5acee61a5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 16:43:36 2010 +0200 CO_Tree: remove construct_before_begin() and construct_end() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26475961a10f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 16:43:03 2010 +0200 CO_Tree: don't use construct_before_begin() and construct_end(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30abea1fe7e9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 16:31:45 2010 +0200 CO_Tree: add two-argument constructors to const_iterator and iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16b014d6be08… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 15:40:31 2010 +0200 CO_Tree: turn always-true if conditions in iterator's and const_iterator's operator++() and operator--() into an assertion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4233fd97a4e3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 15:36:56 2010 +0200 CO_Tree: rename iterator's and const_iterator's get_next_value() into operator++() and get_previuos_value() into operator--(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65963ec41f21… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 15:24:07 2010 +0200 CO_Tree: remove operator++() and operator--() from iterator and const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d535f7027fb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 15:23:28 2010 +0200 CO_Tree: use CO_Tree::begin() instead of CO_Tree::before_begin(), in OK() and structure_OK(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35e720ab0c1c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 15:21:48 2010 +0200 CO_Tree: avoid a (possibly dangerous) conversion in the static initializer of unused_index. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e191baeb9216… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 15:20:41 2010 +0200 Unlimited_Sparse_Row: use CO_Tree::begin() instead of CO_Tree::before_begin(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe24a17b6709… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 15:11:32 2010 +0200 tests/CO_Tree: don't use CO_Tree::before_begin(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e54ad7c5723… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 15:08:54 2010 +0200 CO_Tree: check the size in OK(), not in structure_OK(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ebfedfb88b5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 15:07:50 2010 +0200 tests/CO_Tree: don't use CO_Tree::iterator::operator++(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=143d5edb8f58… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 12:49:56 2010 +0200 CO_Tree, Unlimited_Sparse_Row: split the iterator and const_iterator main constructor. CO_Tree: make the iterator and const_iterator constructor make the new iterator point to the first value, and add the begin() methods to CO_Tree. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=349f4fadd60a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 12:16:25 2010 +0200 CO_Tree: clarify signature of redistribute_elements_in_subtree_helper() and compact_elements_in_the_rightmost_end(). Remove obsolete assertions from redistribute_elements_in_subtree(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a682582e182a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 12:02:08 2010 +0200 CO_Tree: remove rendundant arguments from redistribute_elements_in_subtree_helper(), remove unreachable code in redistribute_elements_in_subtree(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96a2ecbe83d6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 11:51:33 2010 +0200 CO_Tree: optimize compact_elements_in_the_rightmost_end(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6cc076479f8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 11:22:58 2010 +0200 CO_Tree: use a dimension_type instead of an iterator in redistribute_elements_in_subtree() and compact_elements_in_the_rightmost_end(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eaf8f79ddfc4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 11:16:08 2010 +0200 CO_Tree: use a dimension_type instead of an iterator in redistribute_elements_in_subtree_helper(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9683c51ebc82… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 10:31:09 2010 +0200 CO_Tree: remove depth() method from iterator and const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1366ef425ab4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 10:26:02 2010 +0200 CO_Tree: add assertions in erase(iterator). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42a4458f4a01… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 10:22:28 2010 +0200 CO_Tree: add assertion and comment in go_down_searching_key(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e1265cb653a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 10:15:58 2010 +0200 CO_Tree: remove unused insert(tree_iterator, dimension_type, const data_type&) method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cac7ac29124… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 10:14:37 2010 +0200 CO_Tree: update documentation on requirements of insert(iterator, dimension_type). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75c0fd354ea3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 10:12:41 2010 +0200 CO_Tree: optimize insert(iterator, dimension_type, const data_type&) and insert(iterator, dimension_type) methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c9a7af03d49… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 09:15:44 2010 +0200 CO_Tree: weaken the preconditions to insert(iterator, dimension_type, const data_type&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e6c8ec3a4dd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 09:12:08 2010 +0200 CO_Tree: improve implementation of insert(dimension_type, const data_type&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1926e858b769… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 9 09:03:07 2010 +0200 CO_Tree: avoid magic number in insert().

1 0

[GIT] ppl/ppl(sparse_matrices): CO_Tree: don' t use an iterator in move_data_from().
by Marco Poletti 08 Aug '10

08 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: 55e47337b37778041bfaabfdec99d572f58499cb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55e47337b377… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 8 08:55:58 2010 +0200 CO_Tree: don't use an iterator in move_data_from(). --- src/CO_Tree.cc | 19 +++++++++++-------- 1 files changed, 11 insertions(+), 8 deletions(-) diff --git a/src/CO_Tree.cc b/src/CO_Tree.cc index 57fb757..b7fad8f 100644 --- a/src/CO_Tree.cc +++ b/src/CO_Tree.cc @@ -201,10 +201,10 @@ PPL::CO_Tree::move_data_from(CO_Tree& tree) { return; tree_iterator root(*this); - iterator itr = tree.before_begin(); - itr.get_next_value(); - PPL_ASSERT(itr->first != unused_index); + dimension_type source_index = 1; + while (tree.indexes[source_index] == unused_index) + ++source_index; // This is static and with static allocation, to improve performance. static std::pair<dimension_type,char> stack[5*CHAR_BIT*sizeof(dimension_type)]; @@ -261,11 +261,14 @@ PPL::CO_Tree::move_data_from(CO_Tree& tree) { } else { if (top_n == 1) { PPL_ASSERT(root->first == unused_index); - PPL_ASSERT(itr->first != unused_index); - root->first = itr->first; - itr->first = unused_index; - move_data_element(root->second, itr->second); - itr.get_next_value(); + PPL_ASSERT(tree.indexes[source_index] != unused_index); + root->first = tree.indexes[source_index]; + tree.indexes[source_index] = unused_index; + move_data_element(root->second, tree.data[source_index]); + PPL_ASSERT(source_index <= tree.reserved_size); + ++source_index; + while (tree.indexes[source_index] == unused_index) + ++source_index; --stack_first_empty; } else { PPL_ASSERT(stack_first_empty + 3 < sizeof(stack)/sizeof(stack[0]));

1 0

[GIT] ppl/ppl(sparse_matrices): CO_Tree: simplify code in the init() method .
by Marco Poletti 08 Aug '10

08 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: 74f9b2763033925deec4ee154f6d0071e1420f6c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74f9b2763033… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 8 08:50:12 2010 +0200 CO_Tree: simplify code in the init() method. --- src/CO_Tree.cc | 16 +++------------- 1 files changed, 3 insertions(+), 13 deletions(-) diff --git a/src/CO_Tree.cc b/src/CO_Tree.cc index c7f9229..57fb757 100644 --- a/src/CO_Tree.cc +++ b/src/CO_Tree.cc @@ -162,16 +162,10 @@ PPL::CO_Tree::init(dimension_type reserved_size1) { return; } - height_t l = 0; + max_depth = integer_log2(reserved_size1) + 1; - if (reserved_size1 == 0) - reserved_size1 = 1; - - l = integer_log2(reserved_size1); - // Add 1 to the log. - l++; - - reserved_size = ((dimension_type)1 << l) - 1; + size = 0; + reserved_size = ((dimension_type)1 << max_depth) - 1; indexes = new dimension_type[reserved_size + 2]; data = static_cast<data_type*>(operator new(sizeof(data_type) * (reserved_size + 1))); @@ -183,10 +177,6 @@ PPL::CO_Tree::init(dimension_type reserved_size1) { indexes[0] = 0; indexes[reserved_size + 1] = 0; - max_depth = l; - - size = 0; - PPL_ASSERT(structure_OK()); }

1 0

[GIT] ppl/ppl(sparse_matrices): CO_Tree: use new/delete instead of malloc/ free.
by Marco Poletti 08 Aug '10

08 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: f60831af32063af3c27545f290406252cc41ba98 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f60831af3206… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 8 08:44:31 2010 +0200 CO_Tree: use new/delete instead of malloc/free. --- src/CO_Tree.cc | 24 ++++++++---------------- src/CO_Tree.inlines.hh | 29 +++++++++++------------------ 2 files changed, 19 insertions(+), 34 deletions(-) diff --git a/src/CO_Tree.cc b/src/CO_Tree.cc index 495e616..c7f9229 100644 --- a/src/CO_Tree.cc +++ b/src/CO_Tree.cc @@ -172,19 +172,16 @@ PPL::CO_Tree::init(dimension_type reserved_size1) { l++; reserved_size = ((dimension_type)1 << l) - 1; - // We use malloc() instead of operator new(), because we want to use - // realloc(). - indexes = static_cast<dimension_type*>(malloc(sizeof(dimension_type) - * (reserved_size + 2))); - data = static_cast<data_type*>(malloc(sizeof(data_type) - * (reserved_size + 1))); + indexes = new dimension_type[reserved_size + 2]; + data = static_cast<data_type*>(operator new(sizeof(data_type) + * (reserved_size + 1))); // Mark all pairs as unused. for (dimension_type i = 1; i <= reserved_size; ++i) - new (&(indexes[i])) dimension_type(unused_index); + indexes[i] = unused_index; // These are used as markers by iterators. - new (&(indexes[0])) dimension_type(0); - new (&(indexes[reserved_size + 1])) dimension_type(0); + indexes[0] = 0; + indexes[reserved_size + 1] = 0; max_depth = l; @@ -200,15 +197,10 @@ PPL::CO_Tree::destroy() { for (dimension_type i = 1; i <= reserved_size; ++i) { if (indexes[i] != unused_index) data[i].~data_type(); - indexes[i].~dimension_type(); } - indexes[0].~dimension_type(); - indexes[reserved_size + 1].~dimension_type(); - // We use malloc()/free() instead of operator new()/operator delete() - // because we want to use realloc(). - free(static_cast<void*>(indexes)); - free(static_cast<void*>(data)); + delete [] indexes; + operator delete(static_cast<void*>(data)); } } diff --git a/src/CO_Tree.inlines.hh b/src/CO_Tree.inlines.hh index 5b1279d..43ee3a5 100644 --- a/src/CO_Tree.inlines.hh +++ b/src/CO_Tree.inlines.hh @@ -529,37 +529,30 @@ CO_Tree::rebuild_bigger_tree() { else { dimension_type new_reserved_size = reserved_size*2 + 1; - dimension_type* new_indexes - = static_cast<dimension_type*>(malloc(sizeof(dimension_type) - * (new_reserved_size + 2))); + dimension_type* new_indexes = new dimension_type[new_reserved_size + 2]; data_type* new_data - = static_cast<data_type*>(malloc(sizeof(data_type) - * (new_reserved_size + 1))); + = static_cast<data_type*>(operator new(sizeof(data_type) + * (new_reserved_size + 1))); - new (&(new_indexes[1])) dimension_type(unused_index); + new_indexes[1] = unused_index; for (dimension_type i = 1, j = 2; i <= reserved_size; ++i, ++j) { if (indexes[i] == unused_index) - new (&(new_indexes[j])) dimension_type(unused_index); + new_indexes[j] = unused_index; else { - new (&(new_indexes[j])) dimension_type(indexes[i]); + new_indexes[j] = indexes[i]; move_data_element(new_data[j], data[i]); } - indexes[i].~dimension_type(); ++j; - new (&(new_indexes[j])) dimension_type(unused_index); + new_indexes[j] = unused_index; } - // These were used as markers by iterators. - indexes[0].~dimension_type(); - indexes[reserved_size + 1].~dimension_type(); - // These are used as markers by iterators. - new (&(new_indexes[0])) dimension_type(0); - new (&(new_indexes[new_reserved_size + 1])) dimension_type(0); + new_indexes[0] = 0; + new_indexes[new_reserved_size + 1] = 0; - free(indexes); - free(data); + delete [] indexes; + operator delete(data); indexes = new_indexes; data = new_data;

1 0

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

07 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4f911909492… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 23:47:04 2010 +0200 CO_Tree: remove tree-related methods from iterator and const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b0cfe5b36e2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 23:45:32 2010 +0200 CO_Tree:: don't use follow_right_childs() in redistribute_elements_in_subtree(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1cbc51be9525… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 23:44:48 2010 +0200 tests/CO_Tree: don't visit the tree using an iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b2b240adc059… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 23:32:37 2010 +0200 CO_Tree: many changes, preparing removal of tree-related methods from iterator and const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10cd8fc5aef8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 23:31:08 2010 +0200 CO_Tree: use a tree_iterator instead of an iterator in insert(dimension_type, const data_type&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=172d64e4d153… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 23:29:46 2010 +0200 CO_Tree: use a tree_iterator instead of a const_iterator in structure_OK(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7c522435252… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 23:07:48 2010 +0200 CO_Tree: dump_subtree() now takes a tree_iterator as argument, instead of an iterator& or a const_iterator&. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49613dc8d660… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 23:02:11 2010 +0200 CO_Tree: don't use follow_right_childs_with_value() in compact_elements_in_the_rightmost_end(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63aa39d99dbf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 22:36:22 2010 +0200 CO_Tree: remove go_down_searching_key() overloads for iterator and const_iterator arguments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bca043d2881… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 22:35:30 2010 +0200 CO_Tree: use a tree_iterator instead of an iterator in insert_precise(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e678ed342c65… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 22:29:50 2010 +0200 CO_Tree: remove lower_bound() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cdf870378db1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 22:26:00 2010 +0200 Unlimited_Sparse_Row: use find() instead of go_down_searching_key() in get(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=209c7c604402… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 22:21:12 2010 +0200 Unlimited_Sparse_Row: use bisect_in() instead of go_down_searching_key() in assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=175a90b46486… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 22:16:14 2010 +0200 Unlimited_Sparse_Row: use bisect_in() instead of go_down_searching_key() in swap(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8ecae474416… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 22:11:27 2010 +0200 Unlimited_Sparse_Row: rename the helper class used as a functor and move it to the beginning of the file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c12d4497e54… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 22:07:02 2010 +0200 Unlimited_Sparse_Row: remove find2() and get2() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=381a9c7b3efa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 22:06:26 2010 +0200 Sparse_Row, Sparse_Row_Reference: remove get2() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a14af93cedc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 22:05:45 2010 +0200 PIP_Tree: use two calls to get() instead of get2(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e030281d127… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 22:05:26 2010 +0200 MIP_Problem: use two calls to get() instead of get2(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfcdb2258f92… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 21:16:10 2010 +0200 Unlimited_Sparse_Row: use CO_Tree::bisect_near() in lower_bound() methods with a hint iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7928e0ae3c53… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 21:07:59 2010 +0200 Unlimited_Sparse_Row: use CO_Tree::bisect_near() in find() methods with a hint iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=306e4f325f1c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 17:09:30 2010 +0200 CO_Tree: add bisect_near() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b69571c5b260… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 15:39:53 2010 +0200 Unlimited_Sparse_Row: use CO_Tree::bisect_in() in lower_bound(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac377f7cc45b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 15:39:10 2010 +0200 Unlimited_Sparse_Row: remove always-false conditions from find(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3acd70971ce2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 15:38:23 2010 +0200 CO_Tree: fix bisect_in(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a80b1a46a0a8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 15:38:05 2010 +0200 CO_Tree: remove obsolete comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88130c1c3cc4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 15:20:34 2010 +0200 Unlimited_Sparse_Row: use CO_Tree::bisect_in() in the const version of find(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff30d3a7f707… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 15:19:57 2010 +0200 Unlimited_Sparse_Row: fix the non-const version of find(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b62e847d47bb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 15:18:57 2010 +0200 CO_Tree: make the private bisect_in() a const method, fix a bug in it and add a public bisect_in() for const iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1206695be465… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 13:53:08 2010 +0200 CO_Tree: inline bisect_in(), to allow optimizations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8d589a3ff1b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 13:43:35 2010 +0200 Unlimited_Sparse_Row: use CO_Tree::bisect_in() in find(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18cfd33e14e6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 13:42:59 2010 +0200 CO_Tree: add bisect_in() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69e4a8bf5c62… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 12:02:04 2010 +0200 CO_Tree: remove the const_iterator version of count_used_in_subtree(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97e9c072611f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 11:55:04 2010 +0200 CO_Tree: use tree_iterator instead of iterator when needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2c970e393ba… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 11:46:50 2010 +0200 CO_Tree: split insert_in_empty_tree() out of insert_precise(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad6af6feaa93… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 11:30:48 2010 +0200 CO_Tree: use a tree_iterator instead of an iterator in move_data_from(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dff3f51189e2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 11:17:05 2010 +0200 CO_Tree: use a tree_iterator instead of an iterator in the constructor from a vector. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d58530751f3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 11:13:06 2010 +0200 CO_Tree: add tree_iterator inner class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aba8a92a6a19… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 10:58:39 2010 +0200 CO_Tree: split integer base-2 log out of init(), adding the integer_log2() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a65bb5135bd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 7 07:51:44 2010 +0200 CO_Tree: remove unneeded include. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea0875aeeb0b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 22:41:52 2010 +0200 Indentation and whitespace fixes.

1 0