- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Improved doxygen docs for Matrix::permute_columns().
by Enea Zaffanella 15 Aug '10

15 Aug '10

Module: ppl/ppl Branch: master Commit: fb8063c03702de01c22e136ef8a12bb2109b28f1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb8063c03702… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Aug 15 15:24:43 2010 +0200 Improved doxygen docs for Matrix::permute_columns(). --- src/Matrix.defs.hh | 8 ++++++-- 1 files changed, 6 insertions(+), 2 deletions(-) diff --git a/src/Matrix.defs.hh b/src/Matrix.defs.hh index 2ee3a24..294d40e 100644 --- a/src/Matrix.defs.hh +++ b/src/Matrix.defs.hh @@ -279,13 +279,17 @@ public: The \p cycles vector contains, one after the other, the non-trivial cycles (i.e., the cycles of length greater than one) - of a permutation of non-zero column indexes. Each cycle is - terminated by zero. For example, assuming the matrix has 6 + of a permutation of \e non-zero column indexes. Each cycle is + terminated by zero. For example, assuming the matrix has 7 columns, the permutation \f$ \{ 1 \mapsto 3, 2 \mapsto 4, 3 \mapsto 6, 4 \mapsto 2, 5 \mapsto 5, 6 \mapsto 1 \}\f$ can be represented by the non-trivial cycles \f$(1 3 6)(2 4)\f$ that, in turn can be represented by a vector of 6 elements containing 1, 3, 6, 0, 2, 4, 0. + + \note + The first column of the matrix, having index zero, is never involved + in a permutation. */ void permute_columns(const std::vector<dimension_type>& cycles);

1 0

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

