August 2010 - PPL-devel - BUGSENG Mailman

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

06 Aug '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9c17825ac91… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 11:57:31 2010 +0200 CO_Tree: remove duplicated forward-declarations of iterator and const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c332a413b70… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 11:54:54 2010 +0200 Dense_Row, Sparse_Row, Unlimited_Sparse_Row: use names like i and j for index arguments, rather that c, c1 and c2. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6cda4a83ec6b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 11:40:03 2010 +0200 Dense_Row, Sparse_Row, Sparse_Matrix, Unlimited_Sparse_Row: Remove the useless const qualifier from dimension_type arguments passsed by value. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff0bb6b25cc2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 10:28:58 2010 +0200 Unlimited_Sparse_Row, Sparse_Row, Dense_Row: reorder arguments in find(), lower_bound(), find_create() as done in the STL. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2f8730b9b23… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 09:19:07 2010 +0200 CO_Tree: reorder arguments to insert(), using the same order as in std::map<T>::insert(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6540bb89445… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 09:09:32 2010 +0200 CO_Tree: rename inorder_iterator and inorder_const_iterator into iterator and const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6039f1e24d78… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 08:39:43 2010 +0200 CO_Tree, Unlimited_Sparse_Row, Sparse_Row, Sparse_Matrix: make some constructors explicit. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e654c53f6d19… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 08:29:00 2010 +0200 CO_Tree: remove level_data struct. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c027078e4cd8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 08:26:15 2010 +0200 CO_Tree: remove unordered iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a576675c060f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 08:26:00 2010 +0200 Unlimited_Sparse_Row: remove unordered iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbb53abe3693… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 08:25:50 2010 +0200 Sparse_Row: remove unordered iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6631d5def045… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 08:25:41 2010 +0200 Dense_Row: remove unordered iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76e1f7aebd07… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 08:24:04 2010 +0200 MIP_Problem: don't use unordered iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52da0431756a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 08:23:55 2010 +0200 PIP_Problem: don't use unordered iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7a0d0e12537… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Aug 6 08:23:45 2010 +0200 PIP_Tree: don't use unordered iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2a73526b37b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 5 19:27:15 2010 +0200 CO_Tree: simplify some method signatures, exploiting the fact that now iterators are always lightweight. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9693f4df4cbe… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 5 18:04:02 2010 +0200 CO_Tree: remove the VeB and BFS layouts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94a8c6a2370… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 5 17:46:51 2010 +0200 Unlimited_Sparse_Row: merge {find,lower_bound}_helper methods into the corresponding find and lower_bound methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5f0b0e71c8f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 5 17:35:47 2010 +0200 Unlimited_Sparse_Row: remove unused find_create_helper() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51b07bbb9766… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 5 17:25:26 2010 +0200 Dense_Row, Sparse_Row, Unlimited_Sparse_Row: drop {find,find_create,lower_bound}_{assign,hint_assign} methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34c6265c854b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 5 16:15:32 2010 +0200 Dense_Row, Sparse_Row, Unlimited_Sparse_Row: remove some method overloads that are no longer needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a8d01829b0d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 5 15:51:34 2010 +0200 Remove dangerous_iterator: it was needed only for compatibility with some old sparse implementations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03e2deaa1122… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Aug 5 14:44:48 2010 +0200 Drop sparse implementations based on std::list, on std::vector and on the custom-implemented single-linked list.

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Invalid case option in map_space_dimensions removed.
by Patricia Hill 06 Aug '10

06 Aug '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 67de295843fed6fea6e24602dbfb4edff8e0efb8 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. --- src/Grid.templates.hh | 1 - 1 files changed, 0 insertions(+), 1 deletions(-) diff --git a/src/Grid.templates.hh b/src/Grid.templates.hh index f509fe5..a425a32 100644 --- a/src/Grid.templates.hh +++ b/src/Grid.templates.hh @@ -249,7 +249,6 @@ Grid::map_space_dimensions(const Partial_Function& pfunc) { case Grid_Generator::POINT: new_gensys.insert(grid_point(e, old_g.divisor())); break; - case Grid_Generator::CLOSURE_POINT: default: PPL_ASSERT(0); }

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Added a space after :: to avoid Doxygen ( incorrect) autolink generation.
by Enea Zaffanella 06 Aug '10

