March 2011 - PPL-devel - BUGSENG Mailman

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

20 Mar '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb6b72a14353… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 9 23:27:15 2011 +0100 Linear_System: simplify and improve the remove_rows() method, adding a helper swap_row_intervals() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62090db6ccea… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 9 22:23:14 2011 +0100 Generator_System: add a remove_rows() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff5aae8d1c5a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 9 22:21:26 2011 +0100 Constraint_System: add a remove_rows() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa10cefceac7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 9 18:32:37 2011 +0100 Polyhedron: call *_System::remove_row() when appropriate, in the constructor from a Box. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=984e9b1a7837… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 9 18:16:39 2011 +0100 Polyhedron: call *_System::remove_rows() when needed, in conversion(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee935d023b13… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 19 23:13:08 2011 +0100 Generator_System: add a remove_rows() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=865f341d30d4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 19 23:13:00 2011 +0100 Constraint_System: add a remove_rows() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f5bad8cc077… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 19 23:12:49 2011 +0100 Linear_System: add a remove_rows() method.

1 0

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

19 Mar '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd6f2c5f0620… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 9 18:15:58 2011 +0100 Generator_System: add a remove_row() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=347b7d0b34f9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 9 17:29:58 2011 +0100 Constraint_System: set the sortedness correctly, in ascii_load(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42010eaa685c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 12:07:20 2011 +0100 Polyhedron: use Constraint_System::remove_row() in strongly_minimize_constraints(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=725dcd65146d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 12:02:14 2011 +0100 Constraint_System: add a remove_rows() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2a57eaf4400… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 11:55:09 2011 +0100 Generator_System: use Linear_System::remove_row() in remove_invalid_lines_and_rays(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0762679f9735… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 11:54:24 2011 +0100 Linear_System: improve the remove_row() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f19a92b295ef… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 11:53:59 2011 +0100 Linear_System: add a remove_rows() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90c4c1615e4a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 11:45:59 2011 +0100 Grid: use Congruence_System::remove_rows() in remove_higher_space_dimensions(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b37b96a93e97… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 11:45:17 2011 +0100 Congruence_System: add a remove_rows() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7d0e1890efb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 10:24:54 2011 +0100 Constraint_System: use Linear_System::remove_row() in adjust_topology_and_space_dimension(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dad96209356… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 10:17:25 2011 +0100 Generator_System: use Linear_System::remove_row() in adjust_topology_and_space_dimension(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a18fb07ec32… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 10:10:20 2011 +0100 Grid_Generator_System: use Linear_System::remove_row() in remove_invalid_lines_and_parameters(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6044df8c270… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 10:07:28 2011 +0100 Linear_System: add a remove_row() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c279bc08de0a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 09:39:28 2011 +0100 Grid_Generator_System: simplify the add_universe_rows_and_columns() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=710ffa544700… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 09:35:45 2011 +0100 Grid_Generator_System: simplify the insert() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e94ad4852b35… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 09:19:35 2011 +0100 Grid_Generator_System: simplify the recycling_insert() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ffcd2624ed95… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 09:05:24 2011 +0100 Constraint_System: remove the release_row() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5fea09b08995… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 08:56:20 2011 +0100 Constraint_System: output the size of each row in ascii_dump(), and read it in ascii_load(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74495f40134a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 08:49:34 2011 +0100 Constraint: un-inline the ascii_dump() and ascii_load() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=551070475451… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 8 08:49:00 2011 +0100 Constraint_System: output the topology of each row in ascii_dump(), and read it in ascii_load(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2d4a1f0697c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 16 08:05:23 2011 +0100 tests/Polyhedron: fix the Makefile.am file.

1 0

[GIT] ppl/ppl(master): For increased portability, use zero-length arrays ( when available), not flexible arrays.
by Roberto Bagnara 15 Mar '11

15 Mar '11

