March 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Useless declarations removed.
by Roberto Bagnara 24 Mar '12

24 Mar '12

Module: ppl/ppl Branch: master Commit: 4dd838e58b176c037e8ffaed13a6577bd48ac2a9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dd838e58b17… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 24 15:51:38 2012 +0100 Useless declarations removed. --- src/Grid_Certificate.cc | 7 +------ 1 files changed, 1 insertions(+), 6 deletions(-) diff --git a/src/Grid_Certificate.cc b/src/Grid_Certificate.cc index f22d76e..ad957f6 100644 --- a/src/Grid_Certificate.cc +++ b/src/Grid_Certificate.cc @@ -107,11 +107,6 @@ PPL::Grid_Certificate::compare(const Grid& gr) const { bool PPL::Grid_Certificate::OK() const { -#ifndef NDEBUG - using std::endl; - using std::cerr; -#endif - - // All tests passed. + // There is nothing to test. return true; }

1 0

[GIT] ppl/ppl(master): Corrected test for has_{upper, lower}_bound so as to avoid calling
by Enea Zaffanella 24 Mar '12

24 Mar '12

Module: ppl/ppl Branch: master Commit: 6677f1f4e72ba6e1b780fd159a3fe66865d7d390 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6677f1f4e72b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 24 14:56:05 2012 +0100 Corrected test for has_{upper,lower}_bound so as to avoid calling the predicate on zero-dim boxes. --- ...face_generator_prolog_generated_test_pl_code.m4 | 6 +++++- 1 files changed, 5 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 index 52976f7..1ae5385 100644 --- a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 +++ b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 @@ -841,7 +841,11 @@ ppl_@CLASS@_has_@UPPERLOWER@_bound_5_test :- choose_test(TEST_DATA, Space_Dim), ( ppl_@TOPOLOGY@@CLASS@_build_test_object(TEST_DATA, PS, Space_Dim), - (ppl_@CLASS@_is_empty(PS) -> + (( + Space_Dim = 0 + ; + ppl_@CLASS@_is_empty(PS) + ) -> true ; make_vars(Space_Dim, [Var| _Var_List]),

1 0

[GIT] ppl/ppl(master): Restored the build.
by Enea Zaffanella 24 Mar '12

24 Mar '12

Module: ppl/ppl Branch: master Commit: 666ee3e53fbc2d94d29aaf428ab1892a66b196ae URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=666ee3e53fbc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 24 14:03:14 2012 +0100 Restored the build. --- src/Polyhedron_nonpublic.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index 07b9e53..15fc55b 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -92,7 +92,7 @@ PPL::Polyhedron::Polyhedron(const Topology topol, const Constraint_System& cs) sat_c(), sat_g() { // Protecting against space dimension overflow is up to the caller. - PPL_ASSERT(ccs.space_dimension() <= max_space_dimension()); + PPL_ASSERT(cs.space_dimension() <= max_space_dimension()); // TODO: this implementation is just an executable specification. Constraint_System cs_copy = cs; @@ -191,7 +191,7 @@ PPL::Polyhedron::Polyhedron(const Topology topol, const Generator_System& gs) sat_c(), sat_g() { // Protecting against space dimension overflow is up to the caller. - PPL_ASSERT(cgs.space_dimension() <= max_space_dimension()); + PPL_ASSERT(gs.space_dimension() <= max_space_dimension()); // An empty set of generators defines the empty polyhedron. if (gs.has_no_rows()) {

1 0

[GIT] ppl/ppl(sparse_matrices): Weaken assertion in Linear_System<Row>:: shift_space_dimensions().
by Enea Zaffanella 24 Mar '12

24 Mar '12

Module: ppl/ppl Branch: sparse_matrices Commit: 4c0a1c632c26d17c741c38ad334ac102586e1de8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c0a1c632c26… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 24 09:23:17 2012 +0100 Weaken assertion in Linear_System<Row>::shift_space_dimensions(). The variable argument is not required to be a space dimension of the system (it can be off-by-one). Removed a couple of useless inclusions. --- src/Linear_System.templates.hh | 8 +++----- src/Matrix.templates.hh | 4 ---- 2 files changed, 3 insertions(+), 9 deletions(-) diff --git a/src/Linear_System.templates.hh b/src/Linear_System.templates.hh index 23ac1a9..f19f111 100644 --- a/src/Linear_System.templates.hh +++ b/src/Linear_System.templates.hh @@ -24,10 +24,6 @@ site: http://bugseng.com/products/ppl/ . */ #ifndef PPL_Linear_System_templates_hh #define PPL_Linear_System_templates_hh 1 -// TODO: Remove this. -// It was added to please KDevelop4. -#include "Linear_System.defs.hh" - #include "Bit_Matrix.defs.hh" #include "Linear_Expression.defs.hh" #include "Scalar_Products.defs.hh" @@ -373,7 +369,9 @@ Linear_System<Row>::remove_space_dimensions(const Variables_Set& vars) { template <typename Row> void Linear_System<Row>::shift_space_dimensions(Variable v, dimension_type n) { - PPL_ASSERT(v.space_dimension() <= space_dimension()); + // NOTE: v.id() may be equal to the space dimension of the system + // (when no space dimension need to be shifted). + PPL_ASSERT(v.id() <= space_dimension()); for (dimension_type i = rows.size(); i-- > 0; ) rows[i].shift_space_dimensions(v, n); space_dimension_ += n; diff --git a/src/Matrix.templates.hh b/src/Matrix.templates.hh index 09fc47d..d000eea 100644 --- a/src/Matrix.templates.hh +++ b/src/Matrix.templates.hh @@ -24,10 +24,6 @@ site: http://bugseng.com/products/ppl/ . */ #ifndef PPL_Matrix_templates_hh #define PPL_Matrix_templates_hh 1 -// TODO: Remove this. -// It was added to please KDevelop4. -#include "Matrix.defs.hh" - namespace Parma_Polyhedra_Library { template <typename Row>

1 0

[GIT] ppl/ppl(sparse_matrices): Improved documentation for {Dense, Sparse}_Row::add_zeroes_and_shift().
by Enea Zaffanella 24 Mar '12

24 Mar '12

Module: ppl/ppl Branch: sparse_matrices Commit: e2c41692d4e10b772903dfcffcc1482fa9e279c6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2c41692d4e1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 24 09:21:26 2012 +0100 Improved documentation for {Dense,Sparse}_Row::add_zeroes_and_shift(). Prefer using `coeff_allocator' rather than operator new. --- src/Dense_Row.cc | 11 +++-------- src/Dense_Row.defs.hh | 8 ++++---- src/Sparse_Row.defs.hh | 18 +++++++++--------- 3 files changed, 16 insertions(+), 21 deletions(-) diff --git a/src/Dense_Row.cc b/src/Dense_Row.cc index 1f5d618..3884c1e 100644 --- a/src/Dense_Row.cc +++ b/src/Dense_Row.cc @@ -136,13 +136,9 @@ PPL::Dense_Row::add_zeroes_and_shift(dimension_type n, dimension_type i) { const dimension_type new_size = size() + n; if (new_size > capacity()) { Dense_Row new_row; - const dimension_type new_capacity = compute_capacity(new_size, max_size()); - // This may throw. - new_row.impl.vec - = static_cast<Coefficient*>(operator new(sizeof(Coefficient) - * new_capacity)); + new_row.impl.vec = new_row.impl.coeff_allocator.allocate(new_capacity); new_row.impl.capacity = new_capacity; dimension_type j = i; @@ -157,7 +153,6 @@ PPL::Dense_Row::add_zeroes_and_shift(dimension_type n, dimension_type i) { --j; new_row.impl.vec[j].~Coefficient(); } - // The new_row's destructor will de-allocate the memory. throw; } @@ -170,7 +165,7 @@ PPL::Dense_Row::add_zeroes_and_shift(dimension_type n, dimension_type i) { using std::swap; swap(impl.vec, new_row.impl.vec); swap(impl.capacity, new_row.impl.capacity); - + // *this now owns all coefficients, including the newly-added zeroes. impl.size = new_size; @@ -201,7 +196,7 @@ PPL::Dense_Row::add_zeroes_and_shift(dimension_type n, dimension_type i) { throw; } } - + PPL_ASSERT(OK()); } diff --git a/src/Dense_Row.defs.hh b/src/Dense_Row.defs.hh index 614e5b3..2627978 100644 --- a/src/Dense_Row.defs.hh +++ b/src/Dense_Row.defs.hh @@ -106,11 +106,11 @@ public: //! Resizes the row to \p sz, with capacity \p capacity. void resize(dimension_type sz, dimension_type capacity); - + //! Resets all the elements of this row. void clear(); - //! Adds \p n zeroes before index i. + //! Adds \p n zeroes before index \p i. /*! \param n The number of zeroes that will be added to the row. @@ -118,8 +118,8 @@ public: \param i The index of the element before which the zeroes will be added. - Existing elements with index greater than or equal to i are shifted to - the right by n positions. The size is increased by \p n. + Existing elements with index greater than or equal to \p i are shifted + to the right by \p n positions. The size is increased by \p n. Existing iterators are invalidated. */ diff --git a/src/Sparse_Row.defs.hh b/src/Sparse_Row.defs.hh index 6e963e3..17ecf7a 100644 --- a/src/Sparse_Row.defs.hh +++ b/src/Sparse_Row.defs.hh @@ -206,7 +206,7 @@ public: */ void delete_element_and_shift(dimension_type i); - //! Adds \p n zeroes before index i. + //! Adds \p n zeroes before index \p i. /*! \param n The number of non-stored zeroes that will be added to the row. @@ -214,16 +214,16 @@ public: \param i The index of the element before which the zeroes will be added. - Existing elements with index greater than or equal to i are shifted to - the right by n positions. The size is increased by \p n. + Existing elements with index greater than or equal to \p i are shifted to + the right by \p n positions. The size is increased by \p n. - Existing iterators are not invalidated, but are shifted to the right by n - if they pointed at or after index i (i.e. they point to the same, - possibly shifted, values as before). + Existing iterators are not invalidated, but are shifted to the right + by \p n if they pointed at or after index \p i (i.e., they point to + the same, possibly shifted, values as before). - This method takes \f$O(k+\log n)\f$ expected time, where k is the number - of elements with index greater than or equal to i and n the number of - stored elements (not the parameter to this method). + This method takes \f$O(k + \log m)\f$ expected time, where \f$k\f$ is + the number of elements with index greater than or equal to \p i and + \f$m\f$ the number of stored elements. */ void add_zeroes_and_shift(dimension_type n, dimension_type i);

1 0

[GIT] ppl/ppl(master): Added comments.
by Patricia Hill 23 Mar '12

23 Mar '12

Module: ppl/ppl Branch: master Commit: d4483b02e0662083fcfaf8d2652ca2ddb1f34811 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4483b02e066… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 23 20:04:38 2012 +0000 Added comments. --- src/Grid.defs.hh | 23 ++++++++++++++++++++--- 1 files changed, 20 insertions(+), 3 deletions(-) diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index 3027fda..6925cd5 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -2505,9 +2505,26 @@ private: \f$\{3x \equiv_3 0, x + y \equiv_3 1\}\f$ (which is in strong minimal form). - Only consider from index \p start to index \p end of the row at \p - pivot_index. Flag \p generators indicates whether \p sys is a - congruence or generator system. + \param sys + The generator or congruence system to be reduced to strong minimal form. + + \param dim + Column to be reduced. + + \param pivot_index + Index of last row to be reduced. + + \param start + Index of first column to be changed. + + \param end + Index of last column to be changed. + + \param sys_dim_kinds + Dimension kinds of the elements of \p sys. + + \param generators + Flag indicating whether \p sys is a congruence or generator system */ template <typename M, typename R> static void reduce_reduced(M& sys, dimension_type dim,

1 0

[GIT] ppl/ppl(ppl-0_12-branch): 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=da49b6da9d4f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 20:50:12 2012 +0100 Added `@extra_includes@' to `AM_CPPFLAGS'. (Thanks to Joao M. Santos Silva.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02e002940b96… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 20:22:26 2012 +0100 Portability improved. (Thanks to Tim Donahue.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b2b38ae6fe5b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 20:18:02 2012 +0100 Fixed lots of parameter names. Detected by ECLAIR service funparam. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c624c9cf8f1b… 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. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=954845098a82… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Mar 22 10:10:05 2012 +0100 Fixed indentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff875158151c… 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=8ecb6d324aa7… 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=d8c239c15a38… 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=02b24672d0da… 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=3a307d1dc79b… 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=653badaea3d1… 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=f0419b9724f6… 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=7004fc9973c2… 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=85ccb147c4ba… 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=51135c5a6818… 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=2461b9858e7b… 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=45fc1f8c9183… 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=4fe204fcf95a… 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=22719a0b121d… 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=cd8f93c17c3a… 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=c8166f32234f… 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=26b1616807a1… 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=13c45a25b208… 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=7938d98bf57b… 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=53c943c93783… 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=6d9ce77b9449… 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=17b6215af5d3… 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=6763df2e1a2b… 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=db8d1ecafd6e… 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=a875756207e4… 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=bc3b26054fcb… 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=3735093d1fd3… 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=be5d1ab6547e… 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=854726472ddd… 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=ca26b104d2b5… 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=30b4263b34c7… 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=36b487d4fdc7… 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=33f8c1568d88… 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=3bc90e6a92c3… 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=97c61de3f9ab… 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=4de67715a1f1… 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=6b90039b2c28… 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=35df86fca704… 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=d26f48ce69ca… 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=1586a0a17e00… 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=597bfb65c4ef… 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=b523e08bece3… 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=e68fdc815829… 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=bc52edfcbdbb… 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=abfa36f3f43d… 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=e9ea1c3671ab… 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=cbad3d6c4c18… 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=a04f60ce0968… 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=1cec0624497c… 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=dbf329613862… 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=1205e1b991ed… 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=aff24b88a898… 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=33e5d9b3e14b… 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=02ac64c825e2… 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=3d6b9b9abb44… 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=4cb1be2e5bbf… 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=fbeca674e518… 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=290fd9a76865… 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=d53f4a4b7aa6… 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=f5876cc415bb… 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=63dcbf78ad7d… 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.

1 0

[GIT] ppl/ppl(master): Added `@extra_includes@' to `AM_CPPFLAGS'.
by Roberto Bagnara 23 Mar '12

23 Mar '12

Module: ppl/ppl Branch: master Commit: 8d571fcfe081a22ec0dce540df994fb0725812fe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d571fcfe081… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 20:50:12 2012 +0100 Added `@extra_includes@' to `AM_CPPFLAGS'. (Thanks to Joao M. Santos Silva.) --- tests/Watchdog/Makefile.am | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/tests/Watchdog/Makefile.am b/tests/Watchdog/Makefile.am index 2ea44ea..7d0e822 100644 --- a/tests/Watchdog/Makefile.am +++ b/tests/Watchdog/Makefile.am @@ -41,6 +41,7 @@ AM_CPPFLAGS = \ -I$(top_srcdir)/src \ -I$(top_builddir)/src \ -I$(top_srcdir)/tests \ +@extra_includes@ \ @debug_flag@ LDADD = \

1 0

[GIT] ppl/ppl(master): Portability improved.
by Roberto Bagnara 23 Mar '12

23 Mar '12

Module: ppl/ppl Branch: master Commit: a1ae10fce329c8d02540538f7ce9a29779e1a711 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1ae10fce329… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 20:22:26 2012 +0100 Portability improved. (Thanks to Tim Donahue.) --- utils/text2cxxarray.in | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/utils/text2cxxarray.in b/utils/text2cxxarray.in index 571e791..e484735 100644 --- a/utils/text2cxxarray.in +++ b/utils/text2cxxarray.in @@ -56,7 +56,9 @@ GetOptions( my @lines = <>; my $size = @lines + 1; -print "extern const char* const ${array_name}[$size]"; +print "extern const char* const "; +print $array_name; +print "[$size]"; if (! $decl_only) { print " = {\n";

1 0

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

23 Mar '12

Module: ppl/ppl Branch: master Commit: 6f410b958859913c61d06b7528d71f5eb89b26e3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f410b958859… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 20:18:02 2012 +0100 Fixed lots of parameter names. Detected by ECLAIR service funparam. --- src/Generator.defs.hh | 2 +- src/Generator_System.defs.hh | 9 +-- src/Grid.defs.hh | 30 +++++----- src/Grid_Certificate.cc | 35 ++++++----- src/Grid_nonpublic.cc | 6 +- src/Grid_simplify.cc | 106 ++++++++++++++++---------------- src/Grid_widenings.cc | 61 ++++++++++--------- src/MIP_Problem.cc | 104 ++++++++++++++++---------------- src/MIP_Problem.defs.hh | 18 +++--- src/OR_Matrix.inlines.hh | 12 ++-- src/Octagonal_Shape.templates.hh | 4 +- src/PIP_Problem.defs.hh | 2 +- src/PIP_Tree.cc | 59 +++++++++--------- src/PIP_Tree.defs.hh | 40 ++++++------ src/Partially_Reduced_Product.defs.hh | 8 +- src/Pointset_Powerset.defs.hh | 6 +- src/Polyhedron.defs.hh | 36 ++++++----- src/Polyhedron_nonpublic.cc | 66 ++++++++++---------- src/Scalar_Products.cc | 98 +++++++++++++++--------------- src/Scalar_Products.defs.hh | 37 +++++++++-- src/Variables_Set.defs.hh | 2 +- 21 files changed, 386 insertions(+), 355 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=6f410b95…

1 0