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.