- PPL-devel - BUGSENG Mailman

Re: [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'
by Sebastian Pop 28 Aug '10

28 Aug '10

Hi, I think that this is more relevant to be posted to the PPL mailing list rather than the CLooG development list. On Wed, Aug 25, 2010 at 12:38, sergstesh <sergstesh(a)gmail.com> wrote: > Hello, > > while building ppl-0.10.2 I've noticed that 'make check' produces a > number of errors (and ppl-0.11' 'make check' is > clean IIRC). > > OTOH, 'gcc' uses ppl-0.10.2. > > So, are the 'make check' errors in ppl-0.10.2 significant and do they > translate into 'gcc' bugs ? > I do not think that they would translate into gcc bugs. > If necessary, I can post screen output of 'make check' in question. > Please send the error messages that you are seeing, together with more information about the machine and OS that you are using. Thanks, Sebastian

4 14

[GIT] ppl/ppl(sparse_matrices): CO_Tree: improve code in rebalance().
by Marco Poletti 26 Aug '10

26 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: 99b6226ff57e3df6e82f71ed0e0b4f2b1733453e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99b6226ff57e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 26 09:41:26 2010 +0200 CO_Tree: improve code in rebalance(). --- src/CO_Tree.cc | 31 +++++++++++-------------------- 1 files changed, 11 insertions(+), 20 deletions(-) diff --git a/src/CO_Tree.cc b/src/CO_Tree.cc index e9a70bc..d4b9123 100644 --- a/src/CO_Tree.cc +++ b/src/CO_Tree.cc @@ -739,6 +739,14 @@ PPL::CO_Tree::rebuild_bigger_tree() { PPL::CO_Tree::tree_iterator PPL::CO_Tree::rebalance(tree_iterator itr, dimension_type key, const data_type& value) { + // Trees with reserved size 3 need not to be rebalanced. + // This check is needed because they can't be shrunk, so they may violate the + // density thresholds, and this would prevent the following while from working + // correctly. + if (reserved_size == 3) { + PPL_ASSERT(OK()); + return tree_iterator(*this); + } PPL_ASSERT(itr->first == unused_index || itr.is_leaf()); height_t itr_depth_minus_1 = itr.depth() - 1; height_t height = max_depth - itr_depth_minus_1; @@ -760,26 +768,9 @@ PPL::CO_Tree::rebalance(tree_iterator itr, dimension_type key, min_density_percent - itr_depth_minus_1 *(min_density_percent - min_leaf_density_percent) /(max_depth - 1))) { - if (itr_depth_minus_1 == 0) { - // TODO: Check if this is correct - // We may arrive here, because we are using a fake subtree_size (it - // isn't the real tree size, because the inserted/deleted element is - // already taken into account). -#ifndef NDEBUG - dimension_type real_subtree_size = subtree_size; - if (!deleting) - --real_subtree_size; - PPL_ASSERT(!is_greater_than_ratio(real_subtree_size, - subtree_reserved_size, - max_density_percent)); - if (is_greater_than_ratio(real_subtree_size, subtree_reserved_size, - min_density_percent)) - PPL_ASSERT(is_greater_than_ratio(real_subtree_size, - subtree_reserved_size/2, - max_density_percent)); -#endif - break; - } + // The density in the tree is correct, so the while condition is always + // false for the root. + PPL_ASSERT(itr_depth_minus_1 != 0); bool is_right_brother = itr.is_right_child(); itr.get_parent(); if (is_right_brother)

1 0

[GIT] ppl/ppl(sparse_matrices): CO_Tree, Sparse_Row, Sparse_Matrix: remove unnecessary includes.
by Marco Poletti 26 Aug '10

26 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: 7f3ebd8a305797d58c497b877f380a6f265c94df URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f3ebd8a3057… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 26 08:22:58 2010 +0200 CO_Tree, Sparse_Row, Sparse_Matrix: remove unnecessary includes. --- src/CO_Tree.inlines.hh | 4 ---- src/Sparse_Matrix.inlines.hh | 4 ---- src/Sparse_Row.inlines.hh | 4 ---- src/Sparse_Row.templates.hh | 4 ---- 4 files changed, 0 insertions(+), 16 deletions(-) diff --git a/src/CO_Tree.inlines.hh b/src/CO_Tree.inlines.hh index df66f5c..7225442 100644 --- a/src/CO_Tree.inlines.hh +++ b/src/CO_Tree.inlines.hh @@ -23,10 +23,6 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_CO_Tree_inlines_hh #define PPL_CO_Tree_inlines_hh 1 -// TODO: Remove this. -// Added to please KDevelop4. -#include "CO_Tree.defs.hh" - namespace Parma_Polyhedra_Library { inline diff --git a/src/Sparse_Matrix.inlines.hh b/src/Sparse_Matrix.inlines.hh index f7071d5..5888fad 100644 --- a/src/Sparse_Matrix.inlines.hh +++ b/src/Sparse_Matrix.inlines.hh @@ -23,10 +23,6 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Sparse_Matrix_inlines_hh #define PPL_Sparse_Matrix_inlines_hh 1 -// FIXME: Remove this. -// It's needed only to please KDevelop4. -#include "Sparse_Matrix.defs.hh" - namespace Parma_Polyhedra_Library { inline void diff --git a/src/Sparse_Row.inlines.hh b/src/Sparse_Row.inlines.hh index 657d5cd..8f17d2b 100644 --- a/src/Sparse_Row.inlines.hh +++ b/src/Sparse_Row.inlines.hh @@ -23,10 +23,6 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Sparse_Row_inlines_hh #define PPL_Sparse_Row_inlines_hh 1 -// FIXME: Remove this. -// It's needed only to please KDevelop4. -#include "Sparse_Row.defs.hh" - #include <algorithm> namespace Parma_Polyhedra_Library { diff --git a/src/Sparse_Row.templates.hh b/src/Sparse_Row.templates.hh index a982a47..6b3cc54 100644 --- a/src/Sparse_Row.templates.hh +++ b/src/Sparse_Row.templates.hh @@ -23,10 +23,6 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Sparse_Row_templates_hh #define PPL_Sparse_Row_templates_hh 1 -// TODO: Remove this. -// Added to please KDevelop4. -#include "Sparse_Row.defs.hh" - namespace Parma_Polyhedra_Library {

1 0

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

25 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a718e3ff0fc4… Merge: 38f9689c6f143134f6779154c1d112561732fc77 e5f7fe919c776c23735eae17d732e66366b20ad2 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 25 21:22:06 2010 +0200 Merge remote branch 'origin/master' into sparse_matrices URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38f9689c6f14… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 25 19:39:33 2010 +0200 weightwatch: increase the threshold to make the test pass when using sparse matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5f7fe919c77… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 25 18:29:52 2010 +0200 Added $(top_builddir)/src/libppl.la to ppl_lpsol_LDADD. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a09c912548c8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 25 18:03:48 2010 +0200 MIP_Problem: fix performance regression in steepest_edge_float_entering_index(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ed24bdf6764… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 25 15:01:57 2010 +0200 MIP_Problem: fix performance regression in steepest_edge_exact_entering_index(), when using dense matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9751e0d4870… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 24 19:34:08 2010 +0200 CO_Tree: tune density thresholds. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6cc39a76f05… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 24 19:14:29 2010 +0200 MIP_Problem: avoid unnecessary typedefs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce4560e5acda… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 24 19:05:46 2010 +0200 MIP_Problem: fix performance regression in the dense version of linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=329125cc4b23… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 24 19:04:57 2010 +0200 MIP_Problem: fix performance regression in steepest_edge_float_entering_index(), when using dense matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a3b54826ba6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 22 08:43:13 2010 +0200 CO_Tree: document that min_leaf_density_percent must be greater than zero. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e104003228ea… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 22 08:33:11 2010 +0200 Sparse_Row: document that hint iterators must be valid and point to that row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5692151ca9d7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 22 08:30:53 2010 +0200 CO_Tree: be exception-safe. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b1c36c75cfa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 22 08:15:48 2010 +0200 CO_Tree: perform checks that need an ABI change only when PPL_ABI_BREAKING_EXTRA_DEBUG is defined. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a79422cc9b0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 22 08:07:24 2010 +0200 Dense_Row: rename PPL_ROW_EXTRA_DEBUG macro into PPL_DENSE_ROW_EXTRA_DEBUG. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=580a9af4e07e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 22 08:05:56 2010 +0200 CO_Tree: rename increase_keys_after() method into increase_keys_from(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f18eaa6e889… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 22 07:55:01 2010 +0200 Improve Doxygen documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e6f4dae8cd0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 21 15:54:34 2010 +0200 Sparse_Matrix: do not inline complex methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=debb2b50274b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 21 15:53:15 2010 +0200 Sparse_Matrix: reorder method declarations and definitions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=881550bdcc3d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 21 15:25:36 2010 +0200 Sparse_Row: fix documentation for lower_bound() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a9feedb020a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 21 15:23:31 2010 +0200 Sparse_Row: do not inline complex methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4462c76d0bbb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 21 15:21:49 2010 +0200 Sparse_Row: reorder method declarations and definitions.

1 0

[GIT] ppl/ppl(master): Added $(top_builddir)/src/libppl. la to ppl_lpsol_LDADD.
by Roberto Bagnara 25 Aug '10

25 Aug '10

Module: ppl/ppl Branch: master Commit: e5f7fe919c776c23735eae17d732e66366b20ad2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5f7fe919c77… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 25 18:29:52 2010 +0200 Added $(top_builddir)/src/libppl.la to ppl_lpsol_LDADD. --- demos/ppl_lpsol/Makefile.am | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/demos/ppl_lpsol/Makefile.am b/demos/ppl_lpsol/Makefile.am index ffff80a..c11fba1 100644 --- a/demos/ppl_lpsol/Makefile.am +++ b/demos/ppl_lpsol/Makefile.am @@ -59,6 +59,7 @@ dummy.cc ppl_lpsol_LDADD = \ -lglpk \ $(top_builddir)/interfaces/C/libppl_c.la \ +$(top_builddir)/src/libppl.la \ @extra_libraries@ dist_man_MANS = \

1 0

Test suites about PPL
by Peng Li 23 Aug '10

23 Aug '10

Hi There Currently, I am trying to test the PPL library. I am wondering whether PPL has its own test suites to facilitate the testing, I found there is a sub-directory named "tests", but seems that "make check" under this directory does not work, but recursively compiles the source code. Any recommendation about this? Thanks a lot for your clarification.. Regards Peng

3 2

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

21 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3ceb220faf7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 21 11:15:07 2010 +0200 Sparse_Matrix: improve documentation, adapting to changes in Sparse_Row methods' complexity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=059dcc659aff… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 21 11:14:05 2010 +0200 Sparse_Row: improve documentation, adapting to changes in CO_Tree methods' complexity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4262e37da0f6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 21 11:13:19 2010 +0200 CO_Tree: improve documentation, fixing the complexities of insertions and deletions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=160169b91d93… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 21 10:36:21 2010 +0200 MIP_Problem: remove row_type typedef, to avoid confusion with matrix_type::row_type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a043709bfa7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 21 10:35:41 2010 +0200 MIP_Problem: do not use reset() on Dense_Row object, to avoid confusion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=508e7ef0c24e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Aug 21 10:24:40 2010 +0200 CO_Tree: fix documentation of min_density_percent. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=894dfa763006… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 19 08:20:31 2010 +0200 MIP_Problem: simplify code in steepest_edge_float_entering_index(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=83cc46a52f88… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 20:49:21 2010 +0200 MIP_Problem: optimize steepest_edge_exact_entering_index(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b11b61bdffac… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 20:23:24 2010 +0200 MIP_Problem: optimize steepest_edge_float_entering_index(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ca840351acf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 18:42:49 2010 +0200 CO_Tree: optimize count_used_in_subtree(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f2f64b76851… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 18:42:13 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=d251277cbce7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 16:54:00 2010 +0200 PIP_Tree: add comments about some optimizations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6de91284117a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 15:41:00 2010 +0200 CO_Tree: document the preconditions of copy_data_from(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3823ae3ce4db… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 15:40:34 2010 +0200 CO_Tree: add assertion in copy_data_from(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff2849cb8655… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 15:22:06 2010 +0200 CO_Tree: remove is_before_begin() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42956415e186… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 15:21:32 2010 +0200 CO_Tree: remove unnecessary include for iostream. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=792f572dbb1a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 15:05:07 2010 +0200 Move Dense_Row::Flags out of Row class, renaming it as Row_Flags. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5848613d0cf2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 14:34:08 2010 +0200 Rename Row and Matrix into Dense_Row and Dense_Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c0e7eacb01b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 10:54:03 2010 +0200 Sparse_Row: merge with Unlimited_Sparse_Row and remove the Unlimited_Sparse_Row class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6618a714e1bf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 10:53:22 2010 +0200 Sparse_Matrix: remove remaining references to Unlimited_Sparse_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef123c6bec32… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 10:19:17 2010 +0200 Remove the Sparse_Row_Reference class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f265e2e2c9f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 10:04:19 2010 +0200 Matrix, Sparse_Matrix: remove rendundant typedefs. Don't use such typedefs in MIP_Problem, PIP_Problem and PIP_Tree. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3366bcfca45… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 10:01:38 2010 +0200 Sparse_Matrix: change the type of the rows from Unlimited_Sparse_Row to Sparse_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc5105a0a418… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 10:00:41 2010 +0200 Sparse_Row: add external_memory_in_bytes() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16c862562a3e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 10:00:20 2010 +0200 Sparse_Row: add delete_element_and_shift() and add_zeroes_and_shift() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf170fbcdc77… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Aug 18 09:59:42 2010 +0200 Sparse_Row: add a reset() method that takes an index. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71358c4d49de… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 17 18:38:00 2010 +0200 Many changes, mainly the merge of Row with Dense_Row and Matrix with Dense_Matrix: * Merge Dense_Row into Row * Merge Dense_Matrix into Matrix * Handle flags in Unlimited_Sparse_Row and Sparse_Row URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8205048659c3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 17 17:05:18 2010 +0200 Row: remove friend declaration in Flags. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18e538c6e21b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 17 16:30:56 2010 +0200 Make Doxygen process documentation of CO_Tree, Unlimited_Sparse_Row, Sparse_Row, Sparse_Matrix, Dense_Row and Dense_Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b82f9a0af186… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 17 16:29:16 2010 +0200 CO_Tree, Unlimited_Sparse_Row, Sparse_Row, Sparse_Matrix: fix math expressions in Doxygen comments.

1 0

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

16 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b12850f951ba… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 16 17:47:55 2010 +0200 Dense_Row: derive from Row instead of containing a private Row object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8dec5729ba7b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 16 10:08:29 2010 +0200 Use 'where * is' instead of 'with *' when commenting math formulas in Doxygen comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3cdd16c6360… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 16 10:01:29 2010 +0200 CO_Tree: compute external memory handled by Coefficient objects in external_memory_in_bytes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f67592fe022… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 16 09:55:42 2010 +0200 Unlimited_Sparse_Row: remove for_each_nonzero() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47713ae3735f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 16 09:55:20 2010 +0200 Sparse_Row_Reference: remove for_each_nonzero() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ef931535d1d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 16 09:53:46 2010 +0200 Sparse_Matrix: remove for_each_row() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e88f7bd6ad1b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 16 09:53:17 2010 +0200 Dense_Row: remove for_each_nonzero() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c8f5ea3eb90… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 16 09:47:19 2010 +0200 MIP_Problem: don't use for_each_nonzero() in process_pending_constraints() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89f408b0494e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Aug 16 09:21:35 2010 +0200 CO_Tree, Unlimited_Sparse_Row, Sparse_Row, Sparse_Row_Reference, Sparse_Matrix: document time complexity of all methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23c72a361356… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 18:37:54 2010 +0200 CO_Tree, Sparse_Row, Unlimited_Sparse_Row: document that hint iterators must be valid and point to that object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f0f54c11717… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 18:29:41 2010 +0200 Unlimited_Sparse_Row: remove the reset() method that takes two dimension_type arguments, it's rendundant and unused. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56ef7bea5ce5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 18:29:23 2010 +0200 Sparse_Row_Reference: remove the reset() method that takes two dimension_type arguments, it's rendundant and unused. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf7fe3f186da… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 18:28:29 2010 +0200 Unlimited_Sparse_Row: remove unused and rendundant methods: assign() and assign_if_nonzero(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4297633caadf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 18:28:00 2010 +0200 Sparse_Row, Sparse_Row_Reference: remove unused and rendundant methods: assign() and assign_if_nonzero(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55fbe901bf4c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 18:09:59 2010 +0200 tests/Sparse_Matrix: add sparserow1 test.

1 0

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

15 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fecb2db14541… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 16:07:36 2010 +0200 Dense_Matrix, Sparse_Matrix: update permute_columns() documentation to match the one in Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e818583eb76… Merge: da7dbc123ae43e4faa1697fde1d0986e5d6d0fe7 fb8063c03702de01c22e136ef8a12bb2109b28f1 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 15:58:51 2010 +0200 Merge remote branch 'origin/master' into sparse_matrices 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(). 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. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67de295843fe… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Aug 5 13:25:17 2010 +0100 Invalid case option in map_space_dimensions removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11614b6938c0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Aug 5 09:31:34 2010 +0200 Added a space after :: to avoid Doxygen (incorrect) autolink generation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b1e6916be4f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Aug 5 08:42:34 2010 +0200 Corrected mismatch in parameter name (for documentation purposes only). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be8e13942cef… Merge: 984d8ba3c2d7d9e2302d7f369d07ca50c72c7351 b68f8ff2bde57db64ec4439d8a2592da351742e4 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Aug 5 09:11:32 2010 +0200 Merge branch 'ppl-0_11-branch' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b68f8ff2bde5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Aug 5 09:08:44 2010 +0200 Avoid using overlapping regular expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efcba16903e4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Aug 5 09:02:09 2010 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=984d8ba3c2d7… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Aug 3 20:49:26 2010 +0100 Updated and typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfffb8ba3ff2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 21:55:08 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b397097be829… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 19:45:48 2010 +0200 Added missing conversions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c887cbcf6199… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 18:24:43 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68c7bed50e03… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 18:22:32 2010 +0200 Distribute all READMEs and ChangeLogs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a03d31e3feb3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 17:24:03 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=305a923ec95a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 17:21:29 2010 +0200 Announce the new wrapping operator used to approximate machine arithmetic. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=080b21f5f3ec… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 16:10:14 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1965e1080156… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 15:54:38 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f4a9852b2cc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 15:26:49 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec57cb1f01a4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 15:22:26 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7ff1fcda7cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 15:08:37 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de73fc626c08… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 15:03:33 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2765aa09552… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 10:06:57 2010 +0200 Missing sections added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b99dd92358b6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 09:17:16 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc8238d53a79… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 08:32:33 2010 +0200 FIXMEs resolved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=170fcba90947… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 1 23:13:47 2010 +0200 Commented out code concerning affine spaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38a6cd94ccc6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Aug 1 23:08:32 2010 +0200 Avoid variable length arrays: use a std::vector instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=304c0dc5f4c4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 1 22:43:15 2010 +0200 Commented out code concerning affine spaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43d231e28766… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 1 20:00:30 2010 +0200 Commented out code concerning affine spaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63f34f91afd9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 1 19:29:13 2010 +0200 Set aside the domain of affine spaces, for the time being. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39c378347808… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 1 18:30:57 2010 +0200 Implemented the constructors from generator systems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e53ad77d4ca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 1 18:25:59 2010 +0200 Inclusions fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f98fc584f6c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 1 17:12:52 2010 +0200 Useless assignment removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9b370c2c65a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 1 17:10:31 2010 +0200 Comment fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6ed02b52188… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Aug 1 14:37:00 2010 +0200 Removed spurious semicolon. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=afcafb8e2d3c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Jul 30 16:35:04 2010 +0200 Moved two methods in the right place. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab1d650d0dcb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 29 14:15:10 2010 +0200 Unwanted assertions removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a26e69ad62c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 29 11:24:08 2010 +0200 Fixed a bug in DB_Row_Impl_Handler<T>::Impl::expand_within_capacity(dimension_type). This affected only compilers not supporting flexible arrays. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faddfe9c6c24… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 29 09:22:05 2010 +0200 Fixed a bug in DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U&). This prevented compilation with compilers not supporting flexible arrays. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e11577095f5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 27 21:39:45 2010 +0200 Added missing inclusion.

1 0

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

15 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da7dbc123ae4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 15:58:13 2010 +0200 tests/: add Sparse_Matrix subdirectory. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5f0e41333ea… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 15:46:49 2010 +0200 Sparse_Matrix: allow passing a row of the same matrix to add_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=203fa69e588b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 12:13:52 2010 +0200 Sparse_Matrix::iterator: add operator=(), operator==() and operator!=(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14d6e5284f71… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 10:43:34 2010 +0200 tests/CO_Tree: add more tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ee9b61dbb15… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 10:43:01 2010 +0200 CO_Tree::tree_iterator: remove follow_{left,right}_childs() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32da6e88b2db… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 10:42:32 2010 +0200 CO_Tree::tree_iterator: remove comparison operators with an iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9693c3ccf00… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 10:05:24 2010 +0200 CO_Tree: fix style of Doxygen comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=157d266f569e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 10:03:39 2010 +0200 CO_Tree: remove before-beginning state from iterator and const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b2d1047ebfa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 10:02:21 2010 +0200 CO_Tree::tree_iterator: add constructor from a tree and an index. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf6f41f2b6f4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 09:50:09 2010 +0200 CO_Tree: add is_before_begin() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7267faaa5d55… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 09:30:50 2010 +0200 Unlimited_Sparse_Row: remove before_begin() methods and update documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ac17762c2b2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Aug 15 09:30:25 2010 +0200 Sparse_Row, Sparse_Row_Reference: remove before_begin() methods and update documentation.

1 0