06 Aug '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 11614b6938c0aa22262fbb9dca5dd30d1b10a6a8 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. --- .../ppl_interface_generator_java_classes_java.m4 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 b/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 index 5588db0..2ec119b 100644 --- a/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 +++ b/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 @@ -108,7 +108,7 @@ m4_include(`ppl_interface_generator_copyright')`'dnl package parma_polyhedra_library; /*! \brief - Java class interfacing C++ m4_this_cplusplus_class`'::iterator + Java class interfacing C++ m4_this_cplusplus_class`':: iterator \ingroup PPL_java_interface */ public class m4_this_class`'_Iterator extends PPL_Object {

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Corrected mismatch in parameter name ( for documentation purposes only).
by Enea Zaffanella 06 Aug '10

06 Aug '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 2b1e6916be4fa0f4ea839a0714e0376787f217a9 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). --- .../parma_polyhedra_library/PIP_Solution_Node.java | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java b/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java index 8bb11c9..5b95922 100644 --- a/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java +++ b/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java @@ -39,5 +39,5 @@ public class PIP_Solution_Node extends PIP_Tree_Node { \param var The variable being queried. */ - public native Linear_Expression parametric_values(Variable d); + public native Linear_Expression parametric_values(Variable var); }

1 0

[GIT] ppl/ppl(master): Invalid case option in map_space_dimensions removed.
by Patricia Hill 05 Aug '10

05 Aug '10

Module: ppl/ppl Branch: master Commit: 67de295843fed6fea6e24602dbfb4edff8e0efb8 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. --- src/Grid.templates.hh | 1 - 1 files changed, 0 insertions(+), 1 deletions(-) diff --git a/src/Grid.templates.hh b/src/Grid.templates.hh index f509fe5..a425a32 100644 --- a/src/Grid.templates.hh +++ b/src/Grid.templates.hh @@ -249,7 +249,6 @@ Grid::map_space_dimensions(const Partial_Function& pfunc) { case Grid_Generator::POINT: new_gensys.insert(grid_point(e, old_g.divisor())); break; - case Grid_Generator::CLOSURE_POINT: default: PPL_ASSERT(0); }

1 0

[GIT] ppl/ppl(floating_point): Small style improvement in the use of iterators.
by Fabio Bossi 05 Aug '10

05 Aug '10

Module: ppl/ppl Branch: floating_point Commit: 3eac74ffc2b92eb519964c0146fea6205b655b71 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3eac74ffc2b9… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Aug 5 11:32:27 2010 +0200 Small style improvement in the use of iterators. --- src/Float.templates.hh | 14 ++++---------- 1 files changed, 4 insertions(+), 10 deletions(-) diff --git a/src/Float.templates.hh b/src/Float.templates.hh index 287fb4f..fe7219c 100644 --- a/src/Float.templates.hh +++ b/src/Float.templates.hh @@ -134,11 +134,8 @@ void discard_occurrences(std::map<dimension_type, typename FP_Linear_Form_Abstract_Store::iterator i = lf_store.begin(); typename FP_Linear_Form_Abstract_Store::iterator ls_end = lf_store.end(); while (i != ls_end) { - if((i->second).coefficient(var) != 0) { - typename FP_Linear_Form_Abstract_Store::iterator i_old = i; - ++i; - lf_store.erase(i_old); - } + if((i->second).coefficient(var) != 0) + lf_store.erase(i++); else ++i; } @@ -162,11 +159,8 @@ void upper_bound_assign(std::map<dimension_type, while (i1 != i1_end) { typename FP_Linear_Form_Abstract_Store::const_iterator i2 = ls2.find(i1->first); - if ((i2 == i2_end) || (i1->second != i2->second)) { - typename FP_Linear_Form_Abstract_Store::iterator i1_old = i1; - ++i1; - ls1.erase(i1_old); - } + if ((i2 == i2_end) || (i1->second != i2->second)) + ls1.erase(i1++); else ++i1; }

1 0

[GIT] ppl/ppl(master): Added a space after :: to avoid Doxygen (incorrect) autolink generation.
by Enea Zaffanella 05 Aug '10

05 Aug '10

Module: ppl/ppl Branch: master Commit: 11614b6938c0aa22262fbb9dca5dd30d1b10a6a8 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. --- .../ppl_interface_generator_java_classes_java.m4 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 b/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 index 5588db0..2ec119b 100644 --- a/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 +++ b/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 @@ -108,7 +108,7 @@ m4_include(`ppl_interface_generator_copyright')`'dnl package parma_polyhedra_library; /*! \brief - Java class interfacing C++ m4_this_cplusplus_class`'::iterator + Java class interfacing C++ m4_this_cplusplus_class`':: iterator \ingroup PPL_java_interface */ public class m4_this_class`'_Iterator extends PPL_Object {

1 0

[GIT] ppl/ppl(master): Corrected mismatch in parameter name ( for documentation purposes only).
by Enea Zaffanella 05 Aug '10

05 Aug '10

Module: ppl/ppl Branch: master Commit: 2b1e6916be4fa0f4ea839a0714e0376787f217a9 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). --- .../parma_polyhedra_library/PIP_Solution_Node.java | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java b/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java index 8bb11c9..5b95922 100644 --- a/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java +++ b/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java @@ -39,5 +39,5 @@ public class PIP_Solution_Node extends PIP_Tree_Node { \param var The variable being queried. */ - public native Linear_Expression parametric_values(Variable d); + public native Linear_Expression parametric_values(Variable var); }

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Merge branch 'ppl-0_11-branch'
by Roberto Bagnara 05 Aug '10

05 Aug '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: be8e13942cefd8f33451f8e66934c6d2847f980d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be8e13942cef… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Aug 5 09:11:32 2010 +0200 Merge branch 'ppl-0_11-branch' ---

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Updated and typo fixed.
by Patricia Hill 05 Aug '10

05 Aug '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 984d8ba3c2d7d9e2302d7f369d07ca50c72c7351 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. --- CREDITS | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/CREDITS b/CREDITS index c797359..c047e89 100644 --- a/CREDITS +++ b/CREDITS @@ -58,7 +58,7 @@ Past Contributors: ------------------ Roberto Amadini (student of the University of Parma) - did some working on the PPL support for the + did some work on the PPL support for the approximation of floating point computations. Irene Bacchi (former student of the University of Parma) worked @@ -88,10 +88,10 @@ Past Contributors: solver, and also most of the Java and OCaml interfaces. - Katy Dobson [6] (University of Leeds) worked on the - formalization and definition of algorithms for - rational grids and products of grids and - polyhedra. + Katy Dobson [6] (former student of the University of Leeds) + worked on the formalization and definition of + algorithms for rational grids and products + of grids and polyhedra. Giordano Fracasso (University of Parma) wrote the initial version of the support for native and checked integer

1 0