URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4214b110c1f5... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 01:07:04 2011 +0100

Linear_System: avoid deriving from Matrix<Row>. Add a Matrix<Row> field instead.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6435c868aa294... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 23:43:08 2011 +0100

Linear_Row: add a max_num_columns() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d3944182866c... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 23:37:22 2011 +0100

Grid_Generator: remove the coefficient_swap() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a508abbf141bc... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 23:35:07 2011 +0100

Grid_Generator_System: avoid calling Matrix::add_zero_rows_and_columns() in add_universe_rows_and_columns().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=829d1abd73605... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 23:34:45 2011 +0100

Grid_Generator_System: avoid calling Matrix::add_zero_rows_and_columns() in recycling_insert(Generator_System&).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=537741e8a24af... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 23:33:38 2011 +0100

Grid_Generator_System: avoid calling Matrix::add_zero_rows_and_columns() in recycling_insert(Grid_Generator_System&).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e8f240d7f937... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 22:29:09 2011 +0100

Grid_Generator_System: don't assume that Linear_System is implemented with a Matrix.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=834a4f9b5729e... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 22:16:35 2011 +0100

Linear_System: add a remove_trailing_columns_without_normalizing() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b27defb9611b0... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 21:54:03 2011 +0100

Linear_System: remove too-strict assertion.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8aff5edbfd0b8... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 19:21:28 2011 +0100

Polyhedron: don't call Generator_System::add_zero_rows() in add_recycled_generators().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fc3348722409... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 19:20:22 2011 +0100

Polyhedron: don't assume that Generator_System is implemented with a Matrix, in remove_space_dimensions().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73504e4e7c6da... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 16:28:46 2011 +0100

Add a Swapping_Vector class and use it to implement Matrix.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea341e0754ead... Merge: d66a8fc9149b3fc34d08a9ff42f513db70cb962e 0643bb18e84c01bf0906b99dbef0005e55f664b4 Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 15:30:51 2011 +0100

Merge branch 'master' into sparse_matrices

Conflicts: src/Dense_Matrix.cc src/Dense_Matrix.defs.hh src/Dense_Matrix.inlines.hh src/Dense_Matrix.types.hh src/Dense_Row.cc src/Dense_Row.inlines.hh src/Sparse_Matrix.defs.hh src/Sparse_Matrix.inlines.hh src/Sparse_Matrix.types.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=d66a8fc9149b3... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 13:09:25 2011 +0100

Grid_Generator: some changes, possibly fixing the code. Patch by Enea Zaffanella.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ee4336688f2d... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 10:43:12 2011 +0100

Grid_Generator: fix normalization bug in parameter(). Now the whole testsuite passes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38e3c1aee2317... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 4 10:16:59 2011 +0100

Remove the (unused) Sparse_Matrix.types.hh file.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0643bb18e84c0... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 3 18:48:49 2011 +0100

Corrected a bug in cut generation. We were using %= instead of the helper function mod_assign(), which is meant to compute the *positive* modulus. For clarity, the helper function has been renamed as pos_mod_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f14d56cb93cb6... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Feb 2 16:48:49 2011 +0100

Do not use the deprecated function mpz_div_2exp. Use mpz_tdiv_q_2exp instead.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c02e988b645f6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jan 29 19:45:52 2011 +0100

AC_PROG_OCAML only sets OCAMLOPT if OCAMLC is different from "no".

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4d174ba5cb6e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jan 29 10:54:01 2011 +0100

Copyright notices updated in expexted result files.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb4f7f910d95f... Author: Roberto Bagnara bagnara@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=0fd2de73dd626... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Jan 8 17:23:18 2011 +0100

Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c16cf1e891f1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jan 7 18:39:22 2011 +0100

Cyclic dependency avoided.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d3d269f79074... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Jan 6 11:44:48 2011 +0100

Fixed documentation copy-and-paste error.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27d130ce3196c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 6 10:42:46 2011 +0100

Replaced several occurrences of assert() by PPL_ASSERT().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a0f1627560db... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 6 09:31:27 2011 +0100

Added missing parameter documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87b7c0d322e1f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 6 08:57:57 2011 +0100

Do not build documentation for interfaces that are not enabled.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ba95253a8b9d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jan 5 17:02:18 2011 +0100

Added missing `use_module' directive.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86dc7a898cd5... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Dec 30 14:44:10 2010 +0100

Dense_Row: simplify the exception safety implementation by using an implementation subobject.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a24129e95d80c... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 27 17:05:58 2010 +0100

Dense_Row: improve exception safety in constructors.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff7564a57ae55... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 27 09:20:53 2010 +0100

Dense_Row: remove useless debugging code from the OK() method.