March 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Fixed lots of parameter names.
by Roberto Bagnara 23 Mar '12

23 Mar '12

Module: ppl/ppl Branch: master Commit: c3aa23db348313bf68cb85dd8b6e9acf21622f4e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3aa23db3483… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 18:31:34 2012 +0100 Fixed lots of parameter names. Detected by ECLAIR service funparam. --- src/BD_Shape.defs.hh | 17 ++-- src/BD_Shape.inlines.hh | 14 ++-- src/BD_Shape.templates.hh | 36 ++++---- src/Bit_Row.defs.hh | 2 +- src/Box.defs.hh | 14 ++-- src/Box.templates.hh | 32 ++++---- src/CO_Tree.defs.hh | 10 +- src/CO_Tree.inlines.hh | 42 +++++----- src/Checked_Number.defs.hh | 4 +- src/Checked_Number.inlines.hh | 33 ++++--- src/Concrete_Expression.inlines.hh | 5 +- src/Congruence.defs.hh | 2 +- src/Congruence.inlines.hh | 4 +- src/Congruence_System.cc | 4 +- src/Congruence_System.defs.hh | 16 ++-- src/Congruence_System.inlines.hh | 4 +- src/Constraint_System.defs.hh | 9 +- src/Determinate.defs.hh | 4 +- src/Generator.cc | 4 +- src/Grid.defs.hh | 10 +- src/Linear_Row.inlines.hh | 8 +- src/MIP_Problem.defs.hh | 10 ++- src/MIP_Problem.inlines.hh | 4 +- src/OR_Matrix.defs.hh | 6 +- src/OR_Matrix.inlines.hh | 6 +- src/Octagonal_Shape.defs.hh | 21 +++-- src/Octagonal_Shape.templates.hh | 128 +++++++++++++++------------- src/PIP_Problem.inlines.hh | 6 +- src/PIP_Tree.inlines.hh | 8 +- src/Partially_Reduced_Product.defs.hh | 10 +- src/Partially_Reduced_Product.inlines.hh | 15 ++-- src/Partially_Reduced_Product.templates.hh | 12 ++-- src/Pointset_Powerset.templates.hh | 8 +- src/Polyhedron.defs.hh | 22 +++-- src/Polyhedron.templates.hh | 3 +- src/Polyhedron_nonpublic.cc | 23 +++-- src/Ptr_Iterator.inlines.hh | 4 +- src/termination.templates.hh | 20 ++-- 38 files changed, 306 insertions(+), 274 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=c3aa23db…

1 0

[GIT] ppl/ppl(sparse_matrices): Do not call is_sorted() in method remove_row_no_check().
by Enea Zaffanella 23 Mar '12

23 Mar '12

Module: ppl/ppl Branch: sparse_matrices Commit: adf7cee38dd9daef511685b55abb326937440c21 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=adf7cee38dd9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 23 18:10:34 2012 +0100 Do not call is_sorted() in method remove_row_no_check(). Method is_sorted() performs an assertion check regarding sortedness flag, but in method remove_row_no_check() we are in the middle of changes and the `sorted' flag is not (yet) up-to-date. This fixes the crash in test02() of tests/Polyhedron/removespacedims2.cc. While at it, corrected "not-pending" as "non-pending" in several places. --- src/Linear_System.inlines.hh | 31 ++++++++++++++++--------------- 1 files changed, 16 insertions(+), 15 deletions(-) diff --git a/src/Linear_System.inlines.hh b/src/Linear_System.inlines.hh index d6251dd..3d53fc2 100644 --- a/src/Linear_System.inlines.hh +++ b/src/Linear_System.inlines.hh @@ -363,11 +363,12 @@ Linear_System<Row>::set_space_dimension(dimension_type space_dim) { template <typename Row> inline void -Linear_System<Row>::remove_row_no_ok(const dimension_type i, bool keep_sorted) { +Linear_System<Row>::remove_row_no_ok(const dimension_type i, + const bool keep_sorted) { PPL_ASSERT(i < num_rows()); bool was_pending = (i >= index_first_pending); - if (is_sorted() && keep_sorted && !was_pending) { + if (sorted && keep_sorted && !was_pending) { for (dimension_type j = i + 1; j < rows.size(); ++j) swap(rows[j], rows[j-1]); rows.pop_back(); @@ -386,14 +387,14 @@ Linear_System<Row>::remove_row_no_ok(const dimension_type i, bool keep_sorted) { // Swap the row with the last non-pending row. swap(rows[i], rows[index_first_pending - 1]); - // Now the (not-pending) row that has to be deleted is between the - // not-pending and the pending rows. + // Now the (non-pending) row that has to be deleted is between the + // non-pending and the pending rows. swap(rows[i], rows.back()); } rows.pop_back(); } if (!was_pending) - // A not-pending row has been removed. + // A non-pending row has been removed. --index_first_pending; } @@ -418,20 +419,20 @@ Linear_System<Row>::remove_rows(dimension_type first, return; // All the rows that have to be removed must have the same (pending or - // not-pending) status. + // non-pending) status. PPL_ASSERT(first >= index_first_pending || last <= index_first_pending); bool were_pending = (first >= index_first_pending); // Move the rows in [first,last) at the end of the system. - if (is_sorted() && keep_sorted && !were_pending) { + if (sorted && keep_sorted && !were_pending) { // Preserve the row ordering. for (dimension_type i = last; i < rows.size(); ++i) swap(rows[i], rows[i - n]); rows.resize(rows.size() - n); - // `n' not-pending rows have been removed. + // `n' non-pending rows have been removed. index_first_pending -= n; PPL_ASSERT(OK()); @@ -439,7 +440,7 @@ Linear_System<Row>::remove_rows(dimension_type first, } // We can ignore the row ordering, but we must not mix pending and - // not-pending rows. + // non-pending rows. dimension_type offset = rows.size() - n - first; // We want to swap the rows in [first, last) and @@ -454,7 +455,7 @@ Linear_System<Row>::remove_rows(dimension_type first, rows.resize(rows.size() - n); - // `n' not-pending rows have been removed. + // `n' non-pending rows have been removed. index_first_pending -= n; } else { // There are some pending rows in [first + offset, last + offset). @@ -466,13 +467,13 @@ Linear_System<Row>::remove_rows(dimension_type first, rows.resize(rows.size() - n); - // `n' not-pending rows have been removed. + // `n' non-pending rows have been removed. index_first_pending -= n; } else { PPL_ASSERT(rows.size() - n < index_first_pending); PPL_ASSERT(rows.size() > index_first_pending); PPL_ASSERT(!were_pending); - // In the [size() - n, size()) interval there are some not-pending + // In the [size() - n, size()) interval there are some non-pending // rows and some pending ones. Be careful not to mix them. PPL_ASSERT(index_first_pending >= last); @@ -597,11 +598,11 @@ Linear_System<Row>::remove_rows(const std::vector<dimension_type>& indexes) { // Removing pending rows only. } else { if (indexes.back() < index_first_pending) { - // Removing not-pending rows only. + // Removing non-pending rows only. index_first_pending -= indexes.size(); } else { - // Removing some pending and some not-pending rows, count the - // not-pending rows that must be removed. + // Removing some pending and some non-pending rows, count the + // non-pending rows that must be removed. // This exploits the fact that `indexes' is sorted by using binary // search. itr_t j = std::lower_bound(indexes.begin(), indexes.end(),

