August 2010 - PPL-devel - BUGSENG Mailman

[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

[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