- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): demos/ppl_pips: remove two unused functions.
by Marco Poletti 07 Dec '11

07 Dec '11

Module: ppl/ppl Branch: master Commit: 21e65da7eb5060d87ccdcd8f0d74fc525abd3cb6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21e65da7eb50… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Dec 7 10:11:02 2011 +0100 demos/ppl_pips: remove two unused functions. --- demos/ppl_pips/ppl_pips.cc | 12 ------------ 1 files changed, 0 insertions(+), 12 deletions(-) diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc index c45eac0..bfa1def 100644 --- a/demos/ppl_pips/ppl_pips.cc +++ b/demos/ppl_pips/ppl_pips.cc @@ -549,12 +549,6 @@ set_input(const char* file_name) { } } -std::istream& -input() { - assert(input_stream_p); - return *input_stream_p; -} - const char* output_file_name = 0; std::ostream* output_stream_p = 0; @@ -577,12 +571,6 @@ set_output(const char* file_name) { } } -std::ostream& -output() { - assert(output_stream_p); - return *output_stream_p; -} - bool piplib_format = false; } // namespace

1 0

[GIT] ppl/ppl(master): Indentation fixed.
by Roberto Bagnara 07 Dec '11

07 Dec '11

Module: ppl/ppl Branch: master Commit: 8339ae043697fbcf60ae049583ad4956b7e49901 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8339ae043697… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 7 08:33:45 2011 +0100 Indentation fixed. Detected by ECLAIR service indntion. --- src/Pointset_Powerset.templates.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Pointset_Powerset.templates.hh b/src/Pointset_Powerset.templates.hh index 44430f3..d75786a 100644 --- a/src/Pointset_Powerset.templates.hh +++ b/src/Pointset_Powerset.templates.hh @@ -1496,7 +1496,7 @@ Pointset_Powerset<PSET>::ascii_dump(std::ostream& s) const { PPL_OUTPUT_TEMPLATE_DEFINITIONS(PSET, Pointset_Powerset<PSET>) - template <typename PSET> +template <typename PSET> bool Pointset_Powerset<PSET>::ascii_load(std::istream& s) { Pointset_Powerset& x = *this;

1 0

[GIT] ppl/ppl(master): tests/BD_Shape/cc76extrapolation1: avoid unused expression warnings by casting to void.
by Marco Poletti 04 Dec '11

04 Dec '11

Module: ppl/ppl Branch: master Commit: aad573256afaa3204f9d2f090a61c59f4d0c32ec URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aad573256afa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 18:27:44 2011 +0100 tests/BD_Shape/cc76extrapolation1: avoid unused expression warnings by casting to void. --- tests/BD_Shape/cc76extrapolation1.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/BD_Shape/cc76extrapolation1.cc b/tests/BD_Shape/cc76extrapolation1.cc index d4d46ca..b482793 100644 --- a/tests/BD_Shape/cc76extrapolation1.cc +++ b/tests/BD_Shape/cc76extrapolation1.cc @@ -176,7 +176,7 @@ test03() { bds2.add_constraint(D - C <= 1); // Force the closure of `bds1'. - bds1 == bds2; + (void) (bds1 == bds2); BD_Shape<mpq_class> known_widening(4); known_widening.add_constraint(A >= 0); @@ -200,7 +200,7 @@ test03() { print_constraints(bds1, "*** bds1.CC76_extrapolation_assign(bds2) ***"); // Force the closure of `bds1'. - bds1 == bds2; + (void) (bds1 == bds2); bool ok = (BD_Shape<mpq_class>(bds1) == known_widening);

1 0

[GIT] ppl/ppl(master): Disable all abstractions based on machine floating-point numbers when clang++ is detected .
by Roberto Bagnara 04 Dec '11

04 Dec '11

Module: ppl/ppl Branch: master Commit: e78400a9a29988f68b1d6a238c49dea8ea72617d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e78400a9a299… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 4 18:03:29 2011 +0100 Disable all abstractions based on machine floating-point numbers when clang++ is detected. --- configure.ac | 13 ++++++++++--- 1 files changed, 10 insertions(+), 3 deletions(-) diff --git a/configure.ac b/configure.ac index db4f1d8..131e335 100644 --- a/configure.ac +++ b/configure.ac @@ -494,9 +494,16 @@ then # lots of warnings. if test x"$CLANGXX" = xyes then - AC_MSG_WARN([DISABLING -frounding-math: -*** clang++ detected, disabling -frounding-math. -*** NOTE THAT THIS CAN GIVE WRONG RESULTS!]) + if test x"$use_fpmath" = xyes + then + AC_MSG_WARN([CANNOT RELY ON DIRECTED ROUNDING: +*** DISABLED ALL ABSTRACTIONS BASED ON MACHINE FLOATING-POINT NUMBERS. +*** clang++ has been detected, which does not provide support for +*** -frounding-math (or any other option with the same semantics). +*** Hence, we cannot rely on floating-point computations to happen +*** in agreement with the rounding direction(s) used by the PPL.]) + use_fpmath=no + fi else OPT_FLAGS="$OPT_FLAGS -frounding-math" fi

1 0

[GIT] ppl/ppl(master): Detect when clang++ is used, and disable -frounding-math in that case.
by Marco Poletti 04 Dec '11

04 Dec '11

Module: ppl/ppl Branch: master Commit: fa6a077aa6dade2b1ab150fafc53ff0ceb68d829 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa6a077aa6da… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 15:04:11 2011 +0100 Detect when clang++ is used, and disable -frounding-math in that case. --- configure.ac | 49 ++++++++++++++++++++++++++++++++++++++++++++++++- 1 files changed, 48 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 912af57..db4f1d8 100644 --- a/configure.ac +++ b/configure.ac @@ -173,6 +173,25 @@ choke me AC_LANG_POP(C) fi +# The clang compiler masquerades as gcc, but we want to know. +if test x"$GCC" = xyes +then + AC_MSG_CHECKING([whether we are actually using Clang]) + AC_LANG_PUSH(C) + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +#ifndef __clang__ +choke me +#endif +]])], + AC_MSG_RESULT(yes) + CLANG=yes, + AC_MSG_RESULT(no) + CLANG=no, + AC_MSG_RESULT(no) + CLANG=no) + AC_LANG_POP(C) +fi + save_CXXFLAGS="$CXXFLAGS" AC_PROG_CXX CXXFLAGS="$save_CXXFLAGS" @@ -196,6 +215,25 @@ choke me AC_LANG_POP(C++) fi +# The clang++ compiler masquerades as g++, but we want to know. +if test x"$GXX" = xyes +then + AC_MSG_CHECKING([whether we are actually using clang++]) + AC_LANG_PUSH(C++) + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +#ifndef __clang__ +choke me +#endif +]])], + AC_MSG_RESULT(yes) + CLANGXX=yes, + AC_MSG_RESULT(no) + CLANGXX=no, + AC_MSG_RESULT(no) + CLANGXX=no) + AC_LANG_POP(C++) +fi + AC_PROG_FGREP AC_PROG_EGREP AC_PROG_SED @@ -452,7 +490,16 @@ then then OPT_FLAGS="$OPT_FLAGS -fp-model strict -fp-speculation off" else - OPT_FLAGS="$OPT_FLAGS -frounding-math" + # -frounding-math is not yet supported in clang++, if we use it we get + # lots of warnings. + if test x"$CLANGXX" = xyes + then + AC_MSG_WARN([DISABLING -frounding-math: +*** clang++ detected, disabling -frounding-math. +*** NOTE THAT THIS CAN GIVE WRONG RESULTS!]) + else + OPT_FLAGS="$OPT_FLAGS -frounding-math" + fi fi fi

1 0

[GIT] ppl/ppl(master): tests/Concrete_Expression: avoid using unnamed types as template arguments.
by Marco Poletti 04 Dec '11

04 Dec '11

Module: ppl/ppl Branch: master Commit: c7d2895da620c1ac39ff3b90f38730bf65a830fe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7d2895da620… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 11:55:22 2011 +0100 tests/Concrete_Expression: avoid using unnamed types as template arguments. --- tests/Concrete_Expression/C_Expr.defs.hh | 16 ++++++++-------- 1 files changed, 8 insertions(+), 8 deletions(-) diff --git a/tests/Concrete_Expression/C_Expr.defs.hh b/tests/Concrete_Expression/C_Expr.defs.hh index c762483..c38a0ee 100644 --- a/tests/Concrete_Expression/C_Expr.defs.hh +++ b/tests/Concrete_Expression/C_Expr.defs.hh @@ -85,12 +85,12 @@ public: const Concrete_Expression<C_Expr>* right_hand_side() const; //! Constant identifying binary operator nodes. - enum { + enum Kind { KIND = BOP }; //! Constants encoding the different binary operators. - enum { + enum Operation { ADD, SUB, MUL, @@ -135,12 +135,12 @@ public: const Concrete_Expression<C_Expr>* argument() const; //! Constant identifying unary operator nodes. - enum { + enum Kind { KIND = UOP }; //! Constants encoding the different unary operators. - enum { + enum Operation { UPLUS, UMINUS, BNOT @@ -172,7 +172,7 @@ public: const Concrete_Expression<C_Expr>* argument() const; //! Constant identifying cast nodes. - enum { KIND = CAST }; + enum Kind { KIND = CAST }; //! The casted expression. const Concrete_Expression<C_Expr>* arg; @@ -194,7 +194,7 @@ public: Concrete_Expression_Type type() const; //! Constant identifying integer constant nodes. - enum { KIND = INT_CON }; + enum Kind { KIND = INT_CON }; //! An interval in which the value of the constant falls. Integer_Interval value; @@ -216,7 +216,7 @@ public: Concrete_Expression_Type type() const; //! Constant identifying floating constant nodes. - enum { KIND = FP_CON }; + enum Kind { KIND = FP_CON }; //! The floating point constant as written. char* value; @@ -240,7 +240,7 @@ public: Concrete_Expression_Type type() const; //! Constant identifying approximable reference nodes. - enum { KIND = APPROX_REF }; + enum Kind { KIND = APPROX_REF }; //! An interval in which the referenced entity's value falls. Integer_Interval value;

1 0

[GIT] ppl/ppl(master): CO_Tree: avoid static_casts between Coefficient* and void*. Use an allocator instead.
by Marco Poletti 04 Dec '11

04 Dec '11

Module: ppl/ppl Branch: master Commit: db4eb1cdc83424041c699891a22639bf8106f3d0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db4eb1cdc834… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 00:31:01 2011 +0100 CO_Tree: avoid static_casts between Coefficient* and void*. Use an allocator instead. --- src/CO_Tree.cc | 8 +++----- src/CO_Tree.defs.hh | 2 ++ 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/CO_Tree.cc b/src/CO_Tree.cc index 08115c2..f2f5c66 100644 --- a/src/CO_Tree.cc +++ b/src/CO_Tree.cc @@ -521,8 +521,7 @@ PPL::CO_Tree::init(dimension_type reserved_size1) { reserved_size = ((dimension_type)1 << max_depth) - 1; indexes = new dimension_type[reserved_size + 2]; try { - data = static_cast<data_type*>(operator new(sizeof(data_type) - * (reserved_size + 1))); + data = coefficient_allocator.allocate(reserved_size + 1); } catch (...) { delete [] indexes; throw; @@ -551,7 +550,7 @@ PPL::CO_Tree::destroy() { } delete [] indexes; - operator delete(static_cast<void*>(data)); + coefficient_allocator.deallocate(data, reserved_size + 1); } } @@ -705,8 +704,7 @@ PPL::CO_Tree::rebuild_bigger_tree() { data_type* new_data; try { - new_data = static_cast<data_type*>(operator new(sizeof(data_type) - * (new_reserved_size + 1))); + new_data = coefficient_allocator.allocate(new_reserved_size + 1); } catch (...) { delete new_indexes; throw; diff --git a/src/CO_Tree.defs.hh b/src/CO_Tree.defs.hh index 86a3a2f..eed941c 100644 --- a/src/CO_Tree.defs.hh +++ b/src/CO_Tree.defs.hh @@ -1299,6 +1299,8 @@ private: //! The number of values stored in the tree. dimension_type size_; + + std::allocator<Coefficient> coefficient_allocator; }; class CO_Tree::tree_iterator {

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 04 Dec '11

04 Dec '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=323a3353013a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 4 09:42:56 2011 +0100 Matrix: fix a compilation error caused by the renaming of *_Row::swap() to swap_coefficients(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5d91bcc2d84… Merge: 3915e7ab59aabfdc400aa197259a94c40fbfd481 56c58b4737acece415c0ea4b4bc42bbfa8339028 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 18:24:00 2011 +0100 Merge branch 'master' into sparse_matrices_test Conflicts: src/Grid_public.cc src/Polyhedron_nonpublic.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3915e7ab59aa… Merge: 511aa5636c1f36672c7e751600a124042296ed8d 0ae35bbbc1e8f4d1a38ced7fe7190be9a29e4fb6 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 18:20:14 2011 +0100 Merge commit '0ae35bbbc1e8f4d1a38ced7fe7190be9a29e4fb6' into sparse_matrices_test Conflicts: src/BD_Shape.templates.hh src/Box.templates.hh src/Congruence_System.inlines.hh src/Constraint_System.defs.hh src/Constraint_System.inlines.hh src/Generator.cc src/Generator_System.cc src/Generator_System.defs.hh src/Generator_System.inlines.hh src/Grid_Generator.cc src/MIP_Problem.cc src/Octagonal_Shape.templates.hh src/PIP_Tree.cc src/Polyhedron_nonpublic.cc src/Polyhedron_public.cc src/Sparse_Matrix.defs.hh src/termination.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=511aa5636c1f… Merge: 81ac726bb6321ea46d35c10e9fbf338798ccf9e7 dbedf8514da0b58c7c5ff8c37356a9ffc8d1f835 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 17:57:41 2011 +0100 Merge commit 'dbedf8514da0b58c7c5ff8c37356a9ffc8d1f835' into sparse_matrices_test Conflicts: src/Linear_Row.defs.hh src/Linear_System.defs.hh src/Makefile.am URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81ac726bb632… Merge: dc35fb6a0f89056391b1f9c792c84c0277185773 a9a6632bfcc7a546a2a7edcb636e47f60e4839b4 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 17:53:46 2011 +0100 Merge commit 'a9a6632bfcc7a546a2a7edcb636e47f60e4839b4' into sparse_matrices_test Conflicts: src/Box.templates.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc35fb6a0f89… Merge: 129623ea0547877a78287683486002c823860c5a 5d31265f3e17b7e1d0d03d0009a1906b2d03165c Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 17:47:27 2011 +0100 Merge commit '5d31265f3e17b7e1d0d03d0009a1906b2d03165c' into sparse_matrices_test Conflicts: src/Linear_Expression_Interface.cc src/MIP_Problem.defs.hh src/Matrix.defs.hh src/Matrix.templates.hh src/Matrix.types.hh src/Row.types.hh tests/Polyhedron/matrix1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=129623ea0547… Merge: 59ea76084d9ee2cc8271bad69a94cc1ee92f2ebe 39c1356315950be2201142fba21cf0f861e234c1 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 17:42:59 2011 +0100 Merge commit '39c1356315950be2201142fba21cf0f861e234c1' into sparse_matrices_test Conflicts: src/Dense_Matrix.cc src/Dense_Matrix.defs.hh src/Dense_Matrix.inlines.hh src/Linear_Row.cc src/Linear_Row.defs.hh src/Linear_Row.inlines.hh src/Linear_System.cc src/Sparse_Matrix.defs.hh src/Sparse_Matrix.inlines.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59ea76084d9e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 17:28:35 2011 +0100 Grid_Generator: remove an obsolete swap() method that takes two Variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d49034e7c02… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 17:26:37 2011 +0100 Dense_Row, Sparse_Row: rename the swap() methods that take two dimension_type or two iterators into swap_coefficients(), to avoid name clashes with swap(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56c58b4737ac… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 3 13:32:57 2011 +0100 Enforce generator normalization in private method Polyhedron::BFT00_poly_hull_assign_if_exact() and add corresponding assertion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45ab694303e9… Merge: a037e2633720b8d10903494901baaaeee758f47d 0442fb1660eb2a57e4412b44505a3a28a8d826f0 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 13:03:49 2011 +0100 Merge commit '0442fb1660eb2a57e4412b44505a3a28a8d826f0' into sparse_matrices_test Conflicts: src/BD_Shape.templates.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a037e2633720… Merge: 5a7778b90aa97bbf16978563f1646571ac6ffbe6 97f3e98708cbb53eabf0fb0c30f38e50eb549369 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 12:24:21 2011 +0100 Merge commit '97f3e98708cbb53eabf0fb0c30f38e50eb549369' into sparse_matrices_test Conflicts: src/Polyhedron_minimize.templates.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a7778b90aa9… Merge: d1668f40313837863097ad46908ae42428468e80 367a91ec09da66585614d6829dbb089066d57c77 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 12:22:37 2011 +0100 Merge commit '367a91ec09da66585614d6829dbb089066d57c77' into sparse_matrices_test Conflicts: src/Grid_Generator_System.cc src/Grid_nonpublic.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1668f403138… Merge: 0798bb988b4ad3fcab2d14573d940f5cbad2690d a6e777561ba56e830bd44128adc8038609c8cb23 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 12:15:13 2011 +0100 Merge commit 'a6e777561ba56e830bd44128adc8038609c8cb23' into sparse_matrices_test Conflicts: src/Bit_Matrix.cc src/Congruence.cc src/Dense_Matrix.cc src/Dense_Row.defs.hh src/Dense_Row.inlines.hh src/Linear_Row.cc src/Linear_System.cc src/Matrix.templates.hh src/Polyhedron_conversion.templates.hh src/Polyhedron_minimize.templates.hh src/Polyhedron_simplify.templates.hh src/Row_Flags.cc src/swapping_sort.templates.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0798bb988b4a… Merge: f58219b86f8834e0fe834972785c6b1b0978e019 fa86778c6ae396672711e10f2c195df3cb13311f Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 11:58:10 2011 +0100 Merge commit 'fa86778c6ae396672711e10f2c195df3cb13311f' into sparse_matrices_test Conflicts: src/Dense_Matrix.cc src/Dense_Matrix.defs.hh src/Dense_Matrix.inlines.hh src/Linear_Row.cc src/Linear_Row.defs.hh src/Linear_Row.inlines.hh src/Linear_System.cc src/Row_Flags.cc src/Row_Flags.defs.hh src/Row_Flags.inlines.hh src/Sparse_Matrix.defs.hh src/Sparse_Matrix.inlines.hh 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=f58219b86f88… Merge: 40b84cb892cb2f8dc7aa7cf2874b47515ff28289 703cc3ccfae900375897b441b2abfe0ad6e0f210 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 11:48:22 2011 +0100 Merge commit '703cc3ccfae900375897b441b2abfe0ad6e0f210' into sparse_matrices_test Conflicts: src/Box.templates.hh src/Congruence.cc src/Constraint.cc src/Constraint.inlines.hh src/Generator.inlines.hh src/Grid_Generator.cc src/Grid_chdims.cc src/Linear_Expression.cc src/Linear_Row.inlines.hh src/Linear_System.inlines.hh src/Octagonal_Shape.templates.hh src/Polyhedron_chdims.cc src/Polyhedron_minimize.templates.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40b84cb892cb… Merge: aa3422ed560104e1adfcabc5b5bd0a65a909561e 09144610d98413a390afed2c0f5b189e7a9e5f30 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 11:34:40 2011 +0100 Merge commit '09144610d98413a390afed2c0f5b189e7a9e5f30' into sparse_matrices_test URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa3422ed5601… Merge: 34333711e38e47d7645d1df1790e84b537f2c055 95285ecc6049e25569f31f07d64d4f53a1be732e Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 11:33:35 2011 +0100 Merge commit '95285ecc6049e25569f31f07d64d4f53a1be732e' into sparse_matrices_test Conflicts: src/Congruence.cc src/Congruence.inlines.hh src/Congruence_System.cc src/Grid_Generator.cc src/Grid_Generator.inlines.hh src/Grid_Generator_System.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34333711e38e… Merge: a66ee1042a51fbef3a83da5f2c57dafd4f6ccd38 a87bb62c2afee1571db0d44ac02b756c9e30cb3c Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 11:20:19 2011 +0100 Merge commit 'a87bb62c2afee1571db0d44ac02b756c9e30cb3c' into sparse_matrices_test Conflicts: src/Box.templates.hh src/Congruence_System.inlines.hh src/Constraint_System.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a66ee1042a51… Merge: 1d62ef76407877463fae70835cd87a11cbcd44a2 50dc24772dc142eed06b6109672b3804e15a0804 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 3 11:11:42 2011 +0100 Merge commit '50dc24772dc142eed06b6109672b3804e15a0804' into sparse_matrices_test Conflicts: src/BD_Shape.defs.hh src/Makefile.am src/Polyhedron_nonpublic.cc src/globals.types.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d62ef764078… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:23:02 2011 +0100 Grid: add an assertion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b81949a8e14c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:22:46 2011 +0100 Constraint, Generator, Grid_Generator: make the expr field private again, and add needed friend declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ebb4b03959e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:21:47 2011 +0100 Generator: simplify the space_dimension() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9002b3038fde… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:21:10 2011 +0100 Constraint: use the expression() method instead of the expr field, in operator<<(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3e5d8cbbbf8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:20:31 2011 +0100 Congruence: use the expression() method instead of the expr field, in the constructors from a Constraint. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8db6e42c588f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:19:40 2011 +0100 Grid: use the expression() method instead of the expr field, in constrains(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=440c1f034c9a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:19:29 2011 +0100 Grid: use the expression() method instead of the expr field, in relation_with(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d29ffb3ac1e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:19:16 2011 +0100 Grid: use the expression() method instead of the expr field, in conversion(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18c45198c45d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:19:00 2011 +0100 Grid: use the expression() method instead of the expr field, in expand_space_dimension(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3730a687ba48… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:18:23 2011 +0100 Grid: use the expression() method instead of the expr field, in map_space_dimensions(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eabf35d14db… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:17:42 2011 +0100 Polyhedron: use the expression() method instead of the expr field, in time_elapse_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98485ed8c358… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:17:29 2011 +0100 Polyhedron: use the expression() method instead of the expr field, in constrains(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5b7022c22cc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:17:15 2011 +0100 Polyhedron: use the expression() method instead of the expr field, in contains_integer_point(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b7c94d290d4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:17:00 2011 +0100 Polyhedron: use the expression() method instead of the expr field, in is_universe(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2273ff995604… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:16:46 2011 +0100 Polyhedron: use the expression() method instead of the expr field, in drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d8bfbce5b74… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:16:27 2011 +0100 Polyhedron: use the expression() method instead of the expr field, in strongly_minimize_constraints(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a6e4ffa3b09… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:16:12 2011 +0100 Polyhedron: use the expression() method instead of the expr field, in map_space_dimensions(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=225b1d53e252… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:15:42 2011 +0100 Octagonal_Shape_Helper: use the expression() method instead of the expr field. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25f5cd3f02c4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:15:11 2011 +0100 MIP_Problem: use the expression() method instead of the expr field, in process_pending_constraints(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd991b8467a5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:14:52 2011 +0100 MIP_Problem: use the expression() method instead of the expr field, in parse_constraints(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7af715e64cb2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:14:16 2011 +0100 PIP_Solution_Node: use the expression() method instead of the expr field, in update_tableau(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05e049711f4a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:13:46 2011 +0100 PIP_Problem: use the expression() method instead of the expr field, in solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7b29da8054e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:13:19 2011 +0100 termination: use the expression() method instead of the expr field, in one_affine_ranking_function_MS(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce06871af31d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:13:06 2011 +0100 termination: use the expression() method instead of the expr field, in fill_constraint_systems_PR_original(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b4b509284e3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:12:45 2011 +0100 termination: use the expression() method instead of the expr field, in fill_constraint_systems_PR(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d9b71a6a246… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:12:14 2011 +0100 termination: use the expression() method instead of the expr field, in fill_constraint_systems_MS(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09dbf854d0d0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:11:44 2011 +0100 wrap_assign: use the expression() method instead of the expr field, in wrap_assign_ind(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=763b2ca0fb07… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:11:12 2011 +0100 Box: use the expression() method instead of the expr field, in propagate_constraint_no_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c486d85440dc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:10:41 2011 +0100 Box: use the expression() method instead of the expr field, in the relation_with() method that takes a Generator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf7010e3fa9b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:10:29 2011 +0100 Box: use the expression() method instead of the expr field, in the relation_with() method that takes a Constraint. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b70721e0993e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:10:19 2011 +0100 Box: use the expression() method instead of the expr field, in the relation_with() method that takes a Congruence. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72d1550c5f39… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:09:44 2011 +0100 Box: use the expression() method instead of the expr field, in the constructor from a Generator_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87d553ea72e4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:08:48 2011 +0100 Box: use the expression() method instead of the expr field, in extract_interval_constraint(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17387ea2f5e2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:08:21 2011 +0100 BHRZ03_Certificate: use the expression() method instead of the expr field, in compare(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9388de49896c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:07:56 2011 +0100 BHRZ03_Certificate: use the expression() method instead of the expr field, in the constructor from a Polyhedron. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dde8ba2e97f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:07:28 2011 +0100 BD_Shape: use the expression() method instead of the expr field, in the constructor from a Generator_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f23084412f6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:07:00 2011 +0100 BD_Shape: use the expression() method instead of the expr field, in extract_bounded_difference(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=596377808c80… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:06:18 2011 +0100 Affine_Space: use the expression() method instead of the expr field, in the constructor from a Generator_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53846881ffeb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:04:43 2011 +0100 Linear_Expression_Impl: remove the constructors from Constraint, Generator, Grid_Generator and Congruence. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d7bb5b7659a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:03:21 2011 +0100 Linear_Expression: simplify the constructors from Constraint, Generator, Grid_Generator and Congruence. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=898c6c0ba5d4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 13:01:17 2011 +0100 Linear_Expression: add constructors from wrapped expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2da44bf05815… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 12:58:39 2011 +0100 Grid_Generator: add two fields that wrap 'expr', hiding implementation details, and add an expression() method that returns the fully-wrapped expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73db2b0e8920… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 12:56:08 2011 +0100 Generator: add two fields that wrap 'expr', hiding implementation details, and add an expression() method that returns the fully-wrapped expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=493eb02129c6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 12:53:25 2011 +0100 Constraint: add a field that wraps 'expr', hiding implementation details, and add an expression() method that returns it. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e416cca729e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 12:46:03 2011 +0100 Constraint, Generator, Grid_Generator: remove the expression() method, and (temporarily) let client code use the expr field directly. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=436023e2a62f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 19:18:17 2011 +0100 tests/linearsystem1: avoid using the Constraint::expression() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16ca5cd3ad2d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 16 02:56:47 2011 +0100 Add the Expression_Hide_Last and Expression_Hide_Inhomo classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbf26770dfc4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 17:35:37 2011 +0100 Generator: make some methods public/private and rearrange declarations in the class definition. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a97a7b0674b3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 16:25:23 2011 +0100 Constraint, Generator, Grid_Generator: remove the non-const expression() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fdf8a292d43… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 16:24:48 2011 +0100 Instead of using the non-const expression() method of Constraint, Generator and Grid_Generator, use the field directly and assert OK() a fterwards (#3). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d6fb9dbb6db… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 16:18:54 2011 +0100 Linear_System: remove the normalize() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c62b80584971… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 16:18:33 2011 +0100 Linear_System: call shift_space_dimensions() on the rows instead of on their expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eacf6850d24e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 16:17:37 2011 +0100 Instead of using the non-const expression() method of Constraint, Generator and Grid_Generator, use the field directly and assert OK() afterwards (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a99ec15134b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 15:54:36 2011 +0100 Generator, Constraint: normalize if necessary, in set_space_dimension(). Also add and use some unchecked methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17e8f6e288fc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 18:07:11 2011 +0100 Linear_System: avoid constructing invalid rows and fixing them afterwards, in add_universe_rows_and_columns(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2577070f94cc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 18:03:55 2011 +0100 Constraint: the constructor from a Linear_Expression that takes a Type and a Topology no longer reduces the space dimension by 1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9e4437c512b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 30 17:39:56 2011 +0100 Generator: the constructor from a Linear_Expression that takes a Type and a Topology no longer reduces the space dimension by 1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27cc6cac9356… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 15:52:37 2011 +0100 Generator: add a constructor that takes a Linear_Expression, a Kind and a Topology. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3498564a25bd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 15:52:06 2011 +0100 Constraint: add a constructor that takes a Linear_Expression, a Kind and a Topology. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aac128ef297e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 15:51:24 2011 +0100 Add some comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5fb080233150… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 15:47:48 2011 +0100 Instead of using the non-const expression() method of Constraint, Generator and Grid_Generator, use the field directly and assert OK() afterwards. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c55d120a2bb6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Dec 1 15:11:36 2011 +0100 Polyhedron: make sure that mid_g is OK() before passing it to relation_with(), in BFT00_poly_hull_assign_if_exact(). Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b384ace64d3a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 3 09:24:39 2011 +0100 Style improvements for Grid::relation_with(const Congruence& cg) const. No functionality change. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b67af6c1ba5a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 3 09:17:12 2011 +0100 Corrected errors in method Grid::relation_with(const Constraint&) const. The method was affected by two problems: 1) when working on a non-minimized grid generator system, the points after the first one were transformed into parameters that were not satisfying the Grid_Generator invariant (reported by Marco Poletti); 2) the method was providing an incorrect result when comparing a grid generator line/parameter with a (strict) inequality constraint, as happens for test20() in tests/Grid/relations3.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=856eabd63f47… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 3 09:13:58 2011 +0100 Added new test showing an error in Grid::relation_with(const Constraint&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f29d90a2e19… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 15:45:34 2011 +0100 Congruence, Generator, Grid_Generator, Constraint: add a shift_space_dimensions() method. Use these methods in Polyhedron::concatenate_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc2b4053818c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 15:40:40 2011 +0100 Add a TODO. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5afc56b61bc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 12:03:12 2011 +0100 Grid_Generator: remove the negate() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d53c2dafdad… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 12:00:43 2011 +0100 Remove some TODOs/FIXMEs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f79b0b8e94ac… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 11:57:14 2011 +0100 Congruence: make all *normalize() methods public. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fddc7b2f7de5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 11:54:43 2011 +0100 Congruence: improve the documentation of set_modulus() and remove the set_is_equality() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=689266e1473b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 11:49:57 2011 +0100 Modify some comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fcad9c2b4d8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 11:47:58 2011 +0100 Congruence: remove the negate() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d891d58696e2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 11:40:53 2011 +0100 Congruence, Congruence_System: the affine_preimage() methods now take a Variable instead of a dimension_type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cefe2919de0a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 11:38:52 2011 +0100 Avoid using the Linear_Expression get() and set() methods that take a dimension_type, where possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9249e3459a14… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 11:38:18 2011 +0100 Linear_Expression: add a get() and a set() method that take a Variable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a40958bf5561… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 03:00:18 2011 +0100 Linear_Expression: move the is_unbounded_obj_function() method to the MIP_Problem class, and modify it to use the public API of Linear_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eadb38bb0cb1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 02:50:54 2011 +0100 Congruence: simplify the constructors from a Constraint. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82098a508d59… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 02:46:58 2011 +0100 Congruence: add a Recycle_Input tag to the constructor that steals the contents of a Linear_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a49d6c9245c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 02:44:35 2011 +0100 Remove an obsolete TODO. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0a797a376fa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 02:41:29 2011 +0100 Generator: remove the constructors that take a reserved_size. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69a0edddd394… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 02:37:11 2011 +0100 Linear_Expression_Impl: optimize the constructor from a Linear_Expression that takes a space dimension. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb4d1ab23f6d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 02:35:26 2011 +0100 Linear_Expression: move the modify_according_to_evolution() method to the Polyhedron class, and modify it to use the public API of Linear_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64a67986875e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 01:28:36 2011 +0100 Congruence: the constructor from a Linear_Expression and a modulus does not reduce by 1 the space dimension anymore. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21e45ca08272… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 01:15:55 2011 +0100 Linear_Expression, Congruence, Constraint, Generator, Grid_Generator: now most constructors take a space dimension instead of a size. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cc182abaf3b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 00:19:39 2011 +0100 Linear_Expression: allow the caller to specify the desired representation, to query it and also to change it afterwards. Also add the Representation enum. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=868e1f65b45b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 17 21:53:37 2011 +0100 Remove the Row typedef, use individual typedefs inside classes that need it instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7c50afd3a67… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 00:17:36 2011 +0100 Linear_Expression_Interface, Linear_Expression_Impl: remove the swap() method. It's not needed, since Linear_Expression can just swap pointers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c310fa60609c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Nov 14 15:08:11 2011 +0100 Linear_Expression: optimize add_mul_assign() and sub_mul_assign() for the n==0 case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b589a918701… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Nov 14 10:09:26 2011 +0100 BD_Shape: optimize deduce_v_minus_u_bounds(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32715df25154… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 17:56:22 2011 +0100 BD_Shape: optimize the frequency() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf0231e0d4dd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:33:09 2011 +0100 Add/Improve some TODO comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab4dccda09dc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:26:39 2011 +0100 Octagonal_Shape: improve some TODO comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d25172b7087… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:09:31 2011 +0100 Box: optimize generalized_affine_preimage(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=572b29622fde… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:08:10 2011 +0100 Box: optimize affine_image() and affine_preimage(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74fd74fca031… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:06:22 2011 +0100 Box: optimize the alternative implementation of propagate_constraint_no_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=456a4b7651ac… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:06:04 2011 +0100 Box: optimize propagate_constraint_no_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d51070d7d99… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:02:59 2011 +0100 Box: use Linear_Expression::last_nonzero() in propagate_constraint_no_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fdf01b8150fd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:02:25 2011 +0100 Linear_Expression: add a last_nonzero() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0eadf7a24e5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:01:44 2011 +0100 Box: optimize the frequency() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb2fc45af6e4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:01:18 2011 +0100 Box: optimize the max_min() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70ed80a42353… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:00:51 2011 +0100 Box: optimize the relation_with() method that takes a Generator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=203ee2932173… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:00:29 2011 +0100 Box: optimize the relation_with() method that takes a Constraint. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=468486664f7a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 15:00:17 2011 +0100 Box: optimize the relation_with() method that takes a Congruence. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=623e6010ad53… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:59:49 2011 +0100 Box: optimize the bounds() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ba5fa3edf60… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:59:23 2011 +0100 Box: optimize the constructor from a Generator_System (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4802136adbb9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:59:10 2011 +0100 Box: optimize the constructor from a Generator_System (#1). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7336920714f2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:52:57 2011 +0100 termination: avoid pointlessly copying Generator objects. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f713ff4e0315… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:51:53 2011 +0100 termination: optimize fill_constraint_system_PR_original(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10178e3a5add… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:51:28 2011 +0100 termination: optimize fill_constraint_system_PR() (2/2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37042856e644… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:51:23 2011 +0100 termination: optimize fill_constraint_system_PR() (1/2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3f4f0f9a3bc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:50:48 2011 +0100 termination: optimize fill_constraint_systems_MS(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3366091e89ea… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:49:52 2011 +0100 BD_Shape: optimize generalized_affine_image() (2/2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcd2bb670c41… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 23:32:32 2011 +0100 BD_Shape/generalizedaffinepreimage1: allow bigger floating-point errors (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=967735f2854b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:49:45 2011 +0100 BD_Shape: optimize generalized_affine_image() (1/2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=119e64548c21… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 15 17:25:56 2011 +0100 BD_Shape/generalizedaffinepreimage1: allow bigger floating-point errors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d61bdb7283e6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:49:08 2011 +0100 BD_Shape: optimize bounded_affine_image(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33227122ff3f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:47:53 2011 +0100 BD_Shape: optimize affine_image(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d74f07a8e26… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:47:12 2011 +0100 BD_Shape: optimize refine() (3/3). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2f238fde1bb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:46:54 2011 +0100 BD_Shape: optimize refine() (2/3). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=519f7298f28d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:46:42 2011 +0100 BD_Shape: optimize refine() (1/3). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae5dc10f3755… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:45:20 2011 +0100 BD_Shape: optimize deduce_u_minus_v_bounds(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0af6eaeba696… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:43:58 2011 +0100 BD_Shape: two little optimization in relation_with(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2460cc91ee9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:43:17 2011 +0100 BD_Shape: optimize the constructor from a Generator_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a71b475cf14… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:42:19 2011 +0100 Octagonal_Shape: use Linear_Expression::have_a_common_variable() and iterators to improve performance, in generalized_affine_image() and generalized_affine_preimage(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d70d7fa40e4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:40:25 2011 +0100 Octagonal_Shape: optimize deduce_v_pm_u_bounds() and deduce_minus_v_pm_u_bounds(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ef99b7fd6db… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:39:17 2011 +0100 BD_Shape: optimize the constructor from a Generator_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c794e02b1bfa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:32:27 2011 +0100 Grid: optimize map_space_dimensions() using Linear_Expression::const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79564d0c8f65… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:31:21 2011 +0100 Grid_Generator: optimize operator<<() and move the code in a fancy_print() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68318ab77757… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:30:37 2011 +0100 BD_Shape: use Linear_Expression::have_a_common_variable() and iterators to improve performance, in generalized_affine_image() and generalized_affine_preimage(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84f39f4a9afd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:20:04 2011 +0100 Grid: use Linear_Expression::const_iterator to improve performance, in generalized_affine_image() and generalized_affine_preimage(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b10c5a41fba… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:19:27 2011 +0100 Grid: use Linear_Expression::have_a_common_variable() and iterators to improve performance, in generalized_affine_image() and generalized_affine_preimage(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6f93c85b61b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:18:04 2011 +0100 Constraint: optimize operator<<(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf69a8950a45… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:17:26 2011 +0100 Linear_System: add a TODO comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9888d743cca1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:17:05 2011 +0100 Polyhedron: optimize map_space_dimensions(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cd6bc045d70… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:16:02 2011 +0100 Grid: add a comment about a missing break and use Linear_Expression::have_a_common_variable(), in relation_with(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d9e741cd263… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:13:56 2011 +0100 Grid: use the inhomogeneous_term() method instead of get(0), in simplify(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a243a5927676… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:12:57 2011 +0100 Generator: optimize operator<<() and move the code in a fancy_print() method so that it can access Linear_Expression's private methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=291b5f151dab… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:10:34 2011 +0100 Congruence: optimize operator<<(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=238e04f3783e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:10:06 2011 +0100 Congruence: use inhomogeneous_term() and set_inhomogeneous_term() instead of get(0) and set(0, c), in normalize(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5464d88b019… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:08:55 2011 +0100 Polyhedron: use Linear_Expression::have_a_common_variable() and iterators to improve performance, in generalized_affine_image() and generalized_affine_preimage(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab9474befacf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:06:18 2011 +0100 Linear_Expression: add a have_a_common_variable() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=666edcb4e0b2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:02:38 2011 +0100 Polyhedron: explicitly specify !=0 in a condition, in simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84c5dcae4316… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:01:40 2011 +0100 MIP_Problem: choose_branching_variable() now scans input_cs by row instead of by column, increasing cache-efficiency. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68d9f1777263… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 14:00:26 2011 +0100 MIP_Problem: improve some comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1459f0e31137… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 13:59:50 2011 +0100 PIP_Solution_Node: use Linear_Expression::const_iterator in update_tableau(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d0568b9890c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 13:58:06 2011 +0100 PIP_Tree: remove two useless variables in compatibility_check_find_pivot_in_set(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62d6c4c960b9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 13:56:04 2011 +0100 PIP_Tree: improve a comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a537e9a2439… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 13:55:31 2011 +0100 PIP_Problem: add a comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b52aec9f088f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 13:53:39 2011 +0100 MIP_Problem: use Linear_Expression::const_iterator in process_pending_constraints(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16a99073d9f8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Nov 13 13:53:28 2011 +0100 Linear_Expression: add a const_iterator type and begin(), end() and lower_bound() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ae35bbbc1e8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 13 20:00:27 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d8262280e99… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 13 19:59:37 2011 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef3f4d0a5cca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 13 19:58:29 2011 +0100 Sorted list of good identifiers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e37503ce5059… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 13 10:17:43 2011 +0100 Vocabulary updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f72e09e1d77… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 13 09:54:01 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79fc8389a986… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Nov 12 12:57:47 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d77432ac84ab… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 10 11:07:42 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=afb4a0a0ca99… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 10 10:12:19 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc6d91dfbceb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 10 09:47:25 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=803510678ede… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 9 22:13:14 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0eebd181bfd3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 8 14:35:58 2011 +0100 CO_Tree: if an exception is thrown, the tree may be in a state where structure_OK() is false, but it can still be destroyed (the stored size may be wrong in such cases). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc3f4d712b7a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 8 14:34:26 2011 +0100 CO_Tree: fix typo in comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=653fa8bc35e1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 8 14:34:13 2011 +0100 CO_Tree: when constructing a new element, update the index only if the construction was successful, to avoid destroying an unallocated object if the constructor throws. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5bfabb665e3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 22:40:34 2011 +0100 Remove an unused variable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=201db3c59b7c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 18:45:41 2011 +0100 Linear_Expression_Impl: add an optimized version of has_a_free_dimension_helper() for sparse rows, and slightly improve the dense version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e3601a809a5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 18:31:41 2011 +0100 Linear_Expression_Impl: add an optimized version of first_nonzero() for sparse rows, and slightly improve the dense version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=862283a5e1e7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:49:30 2011 +0100 Linear_Expression_Impl: add an optimized version of last_nonzero() for sparse rows, and slightly improve the dense version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe385b4b8b4e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:46:29 2011 +0100 Linear_Expression_Impl: add an optimized version of all_zeroes_except() for sparse rows, and slightly improve the dense version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63aa379f7a42… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:42:00 2011 +0100 Linear_Expression_Impl: add an optimized version of all_zeroes() for sparse rows, and slightly improve the dense version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acfbc0e38f41… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:37:07 2011 +0100 Linear_Expression_Impl: add an optimized version of gcd() for sparse rows, and slightly improve the dense version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79427f68492f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:32:46 2011 +0100 Linear_Expression_Impl: add an optimized version of num_zeroes() for sparse rows, and slightly improve the dense version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d382fe67a2c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:30:14 2011 +0100 Linear_Expression_Impl: add an optimized version of all_zeroes() for sparse rows, and slightly improve the dense version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca2095ecf4e8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:22:46 2011 +0100 Linear_Expression_Impl: add an optimized version of all_homogeneous_terms_are_zero() for sparse rows, and slightly improve the dense version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d30c9efc935d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:19:14 2011 +0100 Linear_Expression_Impl: add an optimized version of is_zero() for sparse rows, and slightly improve the dense version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad395936f156… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:18:32 2011 +0100 Sparse_Row: add a num_stored_elements() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=252b2fe4ead5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:11:35 2011 +0100 Linear_Expression: inline some trivial methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=970eb4f23b8c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:08:56 2011 +0100 Linear_Expression_Impl: use a stronger invariant for sparse rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86fcc08ccbff… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:08:38 2011 +0100 Linear_Expression: remove operator[]. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e772e07ccef… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:08:10 2011 +0100 Linear_Expression: remove the sub_mul_assign() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=432fbd7a008c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:07:36 2011 +0100 Congruence: remove operator[]. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d5530a1da7a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:07:19 2011 +0100 Congruence: remove the sub_mul_assign() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b4d090e4e3a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:06:26 2011 +0100 Grid: avoid using Linear_Expression::operator[], in conversion() (#3). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44cc8b632970… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:05:42 2011 +0100 Grid: avoid using Linear_Expression::operator[], in conversion() (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=162e1f786913… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:05:08 2011 +0100 Grid: avoid using Linear_Expression::operator[], in conversion(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=472ca25ca033… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:04:25 2011 +0100 Grid: simplify/optimize lower_triangular(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dbe5f76763d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:03:59 2011 +0100 Grid_Generator: simplify scale_to_divisor() using mul_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75847a3f95ed… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:03:32 2011 +0100 Grid: use linear_combine() instead of sub_mul_assign(), in reduce_reduced(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2a54f683147… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:01:09 2011 +0100 Linear_Expression_Impl: simplify the add_mul_assign() and the sub_mul_assign() methods that take a Coefficient and a Linear_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9f9d5c6940e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 13:00:20 2011 +0100 Linear_Expression_Impl: simplify the add_mul_assign() method that takes a Variable and a Coefficient. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d396c0d492bd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:50:38 2011 +0100 Linear_Expression_Impl: optimize exact_div_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b9a8ce635a0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:50:17 2011 +0100 Linear_Expression_Impl: optimize add_mul_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7067e251c154… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:49:28 2011 +0100 Linear_Expression_Impl: optimize neg_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c12929c1095… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:49:12 2011 +0100 Linear_Expression_Impl: optimize operator/=(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a09f8099ba2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:48:56 2011 +0100 Linear_Expression_Impl: optimize operator*=(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0708c9c0699… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:47:37 2011 +0100 Linear_Expression_Impl: optimize the operator+=() and operator-=() that take a Variable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8563b5827a6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:47:12 2011 +0100 Linear_Expression_Impl: simplify the operator+=() and operator-=() that take a Linear_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65fe0df0cd08… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:45:58 2011 +0100 Linear_Expression_Impl: avoid storing zeroes in sparse rows, in permute_space_dimensions(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6835424a3dee… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:45:19 2011 +0100 Linear_Expression_Impl: simplify the constructor from a Variable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74c2708d0eb3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:45:02 2011 +0100 Linear_Expression_Impl: simplify the constructors from Constraints and Generators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9faa3e5c2b3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:44:20 2011 +0100 Linear_Expression_Impl: optimize compare() for sparse rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=022715fe20c1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:43:28 2011 +0100 Linear_Expression_Impl: use an optimized version of remove_space_dimensions() for sparse rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a41c5f85a44e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:41:30 2011 +0100 Linear_Expression_Impl: avoid storing zeroes in sparse rows, and prefer using get() instead of operator[]. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74d89ccafa2f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:38:47 2011 +0100 Linear_Expression_Impl: improve the constructor from a Coefficient. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7f7c3953c32… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:38:00 2011 +0100 Linear_Expression: add some assertions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e85700efba8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:33:52 2011 +0100 Linear_Expression_Impl: improve/simplify the implementation of linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=770df61d89b7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:33:19 2011 +0100 Linear_Expression: document that the coefficients for the linear_combine() methods must be nonzero. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bb5d865a909… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:29:08 2011 +0100 Dense_Row: document that the coefficients for the linear_combine() methods must be nonzero. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74d5603c1dbd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:23:37 2011 +0100 Indentation fixes and a minor change. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22d86151d31b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:23:03 2011 +0100 Add some assertions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fcc49b92ce7b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 11:47:33 2011 +0100 Grid: simplify reduce_parameter_with_line(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bbcee607403… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 11:59:24 2011 +0100 Linear_Expression: add a mul_assign() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a55dcf695000… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 11:47:11 2011 +0100 Grid: call Linear_Expression::all_zeroes() in rows_are_zero(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=208477ffbadf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 11:44:58 2011 +0100 Grid: simplify/optimize the reduce_line_with_line(), reduce_parameter_with_line() and reduce_equality_with_equality() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d952412d175a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 11:26:10 2011 +0100 Use the get() and set() methods of Linear_Expression instead of operator[], in various places. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bae747645a4d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 10:56:10 2011 +0100 Linear_Expression: add a set() method, and modify the get() method to return a Coefficient_traits::const_reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=240417d4fd03… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 10:47:13 2011 +0100 Sparse_Row: optimize the copy constructor with a size parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62a47c9358e3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 10:46:36 2011 +0100 Little optimizations in the linear_combine() functions that take a Sparse_Row and a Dense_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce5b973b8292… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 10:29:03 2011 +0100 Optimize various linear_combine() functions/methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=006c7b46a6fc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 10:58:41 2011 +0100 termination: only call linear_combine() when needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=128bd3ae0634… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 11:46:43 2011 +0100 Grid: slightly change the precondition of reduce_pc_with_pc() and simplify/optimize it. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1700c2d1bb0a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 10:45:17 2011 +0100 Linear_Expression: add two linear_combine_lax() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d28c2a5604c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 9 08:37:01 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a0259c6503a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 8 12:15:05 2011 +0100 Added a few more lexical items. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fec2abf7201… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 8 12:13:04 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ab3511cb404… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 8 12:09:20 2011 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d625166f50df… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 8 05:13:33 2011 +0100 Do not rely on libtool guessing the language. (Thanks to Serge Belyshev.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53f12fe79ea8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 8 05:12:44 2011 +0100 Put items on the right list. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5904df66748c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 20:51:15 2011 +0100 Separate words from lexical items. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ff38066e4ea… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 17:16:54 2011 +0100 Fixed FSF address. Detected by ECLAIR service cmntfile. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbedf8514da0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 15:30:29 2011 +0100 Fixed file comment blocks and related mistakes. Detected by ECLAIR service cmntfile. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9a6632bfcc7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 10:25:15 2011 +0100 Conflicts resolved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98475d291117… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 10:21:57 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service idntvcbl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1597df410575… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:50:41 2011 +0100 Let Doxygen expand macro PPL_USE_SPARSE_MATRIX as defined. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d31265f3e17… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:48:31 2011 +0100 Renamed macros USE_PPL_SPARSE_MATRIX to use PPL_ prefix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39c135631595… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 08:17:26 2011 +0100 Avoid overloading std::swap for PPL types. Define functions Parma_Polyhedra_Library::swap and exploit ADL. The swap _methods_ T::swap(T&) renamed as T::m_swap(T&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8594db9c59a6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:10:27 2011 +0100 Added a few missing \relates Doxygen commands. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43b2e9cc5db3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:09:46 2011 +0100 The swapping methods of PPL types are now named m_swap. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f19c7ff69b6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:07:37 2011 +0100 swap functions for PPL types are now defined in the PPL namespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0442fb1660eb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 08:42:13 2011 +0100 More words added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c821ec2f1437… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 08:37:21 2011 +0100 Added a word legitimately occurring in a comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b637cbc5c055… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 08:35:51 2011 +0100 Added more Doxygen and LaTeX keywords. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46b4e6265003… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 08:30:32 2011 +0100 Started fixing the vocabulary used throughout the library. Detected by ECLAIR service idntvcbl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38d2ed666182… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 22:22:53 2011 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fd5954e2148… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 21:55:03 2011 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f39d87e7df3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 16:43:24 2011 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e0bc0eb2947… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 14:43:08 2011 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f98bbb6a85b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 14:39:47 2011 +0100 Allow `--with-gmp-build' to be used with `--enable-shared'. (Thanks to Serge Belyshev.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=404a6777b9a7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 14:31:25 2011 +0100 Front matter updated for all manuals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f1868b0e4ea… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 11:30:14 2011 +0100 Front matter updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d068194797b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 11:15:06 2011 +0100 No longer pass the `draft' option to package `hyperref'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90af93944187… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 11:14:02 2011 +0100 Front matter improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d548ed615ab… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 11:13:20 2011 +0100 Fixed Doxygen \relates command. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d10ede69b31a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 2 12:06:03 2011 +0100 CO_Tree: make insert_in_empty_tree() exception-safe. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e7ee9bce550… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 2 12:05:34 2011 +0100 CO_Tree: make copy_data_from() exception-safe. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95976524b127… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 2 12:05:09 2011 +0100 CO_Tree: make init() exception-safe. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=659a23177efc… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Nov 2 12:03:41 2011 +0100 CO_Tree: fix a bug in insert_precise(), where the data1 reference was invalidated by growing/rebalancing the tree and then it was used. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd0740bad20… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Nov 1 19:32:50 2011 +0100 Fix a bug in the linear_combine() function that takes a Sparse_Row and a Dense_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58564bdc681a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 13:56:19 2011 +0100 Sparse_Row: fix the doxygen documentation of the swap() method that takes two iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ead81250c1c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 13:55:48 2011 +0100 Sparse_Row: add a fast_swap() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=888659a98619… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 13:55:20 2011 +0100 CO_Tree: add a fast_shift() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8eaaf2676952… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:34:10 2011 +0100 Polyhedron: optimize/simplify generalized_affine_preimage(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c52bd6b36f13… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:34:04 2011 +0100 Polyhedron: optimize/simplify generalized_affine_image(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=177da44889d1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:33:32 2011 +0100 Polyhedron: simplify/optimize contains_integer_point() (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27f7598be13e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:33:24 2011 +0100 Polyhedron: simplify/optimize contains_integer_point() (#1). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee2461e86e0d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:32:26 2011 +0100 MIP_Problem: optimize/simplify evaluate_objective_function(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53b3065a29de… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:30:09 2011 +0100 MIP_Problem: optimize/simplify second_phase(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c659e7ebe7c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:29:39 2011 +0100 MIP_Problem: use is_unbounded_obj_function() in process_pending_constraints(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b203308c88… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 23:28:04 2011 +0100 Linear_Expression: add a is_unbounded_obj_function() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d215f5af0d1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Nov 3 12:52:15 2011 +0100 Linear_Expression_Impl: add an assertion and fix an existing one, in scalar_product_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42cca8187f6d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 09:48:05 2011 +0100 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d35c7b6b16a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 09:25:05 2011 +0100 New logos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d61331e3b978… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 09:10:54 2011 +0100 Fixed the handling of the `--with-gmp-build' configure option. (Thanks to Serge Belyshev.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c33079b04ea1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Nov 5 20:50:29 2011 +0100 Missing comment added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35a5eeb76ebc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Nov 5 20:49:58 2011 +0100 Added missing guard against multiple inclusions. Detected by ECLAIR service inclgard. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a39916112aa5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Nov 5 19:47:53 2011 +0100 Revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8dcf9b3f83ff… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Nov 5 19:47:11 2011 +0100 The PPL logo in various formats. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97f3e98708cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Nov 5 15:32:14 2011 +0100 Indentation fixes. Detected by ECLAIR service indntion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=367a91ec09da… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Nov 4 21:34:30 2011 +0100 Code layout corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a49e3ce4af0a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Nov 4 21:15:08 2011 +0100 Avoid reusing names reserved by the C++ standard. Detected by ECLAIR service resvidnt. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56686f99aae8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Nov 4 21:09:55 2011 +0100 Avoid reusing names reserved by the C++ standard. Detected by ECLAIR service resvidnt. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0876ffa984a9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Nov 4 20:52:55 2011 +0100 FIXME resolved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7682a06a0a07… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Nov 4 20:10:21 2011 +0100 Avoid reusing names reserved by the C++ standard. In the process, consistency improved with respect to conventions used throughout the library. Detected by ECLAIR service resvidnt. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=246ba9a3d0b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 3 20:38:48 2011 +0100 Scope of variables reduced. Detected by ECLAIR service minscope. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ff6b157a31a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 3 20:38:31 2011 +0100 Code layout improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efed831cda3f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Nov 3 19:57:23 2011 +0100 Simplified implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9954d6d0b6f5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 3 19:33:35 2011 +0100 Avoid implicit conversions reducing size of underlying type. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba6a021a1ac9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 3 19:32:14 2011 +0100 Avoid implicit conversion reducing size of underlying type. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0a92e74f071… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:28:52 2011 +0100 Grid: optimize/simplify generalized_affine_preimage(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67619c2f4dc3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:28:40 2011 +0100 Grid: optimize/simplify generalized_affine_image(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40d48e70c100… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:28:18 2011 +0100 Grid: optimize/simplify simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e50eeb22f10… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:27:56 2011 +0100 Grid: optimize/simplify constrains(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8ee0ab8eadb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:27:11 2011 +0100 Grid: optimize/simplify the relation_with() method that takes a Constraint. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d68cfff17ee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 3 19:06:57 2011 +0100 Removed redundant cast. Detected by ECLAIR service castexpr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52514333875c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 3 19:06:03 2011 +0100 Removed several redundant casts. Detected by ECLAIR service castexpr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ef798d06d7c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 3 17:55:05 2011 +0100 Removed a few redundant casts. Detected by ECLAIR service castexpr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3082a84e1fdb… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Nov 3 16:26:45 2011 +0100 Use consistently get_digit. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f72ff168aa3… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Nov 3 16:13:06 2011 +0100 Fixed bool vs. numeric unsafe mixing. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad542abaf257… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 3 15:19:21 2011 +0100 Avoid implicit integral conversion reducing size of underlying type. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8eebe6d762e8… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Nov 3 10:15:26 2011 +0100 Fixed bool vs. numeric unsafe mixing. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e7acd07fc98… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 3 09:36:07 2011 +0100 Fixed plain char vs. numeric unsafe mixing. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20692dc4750f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Nov 3 09:33:34 2011 +0100 Fixed plain char vs. numeric unsafe mixing. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ec1ffd46d74… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 3 07:33:09 2011 +0100 Avoid explicit integral conversions that change the signedness of the underlying type of complex expressions. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6e777561ba5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 3 07:08:13 2011 +0100 Revert "Fixed plain char vs. numeric unsafe mixing." This reverts commit e9ce6bcef3d6f7481e5399d8746062ccc72b25b0. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9ce6bcef3d6… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Nov 2 23:43:16 2011 +0100 Fixed plain char vs. numeric unsafe mixing. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aacd89e5ee21… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Nov 2 14:00:48 2011 +0100 Do not mix plain char and numeric values. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e68ec708a90… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Nov 2 08:42:59 2011 +0100 Use an explicitly signed char type when dealing with numeric info. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95c8aae28dac… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 1 18:03:41 2011 +0100 Added missing using directive. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bebce077e064… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 1 17:02:56 2011 +0100 Revert "Revert "Avoid anonymous namespaces in header files."" This reverts commit 3fbf4608f85679fc85f89d82f40fb20e0e60ca16. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fbf4608f856… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Nov 1 14:43:13 2011 +0100 Revert "Avoid anonymous namespaces in header files." This reverts commit 086a400757aa4867611c023dcda5bc70afbc18b5. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98a1ca1a0b1e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 1 09:12:38 2011 +0100 Spurious declaration removed. Detected by ECLAIR service araysize. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=086a400757aa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 1 08:58:44 2011 +0100 Avoid anonymous namespaces in header files. Detected by ECLAIR service hedrfile. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba5a35b2bccb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 31 18:10:00 2011 +0100 Header file inclusions reordered. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6eb2769ec861… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 31 17:36:25 2011 +0100 Use <> brackets for system and standard library headers only; use "" quotes for all other headers. Detected by ECLAIR service hedrbrks. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c79d763a2d9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:26:46 2011 +0100 Grid: optimize/simplify the relation_with() method that takes a Generator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=926f3b8024d3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:23:21 2011 +0100 Grid: optimize/simplify the constructor from a Polyhedron. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2799476ef81d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:21:28 2011 +0100 Box: optimize/simplify generalized_affine_image(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=804fff644292… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 31 09:20:09 2011 +0100 Box: optimize/simplify generalized_affine_preimage(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=552410fa3f37… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 23:39:57 2011 +0100 Linear_Expression: add two get_row() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63576c007a5f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 19:45:55 2011 +0100 Box: remove an unused constant. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d70dcea0e43… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 19:37:20 2011 +0100 Dense_Row: the linear_combine() methods now detect when coeff1==1 and save some work. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e4a37db5d82… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 19:36:25 2011 +0100 Add some TODOs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d701868c6268… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 18:13:24 2011 +0100 Octagonal_Shape: use Linear_Expression::last_nonzero() and Linear_Expression::all_zeroes(), making some methods faster. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9a310642f50… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 18:11:22 2011 +0100 Octagonal_Shape: optimize relation_with(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a37767c1ae96… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 18:09:41 2011 +0100 Octagonal_Shape: little optimization in max_min(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61aaf3adee88… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 18:05:02 2011 +0100 Octagonal_Shape: add some TODOs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06f4946bae13… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 13:10:32 2011 +0100 Congruence, Constraint, Grid_Generator: don't take a capacity argument in methods/constructors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7b3e9b0c2be… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 10:25:51 2011 +0100 BD_Shape: use Linear_Expression::last_nonzero() and Linear_Expression::all_zeroes() instead of duplicating the implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e2a080ddbf1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 10:23:07 2011 +0100 BD_Shape: replace expr.coefficient(Variable(n-1)) with expr.get(n), in several places. Also add some TODOs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e315c093b9d3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 22:29:01 2011 +0100 BD_Shape: fix an off-by-one error in generalized_affine_image(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8368dd547e6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 10:19:26 2011 +0100 BD_Shape: optimize and simplify the relation_with() method that takes a Constraint. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66aac8e29c5c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 30 20:21:59 2011 +0100 Long lines avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=701c61e3bd7d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 18:45:34 2011 +0200 termination: move some helper functions into a Termination_Helpers class, make it friend of Linear_Expression and optimize/simplify such functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87f7377f95bd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 18:24:45 2011 +0200 Linear_System, Constraint_System, Generator_System, Grid_Generator_System: add a shift_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa00ea116496… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 18:23:42 2011 +0200 Octagonal_Shape: move the extract_octagonal_difference() function into a class Octagonal_Shape_Helper, and make it a friend of Linear_Expression. Also optimize this function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe2c930ccec6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 17:20:24 2011 +0200 Generator: simplify and optimize is_matching_closure_point(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efb1c86ce22e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 17:19:47 2011 +0200 Linear_Expression: add two additional is_equal_to() methods that work on a range. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b78cf0b7bff5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 17:18:56 2011 +0200 Constraint: simplify and optimize is_tautological() and is_inconsistent(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c680c29a7c8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 17:18:19 2011 +0200 Constraint: simplify and optimize the constructors from a Congruence. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=48f201c700f7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 17:17:45 2011 +0200 Linear_Expression: add a constructor from a Congruence that takes a size parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6d652d561d5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 30 13:02:28 2011 +0100 BD_Shape_Helpers: remove a useless parameter from extract_bounded_difference(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acd82c32079c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 16:53:05 2011 +0200 BD_Shape: move the extract_bounded_difference() function into a class BD_Shape_Helpers, and make it a friend of Linear_Expression. Also optimize this function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86fa71a3330e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 15:35:41 2011 +0200 Add some TODOs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5a1f325bbeb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 15:35:24 2011 +0200 Congruence_System: simplify operator==() and make is_equal_to() call operator==() instead of duplicating code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a4b2b145b14… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 15:34:28 2011 +0200 Congruence_System: simplify and optimize has_a_free_dimension(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c615f3a6787… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 15:34:02 2011 +0200 Linear_Expression: add a has_a_free_dimension_helper() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f96fa2454fa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 15:33:29 2011 +0200 Congruence_System: simplify and optimize permute_space_dimensions(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69fa632ced98… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 17:22:12 2011 +0200 Move extract_interval_{constraint,congruence}() into a Box_Helpers class, and make it friend of Linear_Expression. Also optimize and simplify these two functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1980bcfdf5b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 20 15:45:25 2011 +0200 MIP_Problem: use Linear_Expression::first_nonzero() in parse_constraints(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=baaa514c499c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 20 15:39:25 2011 +0200 Linear_Expression: add a first_nonzero() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43c5c6184dfd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 20 15:16:22 2011 +0200 Scalar_Products: simplify and optimize the code by calling Linear_Expression::scalar_product_{sign,assign}(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74a180c2aca8… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Oct 30 12:49:37 2011 +0100 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6965e9b5ba4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 20 15:15:43 2011 +0200 Linear_Expression: add two scalar_product_assign() and scalar_product_sign() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=045663c75d04… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Oct 18 19:48:18 2011 +0200 Linear_Expression_Impl: support interaction between Dense_Row-based and Sparse_Row-based linear expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4dca5ce5a62… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Oct 18 19:47:02 2011 +0200 Sparse_Row: add a constructor from a Dense_Row with a specific size and capacity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e616fa640076… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Oct 18 19:46:20 2011 +0200 Sparse_Row: simplify the implementation of the operator=() method that takes a Dense_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d77699362aaf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Oct 18 19:37:11 2011 +0200 Add swap() functions that take a Sparse_Row and a Dense_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bdf474d00fb9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Oct 18 18:14:37 2011 +0200 MIP_Problem: call the linear_combine() function that takes a Dense_Row and a Sparse_Row when needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07343559c765… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Oct 18 18:12:16 2011 +0200 Add operator==() and linear_combine() functions that take any combination of dense and sparse rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7214142149d6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Oct 18 18:11:03 2011 +0200 Dense_Row: add a sizing constructor from a Sparse_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a496c915392c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 17 22:52:51 2011 +0200 Make Linear_Expression_Impl a template, preparing support for sparse Linear_Expression objects. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ca8276517cf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 17 22:29:20 2011 +0200 Linear_Expression: contain a Linear_Expression_Interface* instead of a Linear_Expression_Impl*. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=764e11e691e7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Oct 17 22:15:03 2011 +0200 Create an interface named Linear_Expression_Interface with the methods in Linear_Expression_Impl, and let Linear_Expression_Impl derive from Linear_Expression_Interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5f8aeb2c48c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Oct 30 11:42:38 2011 +0100 Fixed wrong type uses. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99caf76811bd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 18:01:54 2011 +0200 BHRZ03_Certificate: use Linear_Expression::num_zeroes() to simplify and optimize the code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62908840258d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 18:00:08 2011 +0200 Linear_Expression: add a num_zeroes() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bee06c610540… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 30 10:03:01 2011 +0100 Fixed bugs whereby the wrong types were used so that overflows were possible. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d8965685d76… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 30 09:16:59 2011 +0100 Unwanted null statements removed. Detected by ECLAIR service nullstmt. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebf636416499… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 17:53:17 2011 +0200 Add a TODO. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb363c8bc454… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 17:51:12 2011 +0200 PIP_Problem: optimize and simplify solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=207bd8c00abb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 17:50:39 2011 +0200 Linear_Expression: add an all_zeroes_except() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c7ea023c474… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 17:41:20 2011 +0200 Constraint_System: optimize the affine_preimage() method slightly. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00455fa88d63… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 17:36:53 2011 +0200 Grid: optimize and simplify expand_space_dimension(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f5e9fcf26b5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 29 16:27:43 2011 +0200 Long line avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba709e9a0db1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 29 15:04:04 2011 +0200 Avoid explicit integral conversions that change the signedness of the underlying type of complex expressions. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3b76781cae6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 29 14:40:31 2011 +0200 Removed trailing whitespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1985f1e83da9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 17:31:43 2011 +0200 Grid: optimize and simplify max_min(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2262e47e7229… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 17:29:03 2011 +0200 Partially_Reduced_Product: optimize and simplify shrink_to_congruence_no_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=249b7edacac0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 29 14:04:21 2011 +0200 Avoid unsigned integer wrap-around in constant expressions. Detected by ECLAIR service cnstwrap. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ab4d6ede25c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 28 17:43:43 2011 +0200 Avoid implementation-defined behavior by having bitfields of explicit unsigned integral type. Detected by ECLAIR service bitftype. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5fd73820eeed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 28 16:54:23 2011 +0200 Do not reuse names reserved by the C++ implementation. Detected by ECLAIR service resvidnt. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=667dc51aa88c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 28 07:54:42 2011 +0200 Avoid anonymous namespaces in header files. Detected by ECLAIR service hedrfile. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51134e95761a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 28 07:49:48 2011 +0200 Source file renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5084ccde7ea4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 28 07:42:28 2011 +0200 Code layout improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=975155b93f21… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 28 06:33:57 2011 +0200 Use standard notation for pairs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a484f5db1994… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 28 06:32:03 2011 +0200 Unwanted, commented-out code removed. Detected by ECLAIR service cmntdout. (Thanks to Roberto Amadini.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e3166f54c69… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Oct 27 09:54:14 2011 +0200 Removed commented out line of code that was introduced in the debugging phase. Detected by ECLAIR service cmntdout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5d512deb4d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 26 21:37:08 2011 +0200 Do rename HAVE_DECL_SETRLIMIT. Detected by ECLAIR service idntvcbl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa86778c6ae3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 25 15:19:27 2011 +0200 Web site URI updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4079afb77c67… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 25 15:05:26 2011 +0200 Temporary list of words allowed in comments and to compose identifiers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6347ff1e2c8b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 25 12:11:33 2011 +0200 An initial vocabulary for the PPL. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2997c02bb8cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 21 20:27:16 2011 +0200 Make sure all the uses of macro arguments are surrounded by parentheses. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8014bfef880f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 21 17:45:17 2011 +0200 Fixed a bug whereby a wrong computational weight was computed due to 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=5295880df1fc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 21 16:36:01 2011 +0200 Very long line shortened. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65e3b89e2969… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 16:50:55 2011 +0200 Polyhedron: optimize and simplify expand_space_dimension(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0273e72347e1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 16:29:41 2011 +0200 Grid: optimize and simplify select_wider_generators(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd66dfc82b43… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 20 13:20:13 2011 +0200 Linear_Expression_Impl: fix the constructor from a Grid_Generator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8cc90bed27c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 20 08:38:01 2011 +0200 Updated to reflect the removal of `--with-gmp-prefix' in favor of `--with-gmp'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b6d2b3e708f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 16:20:12 2011 +0200 Linear_Expression_Impl: optimize and simplify the constructor from a Congruence. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef217d6c6e86… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 16:11:48 2011 +0200 PIP_Tree_Node::Artificial_Parameter: optimize and simplify operator==(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fbe33fe14cd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 16:11:09 2011 +0200 PIP_Tree: add comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fab96d863397… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 15:58:30 2011 +0200 wrap_assign: optimize and simplify wrap_assign_ind(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a39e5127d20f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 15:57:50 2011 +0200 Linear_Expression: make the all_zeroes() method that takes a Variables_Set public. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cdbfd094b19e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 15:43:30 2011 +0200 Affine_Space: optimize the constructor from a Generator_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93d83f43d851… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 14:50:01 2011 +0200 Congruence: store the modulus in a separate Coefficient field instead of inside the linear expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0f60fcbdcce… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 14:44:44 2011 +0200 Linear_Expression, Linear_Expression_Impl: add an operator/=() method that takes a Coefficient. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ee09e8f119e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 14:40:38 2011 +0200 Linear_Expression_Impl: fix add_mul_assign() and sub_mul_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1d479c91326… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 20:21:23 2011 +0200 Linear_Expression: add a comment about friend declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5684490a34c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 20:15:03 2011 +0200 Linear_Expression: inline/uninline code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ac546420502… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 18:41:16 2011 +0200 Simplify some Linear_Expression-related operators' implementations and remove a useless constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=558f24dc655d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 17:56:05 2011 +0200 Linear_Expression: implement a stronger invariant in OK() and use it in the assertions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c1250a2e4c6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 17:46:12 2011 +0200 Linear_Expression: remove the get_row() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea86064ecd84… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 16 14:26:02 2011 +0200 test/Polyhedron/linearsystem1: avoid calling Linear_Expression::get_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a565451ea2c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 17:45:23 2011 +0200 Remove the last 2 calls to Linear_Expression::get_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64771f54a5df… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 17:39:56 2011 +0200 Congruence: avoid calling Linear_Expression::get_row(), and reuse code when possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc1e068143e0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 17:14:30 2011 +0200 Linear_System: avoid calling Linear_Expression::get_row(), and reuse code when possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8efb7b4047f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 17:10:11 2011 +0200 Linear_Expression: turn a comment into a doxygen comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21a33c21e530… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 17:09:51 2011 +0200 Linear_Expression: add a last_nonzero() method and use it in Linear_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af2f7415b6dd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 17:08:53 2011 +0200 Constraint, Generator, Grid_Generator, Linear_Expression: replace the linear_combine() and linear_combine_inhomogeneous() methods with a method that takes a dimension_type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa0d3b7369c0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 16:03:00 2011 +0200 Polyhedron: move a code fragment into Linear_Expression, and optimize it for sparse rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9cd23604adf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 15:28:37 2011 +0200 Polyhedron: use Linear_Expression::all_zeroes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed0c0a220fd3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 15:28:12 2011 +0200 Linear_Expression: add an all_zeroes() method that takes a Variables_Set. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=703cc3ccfae9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 18 19:51:59 2011 +0200 Avoid excessive and dangerous reliance on the C++ operator precedence rules. Detected by ECLAIR service exprprns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=615033adbfb7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 18 16:14:35 2011 +0200 Avoid #include directives after code (except for "*.idefs.hh", "*.inlines.hh" and "*.templates.hh"). Detected by ECLAIR service inclmixd. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=571c07fd424a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 18 14:26:06 2011 +0200 Avoid excessive and dangerous reliance on the C++ operator precedence rules. Detected by ECLAIR service exprprns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=037540dd9fe5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 18 11:38:43 2011 +0200 Avoid excessive and dangerous reliance on the C++ operator precedence rules. Detected by ECLAIR service exprprns. Other readability improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09144610d984… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Oct 17 09:52:30 2011 +0200 Fixed MIP_Problem bug shown by tests/MIP_Problem/mipproblem4.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea6946e6d9a5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Oct 17 09:48:26 2011 +0200 Added test showing a bug when solving again a 0-dimensional MIP_Problem. The bug only manifests when a previously solved 0-dimensional MIP_Problem is solved again after having modified it (that is, after changing optimization mode or optimization function). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73a174942e66… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 15:21:26 2011 +0200 Grid_Generator_System: avoid calling Linear_Expression::get_row(), and reuse code when possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d520fe5d0b60… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 15:16:39 2011 +0200 Constraint_System: avoid calling Linear_Expression::get_row(), and reuse code when possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e72c53456d27… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 17:38:58 2011 +0200 Dense_Row: fix the precondition-related assertions in linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4066c7ba9597… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 14:54:04 2011 +0200 Generator_System: avoid calling Linear_Expression::get_row(), and reuse code when possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b31d901f768… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 14:15:13 2011 +0200 Grid_Generator: avoid calling Linear_Expression::get_row(), and reuse code when possible (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5acae4bad6ef… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 15 14:14:31 2011 +0200 Linear_Expression: add a negate() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cab35e1ed5f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 20:55:57 2011 +0200 Grid_Generator: avoid calling Linear_Expression::get_row(), and reuse code when possible (#1). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8b88599de95… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 20:54:21 2011 +0200 Constraint, Generator, Grid_Generator, Congruence: use Linear_Expression::sign_normalize(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f7cefef9a95… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 20:52:10 2011 +0200 Linear_Expression: add a sign_normalize() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=495b2c484140… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 20:25:21 2011 +0200 Grid: avoid calling Linear_Expression::get_row(), and reuse code when possible (#3). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acf4bf6a7a4b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 20:25:03 2011 +0200 Linear_Expression: add a linear_combine() method that works on a range. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c55208411ada… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 20:24:45 2011 +0200 Dense_Row: add a linear_combine() method that works on a range. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86fb879d4c02… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 20:24:30 2011 +0200 Sparse_Row: add a linear_combine() method that works on a range. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01e537a03fb6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 19:23:49 2011 +0200 Grid: avoid calling Linear_Expression::get_row(), and reuse code when possible (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98b686f43b77… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 19:10:43 2011 +0200 Grid: avoid calling Linear_Expression::get_row(), and reuse code when possible (#1). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=369b3d305cc0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 18:50:01 2011 +0200 Polyhedron: avoid calling Linear_Expression::get_row(), and reuse code when possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddcdb8642344… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 18:35:17 2011 +0200 Polyhedron: simplify some code and avoid using Linear_Expression::get_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d04173451dcf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 18:28:57 2011 +0200 Polyhedron: simplify the code, reusing existing Linear_Expression methods and related functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9aeb94da459e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 18:28:04 2011 +0200 Dense_Row: optimize operator=() so that it avoids reallocation if possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30bb510b8221… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 18:03:07 2011 +0200 PIP_Tree_Node::Artificial_Parameter: simplify the implementation of a constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=feffa550a4ef… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 17:49:33 2011 +0200 Linear_Expression: improve the gcd() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=047520038321… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 17:27:02 2011 +0200 Polyhedron: avoid some calls to Linear_Expression::get_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cc9b91fcda2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 17:09:00 2011 +0200 Polyhedron: avoid some calls to Linear_Expression::get_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8825e699cb4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 16:53:03 2011 +0200 Linear_Expression: add a gcd() and an exact_div_assign() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff23140bff6e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 16:29:04 2011 +0200 Polyhedron: avoid some calls to Linear_Expression::get_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c31ff6d8919… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 16:28:33 2011 +0200 Linear_Expression: add a all_zeroes() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ba21057a9b8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 16:16:14 2011 +0200 Polyhedron: call Linear_Expression::shift_space_dimensions() when needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a67984b59251… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 16:15:45 2011 +0200 Grid: avoid some calls to Linear_Expression::get_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=367bf409f298… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 16:15:26 2011 +0200 Linear_Expression: add a shift_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff3ae4c84e05… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 15:50:35 2011 +0200 Grid: avoid some calls to Linear_Expression::get_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcfcab0abffe… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 15:39:40 2011 +0200 Congruence: contain a Linear_Expression instead of a Dense_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2220649f7e6f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 10:33:47 2011 +0200 Linear_Expression: add private operator[] methods and a get() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6a7aa1f3dbd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 10:23:15 2011 +0200 Grid: use the sub_mul_assign() function on ranges. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db4cb364cdb8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 10:22:48 2011 +0200 Grid: avoid calling Linear_Expression::get_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f13d937d6d1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 10:22:09 2011 +0200 Congruence: add a sub_mul_assign() function that works on a range of indexes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7f4741ec51b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Oct 13 10:21:53 2011 +0200 Linear_Expression: add a sub_mul_assign() function that works on a range of indexes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27e4c6d5639d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 21 15:44:09 2011 +0200 Constraint_System: avoid using Linear_Expression::get_row() in has_strict_inequalities(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff99bba2c715… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 21 15:41:31 2011 +0200 Constraint_System: avoid using Linear_Expression::get_row() in adjust_topology_and_space_dimension(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=909564690348… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 11 20:22:31 2011 +0200 Minor readability improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24649b05a7ba… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 11 20:22:19 2011 +0200 Moved misplaced parentheses. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13ed500e5e8d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 11 20:21:16 2011 +0200 Moved namespace alias declaration. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=557e9ea1f7d7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Oct 10 16:03:28 2011 +0200 Reorganized the generation of Prolog interface manuals to avoid duplication. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35e22bca8e1b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 10 12:22:45 2011 +0200 Make sure we find <gmpxx.hh> when compiling instchk.hh to check for valid instantiations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f3757479441… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 10 08:39:04 2011 +0200 Better terminology and identifiers concerning time units. (Thanks to Anthony Foiani.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d003cde962c6… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun Oct 9 21:25:52 2011 +0100 Initialize all elements of Dimension_Kind. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05d2137112f4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 9 20:58:54 2011 +0200 Magic constants avoided. Detected by ECLAIR service nomagicc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f768b3933ef8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 9 19:45:03 2011 +0200 Magic constants avoided. Detected by ECLAIR service nomagicc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a52e104fe997… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 9 19:33:37 2011 +0200 Magic constants avoided. Detected by ECLAIR service nomagicc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95285ecc6049… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Sep 30 13:50:14 2011 +0200 For readability, prefer infix notation for operator[]. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0b0a380dc38… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Sep 30 12:11:57 2011 +0200 For readability, prefer infix notation for operator[]. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a87bb62c2afe… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 29 18:13:01 2011 +0200 Removed a redundant explicit cast. Detected by ECLAIR service castexpr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2a153cccd6d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 29 18:07:38 2011 +0200 Removed several redundant explicit casts. Detected by ECLAIR service castexpr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89e6698b40be… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 28 14:46:51 2011 +0200 Declare functions at file scope. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d63fb4b83f9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 28 14:35:16 2011 +0200 Fixed several indentation mistakes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4006d8772e75… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 21 08:14:36 2011 +0200 Improved portability to Solaris. (Thanks to Dagobert Michelsen and Maciej Blizinski.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af0938758525… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 19 12:22:10 2011 +0200 Item revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b74a88168b94… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Aug 11 12:49:13 2011 +0200 Prepend to old content of shared library path var, instead of overwriting. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a948c306a9a7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 10 20:42:12 2011 +0200 Quoted more double quotes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=633ccc979bf5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 10 19:35:47 2011 +0200 Quoted double quotes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a28af2b43f07… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 10 18:22:47 2011 +0200 More missing quotes added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7351f86ec396… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 10 09:20:06 2011 +0200 Missing quotes added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18376fb113e2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 10 09:19:45 2011 +0200 Use all the available tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95879d0d2423… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 2 21:55:22 2011 +0200 Silenced a few warnings. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aee79293c2b6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 2 21:49:45 2011 +0200 RAII_Temporary_Real_Relaxation is a struct. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d35568b97460… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 2 21:25:01 2011 +0200 Do not mix `int' and `dimension_type'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ffb68c3d33f7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 28 09:53:52 2011 +0200 Make sure we have a declaration of setrlimit() before trying to use it. We still assume that a system that provides setrlimit() also provides getrlimit(), the converse being false for, e.g., Minix. (Thanks to Thomas Cort.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7cfa455ece8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 24 17:24:24 2011 +0200 Added environment variable export. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5436da20afde… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 24 17:12:53 2011 +0200 Make sure the run-time tests for GMP can find GMP's shared libraries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd51d715bd63… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jul 23 14:12:41 2011 +0200 Fixed uses of PPL_HAVE_DECL_GETRUSAGE. (Thanks to Thomas Cort.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f0282c0cb86… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jul 23 12:36:26 2011 +0200 New configure options `--with-gmp=DIR', `--with-gmp-include=DIR' and `--with-gmp-lib=DIR'. These supersede the (now removed) option `--with-gmp-prefix'. (The old option never really worked; hopefully this is the last change in this area.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cb6f2087a64… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 20 19:19:17 2011 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30a81801ecdb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 11 16:12:30 2011 +0200 Avoid annoying warnings caused by internal OCaml C code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e3ada8b8583… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 11 14:07:46 2011 +0200 Simplified PPL_DIRTY_TEMP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0e687c142a1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jul 9 18:32:45 2011 +0200 Silenced a couple of gcc warnings. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3567430ae44… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jun 12 18:31:27 2011 +0200 Added missing quotes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=daba0d9b281e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 12 10:53:36 2011 +0200 New configuration option `--disable-documentation'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=700beeb4d08c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 12 09:13:28 2011 +0200 Make sure the PDF documentation is fully built before extracting the PostScript documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=caaab3ac864b… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 19:01:20 2011 +0200 Silenced gcc warnings. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9248b10e0049… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 18:55:31 2011 +0200 Silenced gcc warnings. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b6502299d82… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 18:32:03 2011 +0200 Silenced gcc warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=699a1fe6e082… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 18:23:54 2011 +0200 Removed another unused variable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=248939b51576… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 18:15:27 2011 +0200 Avoid another warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb5d23c2e415… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 18:09:43 2011 +0200 Avoid another warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15650222d535… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jun 6 16:34:59 2011 +0200 Fixed some warnings. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25bb77587944… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 18 09:35:36 2011 +0200 Moved misplaced conditional. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d118d742791b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 18 09:24:37 2011 +0200 Do use $(interface_generator_files) when defined. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca8d1bde6507… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon May 9 18:47:30 2011 +0200 Improved the documentation and removed an useless function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50dc24772dc1… Merge: 3616d591577d423267e19a127d48c0027b635b1d 9374a9a1b64cc335b23b59a67271a2c93d865245 Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri May 6 11:54:48 2011 +0200 Merge branch 'floating_point' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9374a9a1b64c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri May 6 11:53:53 2011 +0200 Added a Doxygen reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36d6a4538f0c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu May 5 19:00:15 2011 +0200 Fixed an invalid Doxygen reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3616d591577d… Merge: 2e71dea17ca82986fa7168af9e7ab5dafedeb215 e1cf43ab6cd604855a4b94256a20979e28192980 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 4 14:47:10 2011 +0200 Merge branch 'floating_point' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1cf43ab6cd6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 4 14:37:21 2011 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e71dea17ca8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 4 12:26:14 2011 +0100 Fixed some bugs in the documentation for the MIP and PIP problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1df9213c90ec… Merge: 67f09abe8574bd20b74635d3e4830949ed5cec4e 5a5759bafd7558a88a8cd8613940fcff247ea407 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 3 17:10:02 2011 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a5759bafd75… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 3 13:36:52 2011 +0100 Corrected documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67f09abe8574… Merge: d595301786bc6be8f57cb37dfa31c2741b9be137 12f97bbef1ad3223c630d10474851eb5d67611db Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 3 13:13:55 2011 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12f97bbef1ad… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 15 12:06:59 2011 +0100 For increased portability, use zero-length arrays (when available), not flexible arrays. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=121539b86e28… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 23 13:25:28 2011 +0100 Two items added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c8f5935d3a6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 23 13:23:28 2011 +0100 When cross-compiling, assume that GMP has been compiled with support for propagating exceptions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26c113f59e20… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 23 13:21:12 2011 +0100 Work around a bug showing up under mingw-w64. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b537ac3b2872… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 21:01:24 2011 +0100 Avoid (again) using the same macro name for different purposes. Doing it confuses both the reader and Doxygen. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=676839fa3c6c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 19:26:18 2011 +0100 Get rid of LaTeX warnings related to package fancyhdr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=981f391c6dd5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 18:32:51 2011 +0100 Avoid duplicate PDF labels in the configured C interface manuals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16fc9b1bbb2a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 16:59:33 2011 +0100 Fixed a duplicate hypertarget error in the generated PDF documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e85e862edc6b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 14:10:31 2011 +0100 Avoid using the same macro name for different purposes. Doing it confuses both the reader and Doxygen. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2f745cdb383… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 10:19:21 2011 +0100 Set INLINE_SOURCES = NO when producing LaTeX documentation. This change is a workaround to a pdftex + hyperref issue that may result in the following error \pdfendlink ended up in different nesting level than \pdfstartlink when using some versions of Doxygen (e.g., 1.7.3). According to http://tug.org/errors.html the error is triggered when a hyperlink is split across page boundaries and it can be generated even by valid LaTeX code. Disabling source inlining is a way to greatly decrease its likelihood. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95893a2b2a7e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 22 17:07:35 2011 +0100 Fixed a couple of Doxygen related problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=225b29f1ab3b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 22 10:13:29 2011 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c526a80d5c0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 22 09:51:45 2011 +0100 No longer overwrite the SIGILL handler. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c9105aa28e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 21 12:19:22 2011 +0100 Never use `\c'; use <CODE></CODE> instead (yes, uppercase). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07f8c154d6e0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 21 09:56:13 2011 +0100 The `--disable-fpmath' configure option now disables all floating point computations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d595301786bc… Merge: 2ecc4a9389baf2d0ff5b637ba67dd29ab967b6b5 086927949fd92366d26e8b3fc8c93b63cc661b11 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 14:59:43 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=086927949fd9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 08:57:04 2011 +0100 All known bugs have been fixed for PPL 0.11.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a989820a1590… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:49:07 2011 +0100 Updated to minimize risks when the time of releasing PPL 0.12 will come. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f53ed666287c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:17:49 2011 +0100 Updated the entry for Marco Poletti. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ecc4a9389ba… Merge: b9c75c0855011b07b8d014c510403a3e34cf0a91 73cfc6e2390366f132e6967d225c4d5ec317bb46 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 15 19:04:49 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9c75c085501… Merge: 430352775db7751e904089268357d9462b7e5646 32c3efb0d9a72bf3b3c9a6f3efaa89dff1b204ac Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 13 16:28:13 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=430352775db7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 24 21:04:46 2011 +0100 Copyright notices updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4030e0897839… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 24 20:43:36 2011 +0100 Copyright notices updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2941cea03d8a… Merge: dc027679371676490ea74a3356c5c5aa6e9b735f 0fd2de73dd626465d1c77d925eb63e2adb639648 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 13 08:37:26 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc0276793716… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Dec 2 13:33:58 2010 +0100 Fixed a problem involving a missing iostream inclusion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31db7495cb05… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Dec 2 12:18:22 2010 +0100 Added a proposed implementation for ascii_dump() and ascii_load(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc3470cb464d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Nov 30 16:02:05 2010 +0100 Replaced Integer_Interval_Type with Integer_Interval in tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2cddb4672ba… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Nov 30 15:39:19 2010 +0100 Fixed a few cut-and-paste errors in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbfb2232f929… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Nov 30 15:29:01 2010 +0100 Renamed Integer_Interval_Type into Integer_Interval and moved it to Integer_Interval.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccd1b4957f96… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Nov 18 19:32:59 2010 +0100 Use ldexp instead of ldexpl for portability reasons. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b54b6858aa0f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 16 18:41:21 2010 +0100 Inclusions of <cmath> fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d711641e727b… Merge: 6ba7085042a9983395f1b15daa1bf88b68a48eff 5eb5954e1de39e24dd82ad553a8a06334f8ed607 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 7 14:50:31 2010 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ba7085042a9… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Oct 23 14:48:50 2010 +0200 Added missing asserts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8c98f2282f9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 21 19:49:23 2010 +0200 Properly quote the assignment MAKE=$(MAKE). (Thanks to Volker Braun.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78e6e881955e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Oct 19 11:39:45 2010 +0200 Reflect latest changes to affine_image into affine_form_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b250e9ec20fb… Merge: 951fdb8a9ff89a2ae59fcc1f726a2d4b05af445a 5c95fc0eab6a38442751ed16c6cfa9d538917f3f Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Oct 19 08:37:09 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=951fdb8a9ff8… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Oct 18 16:53:27 2010 +0200 Fixed a bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6885ff58136… Merge: 3f052c1b8df2482f0adeb0c4627c7ede4876bc26 ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 16 09:16:23 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f052c1b8df2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Oct 5 19:00:03 2010 +0200 Added two FIXME notes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c02f7d8aa83… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Oct 5 15:34:20 2010 +0200 Never add a rounding error when casting 1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=500981d998d6… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Oct 5 10:51:03 2010 +0200 Never add a rounding error when casting the 0 value. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d8b45e65ab5… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 29 19:10:03 2010 +0200 Always use marked_empty() instead of is_empty() after a closure. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d65c1696bed… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 29 18:20:41 2010 +0200 Added generalized_refine_with_linear_form_inequality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b39ec7c81e53… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 29 14:27:43 2010 +0200 Added missing emptiness checks. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2407bd5aa082… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 29 14:00:23 2010 +0200 Implemented export_interval_constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8afb9a4479af… Merge: ecf177259b8f165627fcdbe7dfb55dc044bdc30b 0bb0a14d690bda10c0893e11b6019128b3c4908e Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 26 08:41:55 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecf177259b8f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 23 17:05:34 2010 +0200 Temporarily pass a raw value instead of a checked number for simplicity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17f7473e9cbe… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 23 15:46:00 2010 +0200 Use is_empty instead of marked_empty for maximum safety. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bd3f0121f60… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 23 12:24:39 2010 +0200 Added method export_interval_constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=954d985eb038… Merge: a6202d3f6416fd1ca3d1cd40cb25f5418c1354cd d8484a4794afafb978c01c718ea784465d835171 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 21 09:35:49 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6202d3f6416… Merge: ebcd55e82f73703737752a66ca25891ece02661a d91c33b33dbc8b59332d279550366ed55ae9ae38 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 17 08:39:48 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebcd55e82f73… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 13 17:42:12 2010 +0200 Adapted tests on digital filters to latest changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=219f23503305… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 13 14:08:29 2010 +0200 Do not fail automatically when linearizing approximable references having more than one associated dimension. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33dfccc8af8e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 13 10:44:17 2010 +0200 Use an oracle to obtain information from an external analyzer in the linearization function. Temporarily disabled test digitalfilters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e420b1e2114… Merge: cd5191f18812ded12343b4fa936641d04761ffed 3e2fe287b4efd3b58127951793cc00ffe0ca21c0 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 8 07:18:34 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd5191f18812… Merge: 3c68d508caa260d4dc59b5f6922fe6a0079d6eef 359b3a83e66edcfffb77c714e921fdfc217dee0b Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 7 17:56:38 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c68d508caa2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 7 17:51:07 2010 +0200 Fixed tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1cdb7511579e… Merge: 06f21542441cd7463819d7762ea6d5033c1c0bff 384f089de7b9464efddf008a02d773af6ae213ea Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 7 11:44:03 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06f21542441c… Merge: c9b9ee534d533869f1c5951c9909b04eeb60325b 4bc6dff62fbd10cfa5a195b2da9fc9e2bf27e341 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 3 15:36:54 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9b9ee534d53… Merge: 22520a5a072e6b1641b6a94585eb20c6b1cec2e8 533049e561beb446baf4036b42cc486ce6ab91a3 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 3 15:36:02 2010 +0200 Merge branch 'master' into floating_point Conflicts: configure.ac src/Grid.defs.hh src/Makefile.am tests/Makefile.am URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22520a5a072e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 3 11:03:16 2010 +0200 Do not use linear form abstract stores along with relational domains. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3eac74ffc2b9… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Aug 5 11:32:27 2010 +0200 Small style improvement in the use of iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6167277a107… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Aug 3 11:09:28 2010 +0200 Do not use log2 to compute the base 2 logarithm of an integer. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17105335ca18… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 31 16:08:03 2010 +0200 Rewritten test06 and test07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41ec2a4972b2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 31 15:39:01 2010 +0200 Do not perform interval analysis on an assignment before linearization. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c9679165d7d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 31 12:53:20 2010 +0200 Float: Added a few functions that operate on linear form abstract stores. linearize.cc: test05 now consistently utilizes linear form abstract stores. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b3495a15563… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 30 19:21:33 2010 +0200 Rewritten test05 (still lacks proper use of the linear form abstract store). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e85af354adc1… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 30 17:54:02 2010 +0200 Started rewriting tests on digital filters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cfeaf81d2f5… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 30 17:04:16 2010 +0200 Do not add errors after rounding to a less precise format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a69cc00cdd67… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 30 16:04:19 2010 +0200 Avoid adding errors when casting to a more precise floating point format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fcb542b0c0c0… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 30 10:49:47 2010 +0200 Removed a test file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7b16c31a4cb… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 29 16:48:03 2010 +0200 Added linearization of cast expressions along with a simple test. Consistently use typedefs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=253cc5c29243… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 29 15:34:08 2010 +0200 Corrected the policy values. Make check now works again. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e682219b5f1… Merge: 986fb317391e4e937a918d53a955594f2abe84c6 ab1d650d0dcb0d122abf3d965c16ebdf94ac3325 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 29 14:15:40 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=986fb317391e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 28 19:03:22 2010 +0200 Added method get_integer_interval() (make check not working yet). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a827fc7a229… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 28 11:51:32 2010 +0200 Avoid dangerous casts when computing errors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f396b2fa4353… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 28 10:39:33 2010 +0200 Constructors now take a Concrete_Expression_Type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60479359fdb9… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 28 09:56:28 2010 +0200 Fixed a bug in is(). Make check now works again. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba58fa9f47cf… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 28 09:47:52 2010 +0200 Commented and moved methods is() and as(). Make check not working due to bad implementation of is(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=743a6e470392… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Jul 28 00:47:30 2010 +0200 Added is and as methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1957eb995c4d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 18:13:15 2010 +0200 Added a few tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee0a91950dcd… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 16:19:45 2010 +0200 Fixed a typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bdcb742713d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 16:18:55 2010 +0200 Added two FIXME notes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c20b83014b3c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 16:13:24 2010 +0200 Added two simple tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd7beafc7d3d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 15:08:52 2010 +0200 Fixed several mistakes in linearize and started to test it. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=873f2240682c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jul 27 14:13:03 2010 +0200 Fixed typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90eaae7fe8a1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jul 27 14:07:38 2010 +0200 Improved inheritance relations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0701ca66ee0a… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 13:59:48 2010 +0200 Added test file for the new linearization algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ec45a70db9c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 12:53:04 2010 +0200 Various changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f25bf13fcea8… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 12:15:00 2010 +0200 Fixed a few mistakes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e245a2b77ec1… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 10:30:51 2010 +0200 Use values of enum Floating_Point_Format for ANALYZED_FP_FORMAT. C_Expr: - Added method type(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9ad67116f5f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 17:45:17 2010 +0200 Concrete_Expression: - Added two methods. C_Expr: - Some progress in the implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59094c0cc8c5… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 15:51:39 2010 +0200 Fixed bad spacing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=77104a92691b… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 15:45:20 2010 +0200 linearize.hh: - Fixed mistake when accessing type informations. C_Expr: - Small progress in the implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=feb014edf63c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 15:26:45 2010 +0200 Added method associated_dimension. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e34112b360cf… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 15:22:50 2010 +0200 Concrete_Expression: - Added method associated_dimension(). C_Expr: - Small progress in the implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf0f3e91a7d0… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 14:22:00 2010 +0200 Removed an assertion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e23a7833eadd… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 14:04:19 2010 +0200 Added some documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1180bb65f43… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 26 13:49:58 2010 +0200 Consistently use the typedefs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d4c2d096dd5… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 11:47:56 2010 +0200 Adapted to latest changes in Concrete_Expression's interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82938f2c4709… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 11:24:18 2010 +0200 Makefile.am: - Added linearize.hh to the list of compilation units. linearize.hh: - Fixed a few small mistakes. - Temporarily throw an exception on non-floating point expressions. - Added the variable reference case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c28d3f92ad09… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 25 18:46:58 2010 +0200 Started rewriting the incarnation of concrete expression to be used in PPL tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6b989651301… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 24 18:45:38 2010 +0200 Added some documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74620fd8c5d3… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 24 17:44:00 2010 +0200 Fixed operator names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4d768538310… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 24 16:37:28 2010 +0200 Small improvement in bnot_linearize. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eee4fc2395d6… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 24 16:09:40 2010 +0200 Some progress with the linearization algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c4c91c248d7… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 24 12:39:51 2010 +0200 Added a skeleton for the new linearization function. Also added an idea for the linearization of the unary negation expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2af7d3f9cb52… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 23 13:50:13 2010 +0200 Added a few trivial tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c9c1ff2fef7… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 23 11:30:13 2010 +0200 Added missing inline specifier. Make check now works. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0db84c97d57a… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 23 11:15:56 2010 +0200 Avoid a cyclic dependency problem (make check still doesn't work). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=608cd868519a… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 22 15:31:36 2010 +0200 Restored inclusion of Polyhedron.defs.hh to allow compilation of Grid_public.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e5b8d148576… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 22 12:18:02 2010 +0200 Added a FIXME note. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36c398be7c32… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 22 11:52:09 2010 +0200 Fixed a typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=598a0f5c035c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 22 11:30:13 2010 +0200 Removed two probable unnecessary inclusions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc3822c311bf… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 22 10:29:16 2010 +0200 Fixed a typo in the inclusion guard. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0decead53d0c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 17:18:30 2010 +0200 Removed class absolute_error. Cache results locally in compute_absolute_error instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7bfff5fe6a7… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 15:48:54 2010 +0200 Correctly handle unexpected formats. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f7ad90bdec2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 15:28:22 2010 +0200 Made class absolute_error a struct. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c1245f7e89c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 15:18:30 2010 +0200 Implemented Linear_Form::intervalize (still not compiling, probably due to some sort of cyclic dependency problem between Grid and Box). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62fcf8c0d4be… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 14:35:04 2010 +0200 Fixed iostream inclusion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df4645ba455f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 14:31:34 2010 +0200 Fixed error in the use of NDEBUG. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c85b888fd3f4… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 13:35:29 2010 +0200 Implemented Linear_Form::overflows and Linear_Form::relative_error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=152569b0c53b… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 12:36:33 2010 +0200 Do not const-qualify by-copy parameters in declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7421b099f14c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 12:01:17 2010 +0200 Added class absolute_error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95846dca5e7f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 10:54:28 2010 +0200 Implemented compute_absolute_error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14cd19f366e8… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 10:52:39 2010 +0200 Fixed Concrete_Expression.cc so that it compiles with NDEBUG activated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7342b17d584… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jul 17 18:31:37 2010 +0200 Added the class Concrete_Expression_Type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2878e40c4194… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jul 4 18:13:18 2010 +0200 Changed operator names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df824f255b12… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 4 16:56:01 2010 +0200 Some progress in the definition of the classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e4329676d8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 4 14:11:14 2010 +0200 Started drafting the classes to be used withing the PPL for testing purposes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71f19792e603… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 4 10:51:27 2010 +0200 Started working on the new scheme for the representation of concrete expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82b6eee4e36f… Merge: dc4a6a3651215889f2324fa073a85605ebe870b0 75de3adbd70ca2f2d42112a53e719c27cbea4731 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jul 3 12:32:28 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc4a6a365121… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jun 15 23:25:49 2010 +0200 Revert "Put aside changes related to Floating_Point and Linear_Form classes." This reverts commit 7e35772519cb39fdc042fbb6f68966280b5a1cf5.

1 0

[GIT] ppl/ppl(master): Enforce generator normalization in private method
by Enea Zaffanella 03 Dec '11

03 Dec '11

Module: ppl/ppl Branch: master Commit: 56c58b4737acece415c0ea4b4bc42bbfa8339028 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56c58b4737ac… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 3 13:32:57 2011 +0100 Enforce generator normalization in private method Polyhedron::BFT00_poly_hull_assign_if_exact() and add corresponding assertion. --- src/Polyhedron_nonpublic.cc | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index 3bffc08..7379ad1 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -2034,8 +2034,9 @@ PPL::Polyhedron::BFT00_poly_hull_assign_if_exact(const Polyhedron& y) { PPL_ASSERT(!(illegal_ray && (x_row_is_line || y_row_is_line))); if (illegal_ray) continue; + // Normalize mid_row (strongly, if needed). + mid_row.normalize(); if (x_row_is_line) { - mid_row.normalize(); if (y_row_is_line) // mid_row is a line too: sign normalization is needed. mid_row.sign_normalize(); @@ -2043,6 +2044,7 @@ PPL::Polyhedron::BFT00_poly_hull_assign_if_exact(const Polyhedron& y) { // mid_row is a ray/point. mid_row.set_is_ray_or_point_or_inequality(); } + PPL_ASSERT(mid_g.OK()); // Step 7: check if mid_g is in the union of x and y. if (x.relation_with(mid_g) == Poly_Gen_Relation::nothing()

1 0

[GIT] ppl/ppl(master): Style improvements for Grid::relation_with( const Congruence& cg) const.
by Enea Zaffanella 03 Dec '11

03 Dec '11

Module: ppl/ppl Branch: master Commit: b384ace64d3a140ad3f7af3022f7afcb596d68f0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b384ace64d3a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 3 09:24:39 2011 +0100 Style improvements for Grid::relation_with(const Congruence& cg) const. No functionality change. --- src/Grid_public.cc | 95 +++++++++++++++++++++++++--------------------------- 1 files changed, 46 insertions(+), 49 deletions(-) diff --git a/src/Grid_public.cc b/src/Grid_public.cc index 85b3566..9b98765 100644 --- a/src/Grid_public.cc +++ b/src/Grid_public.cc @@ -396,87 +396,85 @@ PPL::Grid::relation_with(const Congruence& cg) const { PPL_DIRTY_TEMP_COEFFICIENT(point_sp); point_sp = 0; - const Coefficient& modulus = cg.modulus(); - PPL_DIRTY_TEMP_COEFFICIENT(div); - div = modulus; + div = cg.modulus(); PPL_DIRTY_TEMP_COEFFICIENT(sp); bool known_to_intersect = false; - for (Grid_Generator_System::const_iterator g = gen_sys.begin(), - gen_sys_end = gen_sys.end(); g != gen_sys_end; ++g) { - Scalar_Products::assign(sp, cg, *g); + for (Grid_Generator_System::const_iterator i = gen_sys.begin(), + i_end = gen_sys.end(); i != i_end; ++i) { + const Grid_Generator& g = *i; + Scalar_Products::assign(sp, cg, g); - switch (g->type()) { + switch (g.type()) { case Grid_Generator::POINT: if (cg.is_proper_congruence()) sp %= div; - if (sp == 0) + if (sp == 0) { // The point satisfies the congruence. if (point_sp == 0) // Any previous points satisfied the congruence. known_to_intersect = true; else return Poly_Con_Relation::strictly_intersects(); - else - if (point_sp == 0) { - if (known_to_intersect) - return Poly_Con_Relation::strictly_intersects(); - // Assign `sp' to `point_sp' as `sp' is the scalar product - // of cg and a point g and is non-zero. - point_sp = sp; - } - else { - // A previously considered point p failed to satisfy cg such that - // `point_sp' = `scalar_prod(p, cg)' - // so, if we consider the parameter g-p instead of g, we have - // scalar_prod(g-p, cg) = scalar_prod(g, cg) - scalar_prod(p, cg) - // = sp - point_sp - sp -= point_sp; - - if (sp != 0) { - // Find the GCD between sp and the previous GCD. - gcd_assign(div, div, sp); - if (point_sp % div == 0) - // There is a point in the grid satisfying cg. - return Poly_Con_Relation::strictly_intersects(); - } + } + else { + if (point_sp == 0) { + if (known_to_intersect) + return Poly_Con_Relation::strictly_intersects(); + // Assign `sp' to `point_sp' as `sp' is the scalar product + // of cg and a point g and is non-zero. + point_sp = sp; } + else { + // A previously considered point p failed to satisfy cg such that + // `point_sp' = `scalar_prod(p, cg)' + // so, if we consider the parameter g-p instead of g, we have + // scalar_prod(g-p, cg) = scalar_prod(g, cg) - scalar_prod(p, cg) + // = sp - point_sp + sp -= point_sp; + + if (sp != 0) { + // Find the GCD between sp and the previous GCD. + gcd_assign(div, div, sp); + if (point_sp % div == 0) + // There is a point in the grid satisfying cg. + return Poly_Con_Relation::strictly_intersects(); + } + } + } break; case Grid_Generator::PARAMETER: if (cg.is_proper_congruence()) - sp %= (div * g->divisor()); + sp %= (div * g.divisor()); if (sp == 0) // Parameter g satisfies the cg so the relation depends // entirely on the other generators. break; - if (known_to_intersect) - // At least one point satisfies cg. However, the sum of such - // a point and the parameter g fails to satisfy cg (due to g). - return Poly_Con_Relation::strictly_intersects(); - + // At least one point satisfies cg. However, the sum of such + // a point and the parameter g fails to satisfy cg (due to g). + return Poly_Con_Relation::strictly_intersects(); // Find the GCD between sp and the previous GCD. gcd_assign(div, div, sp); - if (point_sp != 0) - // At least one of any previously encountered points fails to - // satisfy cg. - if (point_sp % div == 0) - ////// if (point_sp == div) - // There is also a grid point that satisfies cg. - return Poly_Con_Relation::strictly_intersects(); - + if (point_sp != 0) { + // At least one of any previously encountered points fails to + // satisfy cg. + if (point_sp % div == 0) + // There is also a grid point that satisfies cg. + return Poly_Con_Relation::strictly_intersects(); + } break; case Grid_Generator::LINE: if (sp == 0) - // Line g satisfies the cg so the relation depends entirely on - // the other generators. - break; + // Line g satisfies the cg so the relation depends entirely on + // the other generators. + break; // Line g intersects the congruence. // @@ -490,7 +488,6 @@ PPL::Grid::relation_with(const Congruence& cg) const { // *this that does not satisfy `cg' and hence `p+g' is a point // in *this not in the grid defined by `cg'; therefore `*this' // strictly intersects the `cg' grid. - return Poly_Con_Relation::strictly_intersects(); } }

1 0