1 0

[GIT] ppl/ppl(sparse_matrices): Added test showing an assertion crashing in Linear_System:: remove_row_no_ok().
by Enea Zaffanella 23 Mar '12

23 Mar '12

Module: ppl/ppl Branch: sparse_matrices Commit: d8ff8bceceef8f0b81358dd50fff7139a1d2fa0a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8ff8bceceef… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 23 18:06:51 2012 +0100 Added test showing an assertion crashing in Linear_System::remove_row_no_ok(). The tests mirrors in C++ a crash originally obtained with the OCaml interface. --- tests/Polyhedron/removespacedims2.cc | 32 ++++++++++++++++++++++++++++++++ 1 files changed, 32 insertions(+), 0 deletions(-) diff --git a/tests/Polyhedron/removespacedims2.cc b/tests/Polyhedron/removespacedims2.cc index 68e72d0..cd38d81 100644 --- a/tests/Polyhedron/removespacedims2.cc +++ b/tests/Polyhedron/removespacedims2.cc @@ -60,8 +60,40 @@ test01() { return ok; } +bool +test02() { + Variable x(0); + Variable y(1); + Variable z(2); + + NNC_Polyhedron ph(3); + + ph.add_constraint(x >= 1); + ph.add_constraint(y >= 1); + ph.add_constraint(z >= 1); + + print_generators(ph, "*** ph ***"); + + Variables_Set to_be_removed; + to_be_removed.insert(x); + to_be_removed.insert(z); + + ph.remove_space_dimensions(to_be_removed); + + NNC_Polyhedron known_result(1); + known_result.add_constraint(x >= 1); + + bool ok = (ph == known_result); + + print_constraints(ph, "*** ph.remove_space_dimensions() ***"); + print_constraints(known_result, "*** known_result ***"); + + return ok; +} + } // namespace BEGIN_MAIN DO_TEST(test01); + DO_TEST(test02); END_MAIN

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 23 Mar '12