14 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=308a2daee320… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 21:59:22 2010 +0200 tests/CO_Tree: add more tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e3e6b5bb5ca… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 21:58:42 2010 +0200 CO_Tree: simplify the insert() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e66ee0820b57… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 21:58:13 2010 +0200 CO_Tree: make the precondition of rebuild_smaller_tree() stronger. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0fec3b21d09… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 21:57:35 2010 +0200 CO_Tree: make the precondition of redistribute_elements_in_subtree() stronger. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d25eb6c41088… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 21:57:00 2010 +0200 CO_Tree: make the precondition of compact_elements_in_the_rightmost_end() stronger. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c846cc0a013… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 21:52:50 2010 +0200 CO_Tree: make assertion stronger, in rebalance(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a8c2189a0da… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 21:51:00 2010 +0200 CO_Tree: remove least_common_ancestor(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3a1f4d20370… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 21:49:55 2010 +0200 CO_Tree: don't use least_common_ancestor() in erase(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0aeaee3f4f7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 21:49:26 2010 +0200 CO_Tree: use clear() in erase(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c51c26cba2c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 21:48:45 2010 +0200 CO_Tree: turn always-false condition into assertion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c21f94d16808… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 16:57:54 2010 +0200 CO_Tree: add some tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16b7fbe523d1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 15:04:38 2010 +0200 CO_Tree: remove the constructor from an std::vector. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0558fab3c5f5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 15:04:27 2010 +0200 Unlimited_Sparse_Row: remove the constructor from an std::vector. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db43c2dd6cbc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 15:04:14 2010 +0200 Sparse_Row: remove the constructor from an std::vector. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c8f73fc34bf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 10:45:51 2010 +0200 PIP_Tree: avoid warning in release mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33531ffa7a02… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 10:45:31 2010 +0200 CO_Tree: avoid warnings in release mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0634c1946bac… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 10:39:21 2010 +0200 Sparse_Row, Sparse_Row_Reference: make OK() methods private. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d62ffb24bc86… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 10:35:09 2010 +0200 CO_Tree: document return value of bisect_near() when the tree is empty. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d801693c7b5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 10:32:35 2010 +0200 Unlimited_Sparse_Row: remove FIXME. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e703889e9b0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 10:05:56 2010 +0200 PIP_Solution_Node: optimize update_solution(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bac5b9a5ea6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 09:59:04 2010 +0200 PIP_Solution_Node: remove unused #ifdef and optimize code, in generate_cut() (#3). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c5340d919ad… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 09:56:55 2010 +0200 PIP_Solution_Node: remove unused #ifdef and optimize code, in generate_cut() (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c4ec83d4157a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 09:51:12 2010 +0200 PIP_Solution_Node: remove unused #ifdef and optimize code, in generate_cut(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7274e8b094bc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 09:41:41 2010 +0200 PIP_Solution_Node: optimize generate_cut() (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=169fcda092e6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 09:41:32 2010 +0200 PIP_Solution_Node: optimize generate_cut() (#1). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f589bfee678c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 09:22:51 2010 +0200 PIP_Solution_Node: simplify code in solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f06fbac162d2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 09:20:03 2010 +0200 PIP_Solution_Node: optimize the solve() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0075b504e68… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 09:14:09 2010 +0200 PIP_Solution_Node: remove unused #ifdef and simplify code in solve() (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e5c6d597654… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 09:10:34 2010 +0200 PIP_Solution_Node: remove unused #ifdef and simplify code in solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d334d42d865a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 09:06:43 2010 +0200 PIP_Solution_Node: simplify code in solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f94a98af9f9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 09:01:51 2010 +0200 PIP_Solution_Node: remove unused #ifdef(s) and simplify code, in update_tableau(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dd81aac447b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 08:37:16 2010 +0200 PIP_Tree_Node: improve indentation and code readability in compatibility_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8651240d54c4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 08:31:14 2010 +0200 PIP_Tree_Node: remove unused #ifdef in compatibility_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91e255bca808… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 08:25:17 2010 +0200 PIP_Solution_Node::Tableau: optimize and simplify code in is_better_pivot(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90c35c9a6120… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 08:19:12 2010 +0200 PIP_Solution_Node::Tableau: simplify code in scale(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2331ea90d75… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 07:58:13 2010 +0200 MIP_Problem: optimize process_pending_constraints() for sparse matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=894bda63f851… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 14 07:57:36 2010 +0200 MIP_Problem: remove unused variable.

1 0

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

13 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e484492c102… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 19:33:03 2010 +0200 PIP_Tree_Node: turn always-true if condition into assertion, in add_constraint(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fae82a2cb6ac… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 19:17:08 2010 +0200 PIP_Tree.cc: rename some types used in compatibility_check_find_pivot(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d39d7c5a0f9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 19:15:46 2010 +0200 PIP_Tree.cc: rename some types used in compatibility_check_find_pivot_in_set(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7fd5b0d0f62a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 19:05:16 2010 +0200 PIP_Tree.cc: optimize find_lexico_minimum_column() for sparse matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd40d699a73e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 18:51:47 2010 +0200 PIP_Tree.cc: remove variable that is unused in release mode, in find_lexico_minimum_column_in_set(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0eb3e2f6a83… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 18:45:43 2010 +0200 PIP_Tree.cc: call reset() when needed, in complement_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b15e5c929719… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 18:44:54 2010 +0200 Dense_Row: add a reset() method taking an iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb8a47171ae3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 18:34:44 2010 +0200 PIP_Tree.cc: optimize merge_assign() for sparse matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d51a66f796e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 18:29:43 2010 +0200 PIP_Problem: optimize solve() for sparse matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d4e5cb6bbf6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 18:19:22 2010 +0200 MIP_Problem: fix indentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25c5afbc3f4b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 18:05:49 2010 +0200 MIP_Problem: remove unused code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a73471410543… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 17:30:21 2010 +0200 MIP_Problem: remove unneeded variable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b91c3d3d979c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 17:08:04 2010 +0200 Dense_Row: allow every value of (unused) hint iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbd690983494… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 16:44:05 2010 +0200 Move conditional typedefs from PIP_Tree, PIP_Problem and MIP_Problem into Dense_Matrix and Sparse_Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19bbe2e73234… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 16:08:45 2010 +0200 Sparse_Matrix: use Unlimited_Sparse_Row::clear() in the ascii_load() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55492960444f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 16:08:10 2010 +0200 Sparse_Row, Sparse_Row_Reference: add the clear() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a92170d5b94… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 16:07:26 2010 +0200 Unlimited_Sparse_Row: add the clear() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7585d96a035e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 16:07:11 2010 +0200 CO_Tree: add the clear() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e04192147260… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 15:41:12 2010 +0200 CO_Tree, Sparse_Matrix, Sparse_Row, Sparse_Row_Reference, Unlimited_Sparse_Row: change the Doxygen documentation to follow the PPL coding standards. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56030b147247… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 12:33:26 2010 +0200 Sparse_Matrix: document all methods and fields. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad6f07bf9e8c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 11:39:51 2010 +0200 Sparse_Matrix: indentation fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a23b24b83e83… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 11:39:33 2010 +0200 Sparse_Matrix: move some code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42297d0efd04… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 11:39:11 2010 +0200 Sparse_Matrix: optimize the OK() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bbcc1cfc6e9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 11:38:34 2010 +0200 Sparse_Matrix: use iterators instead of indexes in external_memory_in_bytes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98d07ebadf53… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 11:38:01 2010 +0200 Sparse_Matrix: improve code readability URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43b9725b97f6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 11:28:03 2010 +0200 Unlimited_Sparse_Row: remove typedef for This, fix indentation URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=760a0e09eabe… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 11:17:13 2010 +0200 Sparse_Row, Sparse_Row_Reference: add before_cbegin(), cbegin() and cend() methods, return const& in before_begin() and end() methods, add documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=133c55187159… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 11:16:11 2010 +0200 Unlimited_Sparse_Row: add before_cbegin(), cbegin() and cend() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60ea15d1a14d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 11:13:56 2010 +0200 CO_Tree: add before_cbegin(), cbegin() and cend() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f99cd898f3f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 09:54:59 2010 +0200 Sparse_Row, Sparse_Row_Reference: optimize OK() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02c34db3b8da… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 09:52:12 2010 +0200 Sparse_Row_Reference: add documentation of the class itself. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecc762f03c8c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 09:49:26 2010 +0200 Sparse_Row: optimize the resize() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25d70aef7dd7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 09:49:03 2010 +0200 Sparse_Row, Sparse_Row_Reference: don't inline OK() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=803393d3586d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 09:30:43 2010 +0200 Sparse_Row, Sparse_Row_Reference: document all methods and fields. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3474bffea07d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 09:29:38 2010 +0200 Unlimited_Sparse_Row: clarify comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52521c82ec8f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 13 09:29:14 2010 +0200 CO_Tree: fix compiling error in release mode.

1 0

[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