- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(sparse_matrices): Don't track .orig file, included by mistake .
by Marco Poletti 05 May '10

05 May '10

Module: ppl/ppl Branch: sparse_matrices Commit: 2dcbc6840a2758fe2607960d3480c4dbf03411be URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2dcbc6840a27… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 29 20:39:01 2010 +0200 Don't track .orig file, included by mistake. --- src/MIP_Problem.cc.orig | 2623 ----------------------------------------------- 1 files changed, 0 insertions(+), 2623 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2dcbc684…

1 0

[GIT] ppl/ppl(master): Revert "Optimized smod_2exp_signed_int."
by Abramo Bagnara 04 May '10

04 May '10

Module: ppl/ppl Branch: master Commit: 258de934add2e906ff2fb4ff768f11bf34e5fa75 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=258de934add2… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue May 4 13:11:29 2010 +0200 Revert "Optimized smod_2exp_signed_int." This reverts commit 21d120a07448821720acd415213f9b08a9a14338. --- src/checked_int.inlines.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/checked_int.inlines.hh b/src/checked_int.inlines.hh index 6217dc7..79985cd 100644 --- a/src/checked_int.inlines.hh +++ b/src/checked_int.inlines.hh @@ -1310,8 +1310,8 @@ smod_2exp_signed_int(Type& to, const Type x, unsigned int exp, if (exp >= sizeof(Type) * CHAR_BIT) to = x; else { - Type m = -(Type(1) << (exp - 1)); - to = (x + m) ^ m; + Type m = Type(1) << (exp - 1); + to = (x & (m - 1)) - (x & m); } return V_EQ; }

1 0

[GIT] ppl/ppl(master): Optimized smod_2exp_signed_int.
by Abramo Bagnara 04 May '10

04 May '10

Module: ppl/ppl Branch: master Commit: 21d120a07448821720acd415213f9b08a9a14338 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21d120a07448… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue May 4 13:07:37 2010 +0200 Optimized smod_2exp_signed_int. --- src/checked_int.inlines.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/checked_int.inlines.hh b/src/checked_int.inlines.hh index 79985cd..6217dc7 100644 --- a/src/checked_int.inlines.hh +++ b/src/checked_int.inlines.hh @@ -1310,8 +1310,8 @@ smod_2exp_signed_int(Type& to, const Type x, unsigned int exp, if (exp >= sizeof(Type) * CHAR_BIT) to = x; else { - Type m = Type(1) << (exp - 1); - to = (x & (m - 1)) - (x & m); + Type m = -(Type(1) << (exp - 1)); + to = (x + m) ^ m; } return V_EQ; }

1 0

[GIT] ppl/ppl(master): Refuse to compile on (very obsolete) architectures that are not using two's complement.
by Abramo Bagnara 04 May '10

04 May '10

Module: ppl/ppl Branch: master Commit: b07586183751999b86e2db0bb31a43baa2ac8e4e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b07586183751… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Apr 17 12:00:38 2010 +0200 Refuse to compile on (very obsolete) architectures that are not using two's complement. --- src/checked_int.inlines.hh | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/src/checked_int.inlines.hh b/src/checked_int.inlines.hh index f55416c..79985cd 100644 --- a/src/checked_int.inlines.hh +++ b/src/checked_int.inlines.hh @@ -688,6 +688,10 @@ PPL_SPECIALIZE_ASSIGN(assign_int_mpq, unsigned int, mpq_class) PPL_SPECIALIZE_ASSIGN(assign_int_mpq, unsigned long, mpq_class) PPL_SPECIALIZE_ASSIGN(assign_int_mpq, unsigned long long, mpq_class) +#if ~0 != -1 +#error "Only two's complement is supported" +#endif + #if UCHAR_MAX == 0xff #define CHAR_BITS 8 #else

1 0

[GIT] ppl/w3ppl(master): BagnaraHZ10CGTA has been published.
by Roberto Bagnara 30 Apr '10

30 Apr '10

Module: ppl/w3ppl Branch: master Commit: 82fc74d0e00c6d7815ad123c2a7fdcbb136a54de URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=82fc74d0e0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 30 07:52:39 2010 +0200 BagnaraHZ10CGTA has been published. --- htdocs/Documentation/ppl.bib | 2 -- 1 files changed, 0 insertions(+), 2 deletions(-) diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index fe8ae8c..ccafdd8 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -913,8 +913,6 @@ Pages = "453--473", Publisher = "Elsevier", Year = 2010, - Note = "To appear in print. Available online at - \url{http://dx.doi.org/10.1016/j.comgeo.2009.09.002}", Abstract = "Deciding whether the union of two convex polyhedra is itself a convex polyhedron is a basic problem in polyhedral computations; having important applications

1 0

[GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Over_CO_Tree: fix and add assertions in lower_bound_hint_assign() methods.
by Marco Poletti 29 Apr '10

29 Apr '10

Module: ppl/ppl Branch: sparse_matrices Commit: 2cf56c434df271eaa572391c61ad9e8b184a7f78 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cf56c434df2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Apr 29 20:37:22 2010 +0200 Unlimited_Sparse_Row_Over_CO_Tree: fix and add assertions in lower_bound_hint_assign() methods. --- src/Unlimited_Sparse_Row_Over_CO_Tree.inlines.hh | 16 ++++++++++++++-- 1 files changed, 14 insertions(+), 2 deletions(-) diff --git a/src/Unlimited_Sparse_Row_Over_CO_Tree.inlines.hh b/src/Unlimited_Sparse_Row_Over_CO_Tree.inlines.hh index 8d3614a..ad737d0 100644 --- a/src/Unlimited_Sparse_Row_Over_CO_Tree.inlines.hh +++ b/src/Unlimited_Sparse_Row_Over_CO_Tree.inlines.hh @@ -510,8 +510,14 @@ Unlimited_Sparse_Row_Over_CO_Tree tree.lower_bound(itr, i); +#ifndef NDEBUG + CO_Tree::inorder_iterator itr2(&tree); + tree.lower_bound(itr2, i); + PPL_ASSERT(itr == itr2); +#endif + if (itr->first < i) - ++itr; + itr.get_next_value(); #ifndef NDEBUG itr.get_previous_value(); @@ -535,8 +541,14 @@ Unlimited_Sparse_Row_Over_CO_Tree tree.lower_bound(itr, i); +#ifndef NDEBUG + CO_Tree::inorder_const_iterator itr2(&tree); + tree.lower_bound(itr2, i); + PPL_ASSERT(itr == itr2); +#endif + if (itr->first < i) - ++itr; + itr.get_next_value(); #ifndef NDEBUG itr.get_previous_value();

1 0

PPL in windows
by saber mirzaei 28 Apr '10

28 Apr '10

To whom it may concern. I'm a MS univeristy student and i'm going to use parma library tool for my goal which is generating and model checking and i need a polyhedra operation tool, so i choosed your tool, but i want to use is with a windows based model checking tool, as i have seen so far your tools only use with GNU/linux OSes, so how i can use PPL, is there any win based version? or i should change it as my need? thanks for your consideration in advanced. sincerely yours. Saber Mirzaei.

2 1

[GIT] ppl/ppl(sparse_matrices): MIP_Problem: fix performance regression in steepest_edge_exact_entering_index(), introduced in commit 8194fc.
by Marco Poletti 26 Apr '10

26 Apr '10

Module: ppl/ppl Branch: sparse_matrices Commit: dfeb453411a7ae94212f433d73bb16f7e20d366b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfeb453411a7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Apr 26 21:06:57 2010 +0200 MIP_Problem: fix performance regression in steepest_edge_exact_entering_index(), introduced in commit 8194fc. --- src/MIP_Problem.cc | 10 +- src/MIP_Problem.cc.orig | 2623 +++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 2628 insertions(+), 5 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=dfeb4534…

1 0

[GIT] ppl/ppl(sparse_matrices): MIP_Problem: fix performance regression in steepest_edge_float_entering_index(), introduced in commit 6DA127.
by Marco Poletti 26 Apr '10

26 Apr '10

Module: ppl/ppl Branch: sparse_matrices Commit: ed8ebcb3b3f7d99523f0e142ba11c5703951a8b3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed8ebcb3b3f7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Apr 26 13:39:51 2010 +0200 MIP_Problem: fix performance regression in steepest_edge_float_entering_index(), introduced in commit 6DA127. --- src/MIP_Problem.cc | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc index 984a5a2..88b7d6f 100644 --- a/src/MIP_Problem.cc +++ b/src/MIP_Problem.cc @@ -1070,13 +1070,13 @@ PPL::MIP_Problem::steepest_edge_float_entering_index() const { } } } - std::vector<std::pair<dimension_type, double> >::const_iterator - k = columns.begin(); - std::vector<std::pair<dimension_type, double> >::const_iterator - k_end = columns.end(); + std::vector<std::pair<dimension_type, double> >::const_reverse_iterator + k = columns.rbegin(); + std::vector<std::pair<dimension_type, double> >::const_reverse_iterator + k_end = columns.rend(); for ( ; k != k_end; ++k) { // challenger_dens[*k] is the square of the challenger value. - if (entering_index == 0 || k->second >= current_value_squared) { + if (entering_index == 0 || k->second > current_value_squared) { current_value_squared = k->second; entering_index = k->first; }

1 0

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

25 Apr '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45cf54806c18… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 22:51:46 2010 +0200 PIP_Tree_Node: little optimization in add_constraint(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=765d2c4844b9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 22:48:49 2010 +0200 PIP_Tree.cc: use *_assign() and *_hint_assign() methods, in compatibility_check_find_pivot_in_set(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9e21435234b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 22:45:33 2010 +0200 PIP_Tree.cc: use *_assign() and *_hint_assign() methods, in find_lexico_minimum_column_in_set(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc44c920ee20… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 22:37:01 2010 +0200 PIP_Solution_Node: use find_create_assign() and find_create_hint_assign(), in generate_cut(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cebedf4e09b0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 22:30:35 2010 +0200 PIP_Solution_Node: use find_create_assign() and find_create_hint_assign(), in solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=422ed5ad1c0a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 22:23:00 2010 +0200 PIP_Solution_Node: use find_create_assign() and find_create_hint_assign(), in update_tableau(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd225ad34edf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 22:13:27 2010 +0200 PIP_Tree_Node: use find_create_assign() and find_create_hint_assign(), in compatibility_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c429d07b5a03… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 22:05:01 2010 +0200 PIP_Tree: use find_create_assign() and find_create_hint_assign(), in merge_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=241a9487fa09… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 21:30:01 2010 +0200 PIP_Problem: use *_assign() and *_hint_assign() methods, in solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29e4e2abc202… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 21:17:07 2010 +0200 MIP_Problem: use lower_bound_hint_assign(), in OK(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20678655731b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 21:01:20 2010 +0200 MIP_Problem: use *_assign() and *_hint_assign() methods, in process_pending_constraints(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=703b2d1bb2fd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 20:48:19 2010 +0200 Dense_Row: add find_create_assign() and find_create_hint_assign() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8409d095a5f9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Apr 25 20:47:28 2010 +0200 Dense_Row: add default constructor for iterator and const_iterator.

1 0