Module: ppl/ppl Branch: master Commit: 12f97bbef1ad3223c630d10474851eb5d67611db 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. --- configure.ac | 4 +- m4/Makefile.am | 2 +- ...ible_arrays.m4 => ac_cxx_zero_length_arrays.m4} | 22 ++++++++++---------- src/DB_Row.defs.hh | 4 ++- src/DB_Row.inlines.hh | 8 +++--- src/DB_Row.templates.hh | 20 +++++++++--------- 6 files changed, 31 insertions(+), 29 deletions(-) diff --git a/configure.ac b/configure.ac index 117e8b1..bccdcbe 100644 --- a/configure.ac +++ b/configure.ac @@ -703,8 +703,8 @@ AC_CXX_LONG_DOUBLE_BINARY_FORMAT # long doubles. #AC_CXX_LONG_DOUBLE_EXACT_OUTPUT -# Check whether the C++ compiler supports flexible arrays. -AC_CXX_SUPPORTS_FLEXIBLE_ARRAYS +# Check whether the C++ compiler supports zero-length arrays. +AC_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS # Check whether the IEEE inexact flag is supported in C++. AC_CXX_SUPPORTS_IEEE_INEXACT_FLAG diff --git a/m4/Makefile.am b/m4/Makefile.am index 313d28a..651d019 100644 --- a/m4/Makefile.am +++ b/m4/Makefile.am @@ -39,7 +39,7 @@ ac_check_xsb_prolog.m4 \ ac_cxx_attribute_weak.m4 \ ac_cxx_double_binary_format.m4 \ ac_cxx_double_exact_output.m4 \ -ac_cxx_flexible_arrays.m4 \ +ac_cxx_zero_length_arrays.m4 \ ac_cxx_float_binary_format.m4 \ ac_cxx_float_exact_output.m4 \ ac_cxx_ieee_inexact_flag.m4 \ diff --git a/m4/ac_cxx_flexible_arrays.m4 b/m4/ac_cxx_zero_length_arrays.m4 similarity index 81% rename from m4/ac_cxx_flexible_arrays.m4 rename to m4/ac_cxx_zero_length_arrays.m4 index 5ad6b33..2ba7491 100644 --- a/m4/ac_cxx_flexible_arrays.m4 +++ b/m4/ac_cxx_zero_length_arrays.m4 @@ -1,4 +1,4 @@ -dnl A function to check whether the C++ compiler supports flexible arrays. +dnl A function to check whether the C++ compiler supports zero-length arrays. dnl Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> dnl Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) dnl @@ -21,13 +21,13 @@ dnl dnl For the most up-to-date information see the Parma Polyhedra Library dnl site: http://www.cs.unipr.it/ppl/ . -AC_DEFUN([AC_CXX_SUPPORTS_FLEXIBLE_ARRAYS], +AC_DEFUN([AC_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS], [ ac_save_CPPFLAGS="$CPPFLAGS" ac_save_LIBS="$LIBS" AC_LANG_PUSH(C++) -AC_MSG_CHECKING([whether the C++ compiler supports flexible arrays]) +AC_MSG_CHECKING([whether the C++ compiler supports zero-length arrays]) AC_RUN_IFELSE([AC_LANG_SOURCE([[ #include <new> #include <cstddef> @@ -74,9 +74,9 @@ main() { } ]])], AC_MSG_RESULT(yes) - ac_cxx_supports_flexible_arrays=yes, + ac_cxx_supports_zero_length_arrays=yes, AC_MSG_RESULT(no) - ac_cxx_supports_flexible_arrays=no, + ac_cxx_supports_zero_length_arrays=no, AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ #include <new> #include <cstddef> @@ -95,7 +95,7 @@ public: class B { private: int capacity; - A vec[]; + A vec[0]; public: void* operator new(size_t fixed_size, int c) { @@ -123,18 +123,18 @@ main() { } ]])], AC_MSG_RESULT(yes) - ac_cxx_supports_flexible_arrays=yes, + ac_cxx_supports_zero_length_arrays=yes, AC_MSG_RESULT(no) - ac_cxx_supports_flexible_arrays=no)) + ac_cxx_supports_zero_length_arrays=no)) -if test x"$ac_cxx_supports_flexible_arrays" = xyes +if test x"$ac_cxx_supports_zero_length_arrays" = xyes then value=1 else value=0 fi -AC_DEFINE_UNQUOTED(PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS, $value, - [Not zero if the C++ compiler supports flexible arrays.]) +AC_DEFINE_UNQUOTED(PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS, $value, + [Not zero if the C++ compiler supports zero_length arrays.]) AC_LANG_POP(C++) CPPFLAGS="$ac_save_CPPFLAGS" diff --git a/src/DB_Row.defs.hh b/src/DB_Row.defs.hh index 071738c..90a322b 100644 --- a/src/DB_Row.defs.hh +++ b/src/DB_Row.defs.hh @@ -432,7 +432,9 @@ private: //! The vector of coefficients. T vec_[ -#if !PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#if PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS + 0 +#else 1 #endif ]; diff --git a/src/DB_Row.inlines.hh b/src/DB_Row.inlines.hh index 7db5f22..66423ac 100644 --- a/src/DB_Row.inlines.hh +++ b/src/DB_Row.inlines.hh @@ -37,7 +37,7 @@ template <typename T> inline void* DB_Row_Impl_Handler<T>::Impl::operator new(const size_t fixed_size, const dimension_type capacity) { -#if PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#if PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS return ::operator new(fixed_size + capacity*sizeof(T)); #else PPL_ASSERT(capacity >= 1); @@ -64,7 +64,7 @@ DB_Row_Impl_Handler<T>::Impl return sizeof(*this) + capacity*sizeof(T) -#if !PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#if !PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS - 1*sizeof(T) #endif + external_memory_in_bytes(); @@ -172,13 +172,13 @@ DB_Row<T>::DB_Row() template <typename T> inline void DB_Row<T>::allocate( -#if PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#if PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS const #endif dimension_type capacity) { DB_Row<T>& x = *this; PPL_ASSERT(capacity <= max_size()); -#if !PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#if !PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS if (capacity == 0) ++capacity; #endif diff --git a/src/DB_Row.templates.hh b/src/DB_Row.templates.hh index 590ff43..ea6f54d 100644 --- a/src/DB_Row.templates.hh +++ b/src/DB_Row.templates.hh @@ -33,13 +33,13 @@ template <typename U> void DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U& y) { const dimension_type y_size = y.size(); -#if PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#if PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS // Construct in direct order: will destroy in reverse order. for (dimension_type i = 0; i < y_size; ++i) { construct(vec_[i], y[i], ROUND_UP); bump_size(); } -#else // PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#else // PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS if (y_size > 0) { assign_r(vec_[0], y[0], ROUND_UP); bump_size(); @@ -49,7 +49,7 @@ DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U& y) { bump_size(); } } -#endif // PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#endif // PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS } template <typename T> @@ -57,7 +57,7 @@ void DB_Row_Impl_Handler<T>:: Impl::expand_within_capacity(const dimension_type new_size) { PPL_ASSERT(size() <= new_size && new_size <= max_size()); -#if !PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#if !PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS if (size() == 0 && new_size > 0) { // vec_[0] is already constructed: we just need to assign +infinity. assign_r(vec_[0], PLUS_INFINITY, ROUND_NOT_NEEDED); @@ -78,7 +78,7 @@ DB_Row_Impl_Handler<T>::Impl::shrink(dimension_type new_size) { PPL_ASSERT(new_size <= old_size); // Since ~T() does not throw exceptions, nothing here does. set_size(new_size); -#if !PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#if !PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS // Make sure we do not try to destroy vec_[0]. if (new_size == 0) ++new_size; @@ -93,13 +93,13 @@ template <typename T> void DB_Row_Impl_Handler<T>::Impl::copy_construct_coefficients(const Impl& y) { const dimension_type y_size = y.size(); -#if PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#if PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS // Construct in direct order: will destroy in reverse order. for (dimension_type i = 0; i < y_size; ++i) { new (&vec_[i]) T(y.vec_[i]); bump_size(); } -#else // PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#else // PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS if (y_size > 0) { vec_[0] = y.vec_[0]; bump_size(); @@ -109,7 +109,7 @@ DB_Row_Impl_Handler<T>::Impl::copy_construct_coefficients(const Impl& y) { bump_size(); } } -#endif // PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +#endif // PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS } template <typename T> @@ -138,7 +138,7 @@ DB_Row<T>::OK(const dimension_type row_size, bool is_broken = false; #if PPL_DB_ROW_EXTRA_DEBUG -# if !PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +# if !PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS if (x.capacity_ == 0) { cerr << "Illegal row capacity: is 0, should be at least 1" << endl; @@ -148,7 +148,7 @@ DB_Row<T>::OK(const dimension_type row_size, // This is fine. ; else -# endif // !PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS +# endif // !PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS if (x.capacity_ != row_capacity) { cerr << "DB_Row capacity mismatch: is " << x.capacity_ << ", should be " << row_capacity << "."