23 Mar '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8be2dc64d07f… Merge: 95219a9f931d8b868975050d10326bde214dda46 3a65ba183e744e7a86a3fae0c77932f0b9c98fa2 Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 23 11:08:13 2012 +0100 Merge branch 'master' into sparse_matrices Conflicts: configure.ac src/Box.templates.hh src/CO_Tree.cc src/Congruence_System.cc src/Constraint.cc src/Dense_Matrix.cc src/Dense_Matrix.defs.hh src/Dense_Matrix.inlines.hh src/Dense_Row.cc src/Dense_Row.defs.hh src/Dense_Row.inlines.hh src/Generator.cc src/Generator.defs.hh src/Grid.templates.hh src/Grid_Generator.cc src/Grid_Generator.defs.hh src/Grid_Generator.inlines.hh src/Grid_Generator_System.cc src/Grid_chdims.cc src/Grid_conversion.cc src/Grid_nonpublic.cc src/Grid_public.cc src/Grid_simplify.cc src/Linear_Row.cc src/Linear_Row.defs.hh src/Linear_Row.inlines.hh src/Linear_System.cc src/Linear_System.inlines.hh src/PIP_Tree.cc src/PIP_Tree.defs.hh src/Polyhedron_conversion.templates.hh src/Polyhedron_public.cc src/Polyhedron_widenings.cc src/Row.types.hh src/Row_Flags.cc src/Row_Flags.defs.hh src/Row_Flags.inlines.hh src/Sparse_Matrix.defs.hh src/Sparse_Matrix.inlines.hh src/Sparse_Row.defs.hh src/globals.defs.hh src/globals.inlines.hh src/termination.defs.hh tests/Polyhedron/Makefile.am tests/Polyhedron/densematrix1.cc tests/Sparse_Matrix/Makefile.am URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a65ba183e74… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Mar 21 19:44:00 2012 +0100 Removed extra parenthesis. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42e767e008cc… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Mar 21 19:39:49 2012 +0100 Added some missing parenthesis. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ada46f601687… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 21 16:59:21 2012 +0000 Added missing parentheses. Detected by eclair service exprprns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce51fb211446… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 21 15:13:28 2012 +0100 Fixed a couple of typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28c00aa026e4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 21 14:30:11 2012 +0100 Improved documentation for Box<ITV>::has_{upper,lower}_bound(). Weakened precondition regarding box emptiness: the box can be empty, but it can not be marked empty. Added a test to the Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c640b9acf66… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 21 10:56:18 2012 +0100 Modified interface for Box<ITV>::has_{upper,lower}_bound. The changes are meant to make it more similar to, e.g., maximize(). Hence, we no pass in a Variable rather than a bare dimension_type and the boolean reference argument `closed' is the last one. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f8ede593ef9… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 20 13:18:03 2012 +0000 Added parentheses and improved formatting. Missing parentheses detected by ECLAIR service exprprns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ec10039245e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 19 19:33:55 2012 +0100 This file is not part of the Parma Polyhedra Library. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=047c37cda2bb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 19 17:47:44 2012 +0100 Added Box method has_{upper.lower}_bound to OCaml and Prolog lang interfaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1efe14de8574… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 19 10:52:36 2012 +0100 Added Box method has_{upper,lower}_bound to Java language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee57e6c1041… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 19 08:39:20 2012 +0100 Added Box methods has_{upper,lower}_bound to C language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e604b2c5f03b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 19 13:31:42 2012 +0100 Text revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ccbc9497bf3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 19 12:05:33 2012 +0100 Sentence revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0a533690561… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 11:36:58 2012 +0100 Man pages updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea15ab4635ca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:44:42 2012 +0100 Use a canonical FDL text. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8df2fd42dd3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:38:52 2012 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b865bbd536b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:23:18 2012 +0100 URL fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04b8e3abd9df… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:18:56 2012 +0100 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d15a56a55b9a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 08:35:10 2012 +0100 Cleaned. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c381f0e1e261… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 08:23:08 2012 +0100 Copyright wording fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0cae23e138a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 08:12:19 2012 +0100 Updated two spurious references to FDL 1.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de17663ee4f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 19:04:01 2012 +0100 Use a consistent formatting. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe5d84808585… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:57:49 2012 +0100 Wording fixed/improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca4e7f70b1c2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:45:30 2012 +0100 Blank line added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0aaaf32d0d70… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:23:27 2012 +0100 Use consistent formatting for the FDL. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d057ae45cf1b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:03:59 2012 +0100 Added missing paragraph. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71cd387e8024… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 15:43:21 2012 +0100 Standardized copyright messages. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ede1a395a32c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 15:26:01 2012 +0100 Made uniform as far as the copyright message and licensing conditions are concerned. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=487f91a9655f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 15:22:27 2012 +0100 Updated: we no longer use CVS. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6e62b0264bb… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 15 07:39:52 2012 +0000 Ensure macro parameters in macro bodies are in parentheses. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92d1229784b3… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 14 16:04:27 2012 +0000 Ensure parameters in bodies of macros are parenthesized. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc6864df1b2c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 14 13:39:40 2012 +0000 Ensure parameters in macro bodies are parenthesized appropriately. Missing parentheses detected by ECLAIR service macrbody. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3442f48f028… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Mar 14 11:34:58 2012 +0100 Avoid needless macro complexity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cca8637a572e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 13 18:18:17 2012 +0100 Fixed licenses text. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abfdcd61e39d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 13 17:49:43 2012 +0100 Removed bogus use of EXTRA_DIST. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15351dec0d69… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 12 13:53:04 2012 +0100 Avoid implicit conversions to bool. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b623cb806b22… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 12 11:39:12 2012 +0100 Avoid implicit conversion from boolean to integral. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a2bb64fd41b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 12 11:38:03 2012 +0100 Prefer testing explicitly against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72de66fb8504… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 19:47:56 2012 +0100 Use variables instead of repetition. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68acb101eab3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 19:41:31 2012 +0100 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a2efa7ce4e6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 18:27:30 2012 +0100 Typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=939042024297… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 18:24:50 2012 +0100 Predicates renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fa2a003ff7b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 18:20:42 2012 +0100 Identifier fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c42d3a7aeede… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 18:18:30 2012 +0100 String fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec19e1b52208… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 17:21:42 2012 +0100 Comments simplified. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f0ce5d8d426… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 9 19:15:34 2012 +0100 Commented-out code removed. Detected by ECLAIR service cmntdout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5010fa847b1f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 9 19:14:06 2012 +0100 Comment corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a00f2ac21655… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 9 19:04:35 2012 +0100 Old FIXMEs dealt with. Detected by ECLAIR service cmntdout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c44e7ac3e02… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 9 18:57:39 2012 +0100 Do use the notation "[l, u]" to denote the closed interval with boundaries `l' and `u'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bfe9db5473e2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 9 18:36:05 2012 +0100 Added missing full-stop in comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50030fba0045… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 8 13:01:20 2012 +0100 Renamed Box methods get_{upper,lower}_bound() as has_{upper,lower}_bound(). Improved documentation: in particular, make clearer that undefined behavior is obtained when calling them on an empty box. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cab131006b0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 1 22:24:52 2012 +0100 Avoid implicit conversions to bool (prefer explicit tests against zero). Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6c3449ce470… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 1 22:23:29 2012 +0100 Avoid implicit cast narrowing a signed integer value. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49f8811aeaab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 1 22:21:07 2012 +0100 Removed unused static const data member. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d745cfa91fc7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 1 22:19:18 2012 +0100 Avoid implicit conversions to bool. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef23118849ed… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 1 22:17:42 2012 +0100 Avoid implicit coversion to bool. Detected by Boolean service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae02418951a2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 29 21:41:34 2012 +0100 Added missing parentheses around a macro arguments. Detected by ECLAIR service macrbody. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7c06758ef7d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 29 20:55:37 2012 +0100 Avoid mixing plain character data with numeric data. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37adcae2f939… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 29 20:55:05 2012 +0100 Code layout fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8f677733f78… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 29 10:36:23 2012 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acadcd82f6c2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 28 11:46:39 2012 +0100 Added a missing project and updated a broken link. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00cbfdb30e8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 17:24:27 2012 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=143fc5c5b4fd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 17:22:59 2012 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d19a65f547b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 15:57:45 2012 +0100 Let classes in Concrete_Expression.defs.hh appear in the user manual. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0e8e448a39a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 15:51:03 2012 +0100 Documented the enumerated values of enum Floating_Point_Format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee55850a6d4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 14:32:57 2012 +0100 Let the docs for the I_Result enum appear on the devref manual only. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=763276a346de… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 10:49:17 2012 +0100 Mark some docs for the devref manual only. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7fdb4199db20… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 10:37:41 2012 +0100 Group together documentation of functions controlling FPU. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=521ce21afd82… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 10:25:56 2012 +0100 Fixed documentation for linearize and added \relates directive. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ef9269b43b1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 10:24:43 2012 +0100 Grouped together docs for the linear-ranking functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9f93b1ac292… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 10:07:48 2012 +0100 CO_Tree and Sparse_Row should only appear in the devref manual. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eeb8c755e6c6… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Feb 26 20:17:36 2012 +0100 Fixed missing namespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cdc037cdf46… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Feb 26 20:14:48 2012 +0100 Fixed and uniformed iomanip uses. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a819fa12f81b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 19:20:46 2012 +0100 Avoid mixing plain character data with numeric data. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4a27887eb1a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 15:43:55 2012 +0100 Removed references to an obsolete file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e08bd1450691… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Feb 26 15:28:06 2012 +0100 Removed redundant and unused stuff. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58dff7089d77… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 14:49:39 2012 +0100 Use the same typenames in function declarations/definitions. Detected by ECLAIR service funtypes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=787dc72b55dd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 14:11:30 2012 +0100 Avoid mixing boolean and arithmetic values. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb5de9a40b4c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 14:09:45 2012 +0100 Get rid of redundant declarations of a couple of functions. Detected by ECLAIR service funtypes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9fc312f33c3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 13:51:03 2012 +0100 Simplified Interval_Info::ascii_load(). Resettting format flags does not change the istream status, which was previously tested and is known to be good: hence, return true. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93bbf657068a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 14:19:28 2012 +0100 `#error' messages made consistent. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d988a3b5b9c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 14:15:07 2012 +0100 Variable names fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f775db925bb… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Feb 26 12:04:50 2012 +0100 Avoid to use Variable references. Uniformed Variable creations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32409aa205f5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 13:53:47 2012 +0100 Types fixed. Useless if-then-else removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8ea55b9bf4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 13:05:34 2012 +0100 Use `libtool' to test linking with GMP only if the option `--with-gmp-build' was given. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d2064c3d808… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 12:59:39 2012 +0100 Prefer explicit tests against zero. Avoid using boolean values as integer values. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=756ef076d457… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 11:29:11 2012 +0100 Improved implementation of OR_Matrix<T>::any_row_iterator::operator+=(). Increased readability: - separated explicit type conversions from code performing arithmetic operations (on non-mixed typed values); - added a few redundant parentheses. Similar improvement applied to a couple of other functions. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a18385ecd24f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 10:16:15 2012 +0100 Provide a named group for all library version control functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1228063d31da… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 10:10:20 2012 +0100 Prefer explicit tests against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=681915911631… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 10:01:39 2012 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4005b141d00… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 09:24:29 2012 +0100 Added `Watchdog' to `SUBDIRS'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5238b268632f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 09:24:01 2012 +0100 Completed `ppl_config_SOURCES'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81b598e7484f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 08:21:32 2012 +0100 Cater for platforms where no floating-point type is supported. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa1aba6cae22… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 00:27:51 2012 +0100 Added several missing \relates and \ingroup Doxygen commands. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=609f96793392… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 23:55:53 2012 +0100 Remove docs for a few implementation classes from the user manual. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9163fbd8bc1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 22:55:33 2012 +0100 Properly terminate Doxygen comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=637df0294f81… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 25 18:22:24 2012 +0100 Wrong guard fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e87943772e79… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 25 18:16:44 2012 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbc3deda4d9e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 18:09:09 2012 +0100 Hide enum initializers from docs. Remove I_Result enumeration form user manual. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fcbdfeab4422… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 25 17:06:00 2012 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ac71293891d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 16:12:58 2012 +0100 For code clarity purposes, better distinguish signed/unsigned operations. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73aee8ff7b81… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 16:11:07 2012 +0100 Exploit new helper function least_significant_one_mask(), thereby avoiding unary minus on unsigned integer values. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=015e50d0dfee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 16:08:48 2012 +0100 Added helper function least_significant_one_mask(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02eb888f14e0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 13:34:55 2012 +0100 Prefer explicit test against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce56ec422036… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 12:54:34 2012 +0100 Prefer explicit test against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b52dea04e8d3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 25 12:37:53 2012 +0100 Reduced the scope of variable declarations. Detected by ECLAIR service minscope. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ddf6ce187e9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 12:18:10 2012 +0100 Prefer explicit tests against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ea98773b74d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 11:33:08 2012 +0100 Prefer explicit tests against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b7ae1196e04… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 11:17:06 2012 +0100 Prefer explicit test against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e705a68649d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 11:10:45 2012 +0100 Fixed a few misuses of assignment (instead of comparison) in assertions. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e37265ae0a0f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 11:08:39 2012 +0100 Prefer explicit test against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20bbd20223a2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 10:50:26 2012 +0100 Avoid long line. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee9075c6645… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 10:49:52 2012 +0100 Prefer explicit test against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed45790955fc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 10:15:43 2012 +0100 Prefer explicit tests against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=206682b08f62… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 25 08:43:06 2012 +0100 Code layout made conformat to the coding standard. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b647baaca8a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Feb 24 22:42:44 2012 +0100 Restore previous names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1113c510bef… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 21:12:15 2012 +0100 Use "" quotes to include non-system headers. Detected by ECLAIR service hedrname. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b0927490991… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 21:10:28 2012 +0100 Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5155daa681e1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 19:57:30 2012 +0100 Avoid commented-out code. Detected by ECLAIR service cmntdout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5161145cfadb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 19:57:23 2012 +0100 Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fd12191d4f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 24 16:55:58 2012 +0100 Avoid implicit conversion changing type signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ff76cad0788… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Feb 24 16:52:41 2012 +0100 Fixed C interface incongruence. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cfc3f1609b0… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Feb 24 16:52:21 2012 +0100 Avoid implicit conversion changing signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4abb9c3094dc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 24 16:09:55 2012 +0100 Added any_iterator operator+= and operator+ overloadings for unsigned types. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96b0c536a8dc… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Feb 24 15:39:01 2012 +0100 Avoid to offset iterators twice. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa5200686cc9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 24 15:21:04 2012 +0100 Avoid implicit conversion changing signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76489dec6c23… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 24 15:13:34 2012 +0100 Removed a couple of useless explicit casts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8aa0c5de6606… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 24 14:53:40 2012 +0100 When working with sizes, prefer vector::resize() to vector::erase(). Added helper function nth_iter(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e2ed9a48ac7… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Feb 24 14:30:27 2012 +0100 Fixed implementation defined implicit cast. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f2a2bf8ff3f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Feb 24 14:30:22 2012 +0100 Silenced a warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aea1d036a659… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Feb 24 12:34:21 2012 +0100 Fixed implementation defined implicit cast. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92d3b0df6261… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 11:02:30 2012 +0100 Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>. Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b48ffdf47e5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 24 10:13:34 2012 +0100 Avoid implicit conversions changing type signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=223fd2c798b1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:38:19 2012 +0100 Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91385ebcf630… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:36:40 2012 +0100 Delimit pseudo-code in Doxygen comments within <CODE> </CODE>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2da2d0f8f30… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:33:00 2012 +0100 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f52a31d61c17… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:32:02 2012 +0100 Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52fe00dd2c21… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:30:49 2012 +0100 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=267192b35291… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:30:28 2012 +0100 Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c91de8d4cae1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:30:10 2012 +0100 Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37a29dcd0c52… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:29:35 2012 +0100 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f874d7e44a23… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:24:31 2012 +0100 Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a576ab2ae6a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:23:35 2012 +0100 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d706287150d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:19:43 2012 +0100 Delimit example code in non-Doxygen comments within <CODE> </CODE>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e97c62dec8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:19:09 2012 +0100 Comments fixed/improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05f9cc35b6a6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 24 09:33:43 2012 +0100 Avoid implicit conversions changing type signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0e8fa1b03ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 08:17:30 2012 +0100 Avoid commented-out code. Detected by ECLAIR service cmntdout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9cbb6dcb150… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 08:11:59 2012 +0100 Fixed punctuation in comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8d5d49fe455… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 08:10:19 2012 +0100 Avoid commented-out code. Detected by ECLAIR service cmntdout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dbe69df7a29… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 08:03:28 2012 +0100 Comment punctuation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8d622c7f000… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 23 20:01:53 2012 +0100 Avoid unnamed namespace in header file. Detected by ECLAIR service hedrfile. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f26f9957b54a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 23 19:59:13 2012 +0100 Enclose macro argument in parentheses. Detected by ECLAIR service macrbody. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5afe018d5f0… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 23 18:41:57 2012 +0100 Removed interval restrictions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b736306cfce2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 23 18:40:30 2012 +0100 Prefer using C_Integer traits rather than <climits> macros, thereby avoiding implicit conversions changing type signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0739cd0ea3ea… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 23 18:21:22 2012 +0100 Rewritten function to avoid mixing signed and unsigned integer types. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=876b91f81ffc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 23 15:37:18 2012 +0100 Avoid implicit conversion changing signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5fabffdb88a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 23 15:35:54 2012 +0100 Improved strcaseeq implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e985e275616… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 23 15:12:44 2012 +0100 Fixed cast. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c43fa8739a05… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 23 15:11:19 2012 +0100 Fixed signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66e260f7483f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 23 14:53:02 2012 +0100 Simplified implementation of method Grid::reduce_reduced(). While at it, got rid of a few implicit conversions changing signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0426fd6f655b… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 23 14:30:50 2012 +0100 mp_bitcnt_t is not present in gmp 3. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=925cacd7941b… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 23 13:37:50 2012 +0100 Forgotten changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4181f769db32… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 23 13:34:11 2012 +0100 Simplified min/max evaluation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cafc8b10035… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 23 13:10:35 2012 +0100 Prefer bool field. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a03382866a8d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 23 12:15:07 2012 +0100 Use always long for time related quantities. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6cd5710b5d2c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 23 11:06:51 2012 +0100 Avoid implicit conversions changing integer type signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=279f44d4d2ad… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 23 10:47:58 2012 +0100 Avoid implicit conversions changing integer type signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9259e66b7b7… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Feb 22 23:54:30 2012 +0100 Avoid implicit conversions changing integer type signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9afcaffceb21… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 21:48:20 2012 +0100 Avoid implicit conversions changing integer type signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6854dc3b05c2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 21:05:33 2012 +0100 Avoid implicit conversion changing type signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=800d387ce5e2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 19:36:39 2012 +0100 Added helper function check_space_dimension_overflow(). Added similar helper in class Polyhedron and got rid of no longer needed method throw_space_dimension_overflow(). Exploit the new helper to simplify space dim checking in constructors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd4283d7be86… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 17:55:58 2012 +0100 Avoid implicit conversion changing signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7d915b5e2c1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 16:24:23 2012 +0100 Macro PPL_ASSERT is not available in compiler.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f27f93acfbf3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 16:23:18 2012 +0100 Let `indent' have type signed int, matching signature of std::setw(). Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7693be2e393… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 16:22:07 2012 +0100 Fixed inclusion directive. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3507a9471ca5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 16:21:22 2012 +0100 Avoid implicit conversions changing signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75cfbc2340b8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 15:28:44 2012 +0100 Prefer using C_Integer traits rather than <climits> macros, thereby avoiding implicit conversions changing signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b09c76dc54fe… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 15:25:44 2012 +0100 Let `indent_level' have type signed int, matching signature of std::setw(). Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=418c4e60b06c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Feb 22 13:57:57 2012 +0000 Avoid using functional casts. Detected by ECLAIR service castexpr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6de4769641f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Feb 22 13:03:42 2012 +0000 Replaced all c-style casts. Detected by ECLAIR service castexpr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bb782d283cc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 14:02:19 2012 +0100 Added helper function Implementation::num_constraints(). When implementing it, avoid implicit conversion changing signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=754dcbd68b32… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Feb 22 13:17:14 2012 +0100 Uniformed, improved and moved to a better place implementation of clz/ctz. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff759c6b48d0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 10:09:23 2012 +0100 Prefer using C_Integer traits rather than macros in <climits>, thereby avoiding a few implicit conversions changing signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7214979d8337… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 09:21:44 2012 +0100 Declare pure virtual methods in abstract base classes. Override them only once in derived classes. Detected by ECLAIR service ovrdonce. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a28c03f8b5c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 08:38:08 2012 +0100 Specify the `virtual' keyword when declaring overriding methods. Detected by ECLAIR service ovrdexpl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d5f32d30f3d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Feb 21 21:42:56 2012 +0000 Moved another declaration into a smaller scope. Detected by ECLAIR service minscope. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb89844f83a5… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Feb 21 19:58:36 2012 +0000 Move declarations to nsure variables are declared at smallest possible scope. Detected by ECLAIR service minscope. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b2e1e5fa3b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 21 20:22:32 2012 +0100 Multiple-inclusion guards added. Detected by ECLAIR service inclgard. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3b39224715d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Feb 21 17:28:31 2012 +0100 Avoided functional cast. Detected by ECLAIR service castexpr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61afde75e7d7… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Feb 21 17:19:11 2012 +0100 Avoid not needed virtual inheritance. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2db3cb6ae4f8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 21 16:55:58 2012 +0100 Updated Doxygen configuration files to release 1.7.4. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd2ce77bf9d6… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Feb 21 11:29:58 2012 +0000 Added '&' prefix to function identifiers that are not used to call the function. Detected by Eclair service funcalls. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36a7eb86bbe8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Feb 21 11:01:14 2012 +0000 When object is not used for control, declaration moved outside for statement. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1742962f7d14… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Feb 21 08:20:09 2012 +0000 Declarations that can be moved into a smaller scope have been moved. Detected by ECLAIR service minscope. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a00acbd1037d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 21 09:17:14 2012 +0100 Simplified. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e42c3f3d8ad1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 21 09:15:45 2012 +0100 Simplified. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f578f53d6ca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 21 08:44:07 2012 +0100 New automatically generated files BUGS.hh, COPYING.hh and CREDITS.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b3c2d0ceffd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 21 08:42:44 2012 +0100 Explicitly state the array size. New option --decl-only. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47700f155572… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 21 07:11:39 2012 +0100 Unwanted inclusion removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5dc399d79a0f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 20 23:32:50 2012 +0100 Unwanted inclusion removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e69c60b10f8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 20 23:17:33 2012 +0100 The Parma Watchdog Library has been merged into the Parma Polyhedra Library. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81c390271c8f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 20 22:59:23 2012 +0100 Missing default added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8579a7da71f7… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Feb 20 21:56:39 2012 +0000 Renamed some variables so that declarations in an outer scope are not hidden. Detected by ECLAIR service declhidn. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9fee53d2e10… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Feb 20 21:47:45 2012 +0000 Revert "Renamed some variables so that declarations in an outer scope are not hidden." This reverts commit 97cc40667310524111a674be5ad3e8e9e4ec8c90. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37e82b178604… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 20 22:53:39 2012 +0100 Global-replace mistake fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed39879f090c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 20 22:49:56 2012 +0100 The Parma Watchdog Library has been merged into the Parma Polyhedra Library. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97cc40667310… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Feb 20 20:58:18 2012 +0000 Renamed some variables so that declarations in an outer scope are not hidden. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ded8bb10d82… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 20 18:57:50 2012 +0100 Spurious line removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2603585b9999… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 20 18:57:17 2012 +0100 Added/fixed some copyright notices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4dac3bae976… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 20 17:55:33 2012 +0100 Let bitwise operators be applied to unsigned integer types. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c64257c541e0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 20 17:29:54 2012 +0100 Let bitwise operators be applied to unsigned integer types. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb321df039bc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 20 17:28:02 2012 +0100 Exploit operator| overloading for Rounding_Dir. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58a8be4d4b1d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 20 17:27:12 2012 +0100 Let bitwise operators be applied to unsigned integer types. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73a3335f0a09… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 20 17:23:49 2012 +0100 Let bitwise operators be applied to unsigned integer types. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=803576355bab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 20 16:55:20 2012 +0100 Let bitwise operators be applied to unsigned integer types. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f0c06f03f30… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 20 14:23:24 2012 +0100 Add the release date for PPL 0.11.2. Mention a couple of bugs that have been corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3c18f959cc3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 18 19:33:38 2012 +0100 Reduced the scope of some variables. Detected by ECLAIR service minscope. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b5f76fb05d0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 17 12:54:04 2012 +0100 Prefer explicit tests againts zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29d65d78b2f4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 17 11:05:52 2012 +0100 Avoid abusing sort-circuited logical operators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b861970ac6a1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 17 11:04:37 2012 +0100 Avoid abusing short-circuited logical operators (prefer explicit control flow). Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5712e36571a5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 17 10:38:40 2012 +0100 Prefer explicit tests against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=249a29efe092… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 17 08:50:34 2012 +0100 Added helper is_space(), to be used instead of directly calling isspace(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4921272596a3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 16 22:45:01 2012 +0100 Renamed is_infinity() as infinity_sign(), returning an `int' in {-1, 0, 1}. Prefer explicit tests against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37719b83d11d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 16 21:48:03 2012 +0100 Prefer explicit tests against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d4a79c9ad28… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 16 21:44:34 2012 +0100 Prefer `while (true)' and `while (false)' wrt `while (1)' and `while(0)'. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af3d0755dad9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 16 21:39:07 2012 +0100 Prefer explicit tests against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69c5683e1657… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 16 21:37:02 2012 +0100 Prefer explicit tests against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b9312e845c2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 16 21:33:25 2012 +0100 Prefer explicit tests against zero. Do not abusing short-circuit operators (prefer explicit control flow). Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72ea4b00d875… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 16 21:30:21 2012 +0100 Prefer explicit test against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5e126e5bc24… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 16 18:31:29 2012 +0100 Prefer explicit usage of the istream::fail() method. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=77a999e4d467… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 16 18:13:59 2012 +0100 Rename as `const_bool_value' the "anonymous" enums encoding a bool value. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca495c20a548… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 22:48:38 2012 +0100 Prefer using vector::resize wrt insert. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c9fe958cb32… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 22:47:35 2012 +0100 Prefer explicit tests against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb1e922ffe18… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 17:38:51 2012 +0100 Make comparison against zero explicit. Detected by ECLAIR service utypflag. While at it, simplified control flow by removing a use of `continue'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3c4d96c9830… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 17:37:13 2012 +0100 Make comparison against zero explicit. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61f5417dcdf3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 17:21:18 2012 +0100 Make comparison against zero explicit. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbd30b078d19… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 16:34:30 2012 +0100 Added helper function to compute the hash code from a space dimension. Added missing has_code() method to class Box<ITV> and generate corresponding method in Java interface for boxes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f490ee5d25a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 15:43:49 2012 +0100 Make comparison against zero explicit. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0691decf11e6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 15:21:01 2012 +0100 Prefer testing against zero. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bcc4ac88501… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 14:39:43 2012 +0100 For clarity, renamed three-state Float method is_inf() as inf_sign(). Similarly, renamed is_zero() as zero_sign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90cb4b9b1806… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 13:09:49 2012 +0100 Avoid long lines and try to improve readability. In particular, when using helper function i_constraint(), prefer passing in an already built Relation_Symbol object if its computation is nontrivial. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=912481ec1055… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 12:34:32 2012 +0100 Completed previous commit, fixing is_{m,p}inf_float. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e81747bef37… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 08:26:47 2012 +0100 Let is_inf_float() return a Boolean value, rather than an integer. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68cc056b563b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 08:25:15 2012 +0100 Prefer using logical (wrt bitwise) operators on Boolean values. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50bf9eb645f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 14 11:53:23 2012 +0100 Fixed a bug in Box<ITV>::upper_bound_assign(_if_exact). Calling the method with an empty argument that, due to computational laziness, is not yet flagged as being empty was producing wrong results. (Note: here `wrong' means unnecessarily imprecise; from the point of view of approximation, the results were still correct). See test08 in tests/Box/upperbound1.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fcad61ebee9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 14 11:51:11 2012 +0100 Restored a few tests commented out long time ago. Added a new test (synthesized from a Java test provided by Gianluca Amato) showing a problem in the implementation of Box<ITV>::upper_bound_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85c99baeae69… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 13 16:48:40 2012 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc8006165e6f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 13 16:48:11 2012 +0100 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b459380ce0ca… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Feb 13 15:19:25 2012 +0000 Enabled CC76_narrowing_assign for Boxes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=690131aa5ec3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 13 15:48:24 2012 +0100 Invoke libtool when checking with Valgrind enabled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4de3f8fdbdeb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 13 15:19:24 2012 +0100 Fixed value for Valgrind --num-callers option. According to man pages, maximum value is 50. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2622a438e6d2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 13 14:54:20 2012 +0100 Avoid pointer casts when allocating coefficients in Dense_Row::Impl. Detected by ECLAIR service M++.5-2-8. We now use a std::allocator object (similar to what done in CO_Tree). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6bcf0a3f859… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 13 14:49:04 2012 +0100 For naming consistency, `coefficient_allocator' renamed as `data_allocator'. Explicitly include <memory> for std::allocator. Fixed deallocation bugs in CO_Tree::rebuild_bigger_tree(): - use delete[] for `indexes'; - use data_allocator.deallocayte for `data'. On copy construction, assignment and swap, do also copy/assign/swap the allocator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=230921583305… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 13 09:23:49 2012 +0100 Reduce scope of loop index variable. Detected by ECLAIR service minscope. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab67c65fbe70… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 12 21:43:25 2012 +0100 Make sure each case within a switch statement is properly terminated. Detected by ECLAIR service swchbrek. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=723a711049fe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 12 21:08:36 2012 +0100 Spurious spaces removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37b4bdd5f552… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 12 19:46:43 2012 +0100 Type fixed. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df14c76cab47… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 12 19:37:34 2012 +0100 Added missing parentheses around a macro argument. Detected by ECLAIR service macrbody. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35c29d765b0b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 12 10:24:21 2012 +0100 Avoid null statements that, apart from a comment, are not on a line by themselves. Detected by ECLAIR service nullstmt. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f263321dba7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 12 09:10:15 2012 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10e0afa8fa25… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 12 08:48:59 2012 +0100 Prolog sources must go under .../share/ppl as these files are architecture independent. Moreover, new versions of Automake no longer accept pkglib_DATA. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a372f86d78f0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 12 08:16:03 2012 +0100 Added missing template parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a847c76c107… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 12 08:14:28 2012 +0100 INT_MIN % -1 is undefined behavior in C++11. The PPL has been proven to be immune to this potential problem by ECLAIR. (Thanks to Rene Sugar.) Long lines avoided on passing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb83c4ee577c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 11 21:02:10 2012 +0100 Reflected file removal. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccd09e698f00… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 11 20:51:31 2012 +0100 INT_MIN % -1 is undefined behavior in C++11. The PPL has been proven to be immune to this potential problem by ECLAIR. (Thanks to Rene Sugar.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a190d3da9879… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Feb 3 16:58:13 2012 +0000 Added a default label to switch. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9516ac54f007… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 3 10:19:01 2012 +0100 Be consistent with the use of attribute weak. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23359d3f3ae6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 3 10:18:08 2012 +0100 The functions fatal() and internal_error() are now attributed with noreturn. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cd53027cc4d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 22 20:44:03 2012 +0100 Improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68ee3845682d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 20 18:46:10 2012 +0100 Reduced the scope of some variables. Detected by ECLAIR service minscope. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ae301514864… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jan 18 13:07:31 2012 +0100 Bumped copyright years. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f879511e0d6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jan 18 11:48:24 2012 +0100 Reduced the scope of several variables. Detected by ECLAIR service minscope. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c34e47c445db… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Jan 5 15:44:12 2012 +0100 Also add bugseng_logo.pdf to EXTRA_DIST. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19fed334bf69… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 4 08:49:02 2012 +0100 Added ppl_logo* to EXTRA_DIST. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bd518e21c83… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Dec 24 12:36:39 2011 +0100 Revert "Do not use the <TAB> character for code layout." This reverts commit f6060073e3b31277cf475ba90c0eb751663a81e8. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6060073e3b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Dec 24 12:31:20 2011 +0100 Do not use the <TAB> character for code layout. Detected by ECLAIR service tabindnt.

1 0

[GIT] ppl/ppl(master): Fixed indentation.
by Abramo Bagnara 22 Mar '12

22 Mar '12

Module: ppl/ppl Branch: master Commit: c05ad33bb7f8b0bf04a5ab64489bb8f54d7532e3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c05ad33bb7f8… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Mar 22 10:10:05 2012 +0100 Fixed indentation. --- src/BD_Shape.templates.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index 22d719b..242b2c6 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -4763,7 +4763,7 @@ BD_Shape<T> Variable second(second_v); dimension_type n_first_var = first_v +1 ; dimension_type n_second_var = second_v + 1; - linear_form_upper_bound(right_minus_left - first + second, + linear_form_upper_bound(right_minus_left - first + second, upper_bound); add_dbm_constraint(n_first_var, n_second_var, upper_bound); linear_form_upper_bound(right_minus_left + first - second,

1 0

[GIT] ppl/ppl(master): Removed extra parenthesis.
by Abramo Bagnara 21 Mar '12

21 Mar '12

Module: ppl/ppl Branch: master Commit: 3a65ba183e744e7a86a3fae0c77932f0b9c98fa2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a65ba183e74… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Mar 21 19:44:00 2012 +0100 Removed extra parenthesis. --- src/OR_Matrix.inlines.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/OR_Matrix.inlines.hh b/src/OR_Matrix.inlines.hh index ea8113b..1a81dca 100644 --- a/src/OR_Matrix.inlines.hh +++ b/src/OR_Matrix.inlines.hh @@ -245,7 +245,7 @@ inline typename OR_Matrix<T>::template any_row_iterator& OR_Matrix<T>::any_row_iterator::operator+=(const difference_type m) { difference_type e_dt = static_cast<difference_type>(e); difference_type i_dt = static_cast<difference_type>(i); - difference_type increment = (m + ((m * m) / 2)) + (m * e_dt); + difference_type increment = m + (m * m) / 2 + m * e_dt; if (e_dt % 2 == 0 && m % 2 != 0) ++increment; e_dt += m; @@ -269,7 +269,7 @@ Enable_If<(static_cast<Unsigned>(-1) > 0), typename OR_Matrix<T>::template any_row_iterator& >::type OR_Matrix<T>::any_row_iterator::operator+=(Unsigned m_) { dimension_type m = m_; - dimension_type increment = m + ((m * m) / 2) + (m * e); + dimension_type increment = m + (m * m) / 2 + m * e; if (e % 2 == 0 && m % 2 != 0) ++increment; e += m;

1 0

[GIT] ppl/ppl(master): Added some missing parenthesis.
by Abramo Bagnara 21 Mar '12

21 Mar '12

Module: ppl/ppl Branch: master Commit: 42e767e008cc1dec0b4d4f2a9f77339526aaba3a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42e767e008cc… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Mar 21 19:39:49 2012 +0100 Added some missing parenthesis. --- demos/ppl_pips/ppl_pips.cc | 2 +- src/CO_Tree.cc | 2 +- src/Floating_Point_Expression.templates.hh | 17 +++++++---------- src/OR_Matrix.inlines.hh | 3 ++- src/Octagonal_Shape.templates.hh | 10 +++++----- src/checked.cc | 2 +- src/checked_int.inlines.hh | 2 +- 7 files changed, 18 insertions(+), 20 deletions(-) diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc index a3d27d7..b60d2ce 100644 --- a/demos/ppl_pips/ppl_pips.cc +++ b/demos/ppl_pips/ppl_pips.cc @@ -307,7 +307,7 @@ public: PPL::dimension_type bignum_column = (bignum_column_coding == -1) ? PPL::not_a_dimension() - : (bignum_column_coding + num_vars - 1); + : (num_vars + (bignum_column_coding - 1)); bool result = update_pip(num_vars, num_params, num_constraints, num_ctx_rows, diff --git a/src/CO_Tree.cc b/src/CO_Tree.cc index d94624a..f7f8d3a 100644 --- a/src/CO_Tree.cc +++ b/src/CO_Tree.cc @@ -165,7 +165,7 @@ PPL::CO_Tree::erase_element_and_shift_left(dimension_type key) { return; dimension_type i = dfs_index(itr); dimension_type* p = indexes + i; - dimension_type* p_end = indexes + reserved_size + 1; + dimension_type* p_end = indexes + (reserved_size + 1); for ( ; p != p_end; ++p) if (*p != unused_index) --(*p); diff --git a/src/Floating_Point_Expression.templates.hh b/src/Floating_Point_Expression.templates.hh index a6c3d80..38f05ab 100644 --- a/src/Floating_Point_Expression.templates.hh +++ b/src/Floating_Point_Expression.templates.hh @@ -93,16 +93,13 @@ template<typename FP_Interval_Type, typename FP_Format> FP_Interval_Type Floating_Point_Expression<FP_Interval_Type, FP_Format> ::compute_absolute_error() { - boundary_type omega = std::max( - static_cast<typename Floating_Point_Expression<FP_Interval_Type, FP_Format> - ::boundary_type>(pow(FP_Format::BASE, static_cast<typename - Floating_Point_Expression<FP_Interval_Type, FP_Format> - ::boundary_type>(1) - FP_Format - ::EXPONENT_BIAS - FP_Format - ::MANTISSA_BITS)), - std::numeric_limits<typename - Floating_Point_Expression<FP_Interval_Type, FP_Format> - ::boundary_type>::denorm_min()); + typedef typename Floating_Point_Expression<FP_Interval_Type, FP_Format> + ::boundary_type Boundary; + boundary_type omega; + omega = std::max(pow(static_cast<Boundary>(FP_Format::BASE), + static_cast<Boundary>(1 - FP_Format::EXPONENT_BIAS + - FP_Format::MANTISSA_BITS)), + std::numeric_limits<Boundary>::denorm_min()); FP_Interval_Type result; result.build(i_constraint(GREATER_OR_EQUAL, -omega), i_constraint(LESS_OR_EQUAL, omega)); diff --git a/src/OR_Matrix.inlines.hh b/src/OR_Matrix.inlines.hh index 91917e8..ea8113b 100644 --- a/src/OR_Matrix.inlines.hh +++ b/src/OR_Matrix.inlines.hh @@ -267,7 +267,8 @@ template <typename Unsigned> inline typename Enable_If<(static_cast<Unsigned>(-1) > 0), typename OR_Matrix<T>::template any_row_iterator& >::type -OR_Matrix<T>::any_row_iterator::operator+=(Unsigned m) { +OR_Matrix<T>::any_row_iterator::operator+=(Unsigned m_) { + dimension_type m = m_; dimension_type increment = m + ((m * m) / 2) + (m * e); if (e % 2 == 0 && m % 2 != 0) ++increment; diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 1544ab9..aaa87f0 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -235,7 +235,7 @@ Octagonal_Shape<T>::Octagonal_Shape(const Generator_System& gs) const Coefficient& g_i = g.coefficient(Variable(i)); const dimension_type di = 2*i; Row_Reference x_i = *(mat_begin + di); - Row_Reference x_ii = *(mat_begin + di + 1); + Row_Reference x_ii = *(mat_begin + (di + 1)); for (dimension_type j = 0; j < i; ++j) { const Coefficient& g_j = g.coefficient(Variable(j)); const dimension_type dj = 2*j; @@ -262,7 +262,7 @@ Octagonal_Shape<T>::Octagonal_Shape(const Generator_System& gs) const Coefficient& g_i = g.coefficient(Variable(i)); const dimension_type di = 2*i; Row_Reference x_i = *(mat_begin + di); - Row_Reference x_ii = *(mat_begin + di + 1); + Row_Reference x_ii = *(mat_begin + (di + 1)); for (dimension_type j = 0; j < i; ++j) { const Coefficient& g_j = g.coefficient(Variable(j)); const dimension_type dj = 2*j; @@ -308,7 +308,7 @@ Octagonal_Shape<T>::Octagonal_Shape(const Generator_System& gs) const Coefficient& g_i = g.coefficient(Variable(i)); const dimension_type di = 2*i; Row_Reference x_i = *(mat_begin + di); - Row_Reference x_ii = *(mat_begin + di + 1); + Row_Reference x_ii = *(mat_begin + (di + 1)); for (dimension_type j = 0; j < i; ++j) { const Coefficient& g_j = g.coefficient(Variable(j)); const dimension_type dj = 2*j; @@ -336,7 +336,7 @@ Octagonal_Shape<T>::Octagonal_Shape(const Generator_System& gs) const Coefficient& g_i = g.coefficient(Variable(i)); const dimension_type di = 2*i; Row_Reference x_i = *(mat_begin + di); - Row_Reference x_ii = *(mat_begin + di + 1); + Row_Reference x_ii = *(mat_begin + (di + 1)); for (dimension_type j = 0; j < i; ++j) { const Coefficient& g_j = g.coefficient(Variable(j)); const dimension_type dj = 2*j; @@ -1403,7 +1403,7 @@ Octagonal_Shape<T>::frequency(const Linear_Expression& expr, break; } - m_j = *(m_begin + j + 1); + m_j = *(m_begin + (j + 1)); m_cj = *(m_begin + cjj); const N& m_j_i1 = m_j[i]; const N& m_i_j1 = m_cj[ci]; diff --git a/src/checked.cc b/src/checked.cc index 12a725e..2ec4abf 100644 --- a/src/checked.cc +++ b/src/checked.cc @@ -301,7 +301,7 @@ parse_number_part(std::istream& is, number_struct& numer) { if (numer.exponent > max_exp_div || (numer.exponent == max_exp_div && d > max_exp_rem)) return V_CVT_STR_UNK; - numer.exponent = 10 * numer.exponent + static_cast<unsigned int>(d); + numer.exponent = 10 * numer.exponent + static_cast<unsigned long>(d); break; } if (empty_exponent) diff --git a/src/checked_int.inlines.hh b/src/checked_int.inlines.hh index 9e6a34d..5fd4e0c 100644 --- a/src/checked_int.inlines.hh +++ b/src/checked_int.inlines.hh @@ -1364,7 +1364,7 @@ mul_2exp_signed_int(Type& to, const Type x, unsigned int exp, return V_EQ; } } - Type mask = ((Type(1) << exp) - 1) << (sizeof_to_bits(sizeof(Type)) - 1 - exp); + Type mask = ((Type(1) << exp) - 1) << ((sizeof_to_bits(sizeof(Type)) - 1) - exp); Type n; if (x < 0) { if ((x & mask) != mask)

1 0

[GIT] ppl/ppl(master): Added missing parentheses.
by Patricia Hill 21 Mar '12

21 Mar '12

Module: ppl/ppl Branch: master Commit: ada46f601687254f1e91a2b098b7377ba0436c4d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ada46f601687… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 21 16:59:21 2012 +0000 Added missing parentheses. Detected by eclair service exprprns. --- src/OR_Matrix.inlines.hh | 2 +- src/checked_int.inlines.hh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/OR_Matrix.inlines.hh b/src/OR_Matrix.inlines.hh index 28b2620..91917e8 100644 --- a/src/OR_Matrix.inlines.hh +++ b/src/OR_Matrix.inlines.hh @@ -245,7 +245,7 @@ inline typename OR_Matrix<T>::template any_row_iterator& OR_Matrix<T>::any_row_iterator::operator+=(const difference_type m) { difference_type e_dt = static_cast<difference_type>(e); difference_type i_dt = static_cast<difference_type>(i); - difference_type increment = m + ((m * m) / 2) + (m * e_dt); + difference_type increment = (m + ((m * m) / 2)) + (m * e_dt); if (e_dt % 2 == 0 && m % 2 != 0) ++increment; e_dt += m; diff --git a/src/checked_int.inlines.hh b/src/checked_int.inlines.hh index 0a8175b..9e6a34d 100644 --- a/src/checked_int.inlines.hh +++ b/src/checked_int.inlines.hh @@ -1392,7 +1392,7 @@ smod_2exp_unsigned_int(Type& to, const Type x, unsigned int exp, to = x; else { Type v = (exp == sizeof_to_bits(sizeof(Type)) ? x : (x & ((Type(1) << exp) - 1))); - if (v >= Type(1) << (exp - 1)) + if (v >= (Type(1) << (exp - 1))) return set_neg_overflow_int<To_Policy>(to, dir); else to = v;

1 0

[GIT] ppl/ppl(master): Fixed a couple of typos.
by Enea Zaffanella 21 Mar '12

21 Mar '12

Module: ppl/ppl Branch: master Commit: ce51fb2114461753e076542cb655442db575697c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce51fb211446… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 21 15:13:28 2012 +0100 Fixed a couple of typos. --- .../ppl_interface_generator_prolog_dox_code.m4 | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4 index e82ba5c..994e48e 100644 --- a/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4 +++ b/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4 @@ -495,11 +495,12 @@ m4_define(`ppl_@CLASS@_has_@UPPERLOWER@_bound_constpoly_doc', <CODE>ppl_@CLASS@_has_@UPPERLOWER@_bound(+Handle, +Var, ?Coeff_1, ?Coeff_2, ?Boolean)</CODE> Succeeds if and only if \c Var is @UPPERLOWER@ bounded in m4_this_ppl_one_object \p P referenced by \c Handle. It is assumed - that \p P is not empty, otherwise the behavior is undefined. + that \p P is not empty and its space dimension is greater than or equal + to that of \c Var|COMMA| otherwise the behavior is undefined. \c Coeff_1 is unified with the numerator of the @UPPERLOWER@ bound and \c Coeff_2 with the denominator of the @UPPERLOWER@ bound. - If the @UPPERLOWER@ is included in \p P, then \c Boolean is unified + If the @UPPERLOWER@ is included in \p P|COMMA| then \c Boolean is unified with the atom \c true and|COMMA| otherwise|COMMA| unified with the atom \c false.

1 0

[GIT] ppl/ppl(master): Improved documentation for Box<ITV>::has_{upper, lower}_bound().
by Enea Zaffanella 21 Mar '12

21 Mar '12

Module: ppl/ppl Branch: master Commit: 28c00aa026e4c4d55e7f61ccf46c4500265e85ec URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28c00aa026e4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 21 14:30:11 2012 +0100 Improved documentation for Box<ITV>::has_{upper,lower}_bound(). Weakened precondition regarding box emptiness: the box can be empty, but it can not be marked empty. Added a test to the Prolog interface. --- .../ppl_interface_generator_prolog_dox_code.m4 | 15 ++ ...face_generator_prolog_generated_test_pl_code.m4 | 21 +++ src/Box.defs.hh | 16 ++ src/Box.inlines.hh | 10 +- src/Box.templates.hh | 157 +++++++++++--------- 5 files changed, 146 insertions(+), 73 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=28c00aa0…

1 0