1 0

a beginner question
by Christian Mullon 08 Mar '11

08 Mar '11

Dear PPL-developers, I am considering to use PPL for solving quite simple problems of the following type: Given a polyhedron in H-form A.X>=B, find its image in H-form by a linear application M. The dimensions are for example A(40,15), M(10,15); M is full rank (10). I am new in polyhedron programming; maybe the solution is obvious; if no, could you please tell me if such a problem is solvable using PPL, if its not too much time consuming in terms of computing or development? Would there be any "Starting with PPL" tutorial, including examples, for java developpers? Best regards Christian Mullon

2 1

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

08 Mar '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=83f3dc89a837… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 09:50:36 2011 +0100 Linear_System, Constraint_System: remove the raw_*() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b749eb47941… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 09:47:15 2011 +0100 Linear_System: avoid using raw_set_topology() in ascii_load(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbaf1e1637e3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 09:46:35 2011 +0100 Polyhedron: use the mark_as_{,not_}necessarily_closed() methods instead of the raw_set_{,not_}necessarily_closed() ones. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1beb6de14ed4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 09:45:42 2011 +0100 Constraint_System: add the mark_as_{,not_}necessarily_closed() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b981c4cec19… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 09:45:28 2011 +0100 Linear_System: add the mark_as_{,not_}necessarily_closed() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0346bd83b7cd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 09:08:06 2011 +0100 Grid_Generator_System: use higher-level methods of Linear_System, in ascii_load(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0f0dfa0984a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 09:07:10 2011 +0100 Generator_System: use higher-level methods of Linear_System, in ascii_load(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c19de5e7c3cb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 09:06:51 2011 +0100 Generator_System: use higher-level methods of Linear_System, in convert_into_non_necessarily_closed(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85a2c16a11e2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 09:04:30 2011 +0100 Constraint_System: use higher-level methods of Linear_System, in ascii_load(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a136a7f80f9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 09:04:17 2011 +0100 Constraint_System: use higher-level methods of Linear_System, in insert() and insert_pending(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e5c6073c0de… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 08:58:14 2011 +0100 Generator_System: simplify the adjust_topology_and_space_dimension() method, using higher-level operations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a005b04895b2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 08:48:46 2011 +0100 Constraint_System: simplify the adjust_topology_and_space_dimension() method, using higher-level operations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cdeef32f4b0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 4 08:47:57 2011 +0100 Linear_System: add the set_topology() and set_{,not_}necessarily_closed() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2375f5e10ef… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Mar 3 00:36:44 2011 +0100 *_System: rename the set_topology() and set_*necessarily_closed() methods into raw_set_topology() and raw_set_necessarily_closed(). Also implement Linear_Row set_*necessarily_closed() methods in term of set_topology().

1 0

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

03 Mar '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=500673bde7d2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 1 09:33:50 2011 +0100 Constraint_System, Generator_System, Linear_System: replace the three-argument constructor with a two-argument one. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=167784c6f990… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 1 08:31:15 2011 +0100 Generator_System: remove the remove_trailing_columns() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e833defdfdaf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 22:42:11 2011 +0100 *_System: resize_no_copy() now takes the number of space dimensions as argument instead of the number of columns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe904644687d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 22:41:03 2011 +0100 Constraint_System, Generator_System, Grid_Generator_System: avoid using resize_no_copy() in ascii_load(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b74c27f9db6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 22:18:44 2011 +0100 Constraint_System, Generator_System: remove the add_columns() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22e0c1cf88df… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 22:18:21 2011 +0100 Polyhedron: avoid using *_System::num_columns(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5988855be8d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 21:18:15 2011 +0100 Constraint_System, Generator_System: remove the add_zero_columns() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=074e0edb14bb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 21:14:57 2011 +0100 Constraint_System, Generator_System: remove the swap_columns() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=904500e9f29e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 21:14:33 2011 +0100 Polyhedron, Grid_Generator_System: use *_System::remove_space_dimensions() when needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5452f041b62… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 21:13:48 2011 +0100 Linear_System, Constraint_System, Generator_System: add a remove_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fff5196e82a6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 21:12:27 2011 +0100 Polyhedron: use *_System::set_space_dimension() when needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb2950802ac0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 21:11:27 2011 +0100 Constraint, Generator, Grid_Generator, Linear_System, Generator_System, Constraint_System: add a set_space_dimension() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a73dcbd958ff… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 19:04:56 2011 +0100 Linear_System, Constraint_System, Generator_System: add a swap_space_dimensions() method and use it instead of permute_space_dimensions() when it's enough. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b376e83ed7a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 18:56:05 2011 +0100 Linear_System: move the epsilon coefficients and try to preserve sortedness in add_universe_rows_and_columns(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de67f8f9c358… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 18:28:28 2011 +0100 Linear_System: avoid depending on Linear_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0655c8b93c7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 18:25:08 2011 +0100 Grid_Generator: improve the documentation of is_equal_to() and simplify its implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34c5ba9d999b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 18:24:32 2011 +0100 Generator: add an is_equal_to() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fca5bc77f197… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 18:24:15 2011 +0100 Constraint: add an is_equal_to() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ca45543794e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 18:06:56 2011 +0100 Linear_System: prefer using swap() methods instead of std::swap(), to avoid performance regressions caused by wrong inclusions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acf1b4209ed0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 17:58:59 2011 +0100 Grid_Generator_System: remove the add_zero_columns() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c0550f13d98… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 17:58:40 2011 +0100 Grid: use Grid_Generator_System::set_space_dimension() instead of Grid_Generator_System::add_zero_columns(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37801af59f86… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 10:00:56 2011 +0100 *_System: replace the permute_columns() method with an higher-level permute_space_dimensions(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d8db6ef01c2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 09:08:15 2011 +0100 Grid_Generator_System: affine_image() now takes a Variable argument instead of its space dimension.

1 0

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

01 Mar '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bfe6ffe46d8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 08:56:52 2011 +0100 Grid_Generator_System: remove the num_columns() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bf55c75b5c5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 28 08:49:29 2011 +0100 Grid_Generator_System: replace the higher_space_dimensions() method with set_space_dimension(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc0b9e525070… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 22:37:01 2011 +0100 Constraint_System, Generator_System, Grid_Generator_System: remove the internal_row_type typedef. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71de0b164705… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 22:36:21 2011 +0100 Grid: avoid using *_System::internal_row_type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9b5d3d90bd8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 22:35:05 2011 +0100 Polyhedron: avoid using *_System::internal_row_type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6250fb3c8c14… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 22:17:32 2011 +0100 Constraint_System: contain a Linear_System<Constraint> instead of a Linear_System<Linear_Row>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e79515fa58d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 22:13:25 2011 +0100 Linear_System: avoid copying rows during resize. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c236a0770070… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 22:12:47 2011 +0100 Scalar_Products: actually implement the scalar product between a Generator and a Constraint. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4c73577d79a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 20:08:34 2011 +0100 Grid_Generator_System: contain a Linear_System<Grid_Generator> instead of a Linear_System<Linear_Row>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=744e4c6d7c9d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 19:42:15 2011 +0100 Grid_Generator_System: contain a Linear_System object instead of inheriting from Linear_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9a750a226be… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 18:21:00 2011 +0100 Constraint_System: contain a Linear_System object instead of deriving from Linear_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f92e1b8aeaf4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 17:31:30 2011 +0100 Linear_System: assert OK() at the end of each non-const method; apply some minor changes to avoid triggering assertions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5a095599dc5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 17:24:27 2011 +0100 Polyhedron: keep Linear_System objects valid at each step. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d680e165cef… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 17:24:13 2011 +0100 Constraint_System: keep Linear_System objects valid at each step. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa7e3e69ffe2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 17:21:01 2011 +0100 Linear_System: update index_first_pending in sort_rows(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e397fa042227… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 17:20:08 2011 +0100 Linear_System: prepare for adding more assertions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb0ea5460b2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 17:19:13 2011 +0100 Linear_System: empty systems now have the minimum number of columns required by their topology. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44cec5e2b8c8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 17:10:10 2011 +0100 Linear_System: avoid using references to access the current object methods and fields; other minor changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c081c212bca… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 10:45:12 2011 +0100 Matrix: add a FIXME comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dd7bedc2b44… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 09:50:10 2011 +0100 Constraint_System: don't depend on Polyhedron. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa7a595428e4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 09:42:02 2011 +0100 Grid_Generator_System: inherit from Linear_System with the 'public' specifier and avoid being friend of Grid.

1 0