URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bbcceb416249... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 23:35:59 2011 +0100
Congruence_System: remove the add_zero_rows(), add_zero_columns() and remove_trailing_columns() methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c22231437d8f... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 23:12:54 2011 +0100
Grid: avoid using Congruence_System::add_zero_columns() in add_space_dimensions_and_embed().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5040f0622b07... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 23:12:45 2011 +0100
Grid: avoid using Congruence_System::add_zero_columns() in add_space_dimensions().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cd72d3a06373... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 23:02:52 2011 +0100
Grid: avoid using Congruence_System::add_zero_rows(), in simplify().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63449606174e9... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 22:54:46 2011 +0100
Grid: avoid using Congruence_System::add_zero_rows(), in simplify().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f82c43cb6696... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 22:51:35 2011 +0100
Congruence_System: add an insert_recycled() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddf9d0da8f538... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 22:32:56 2011 +0100
Congruence_System: replace the insert_verbatim() method with a new insert_verbatim_recycled() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35dd7a9324bfb... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 22:18:19 2011 +0100
Congruence: now the default constructor takes an optional argument.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54225672a2dd3... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 22:11:08 2011 +0100
Congruence_System: simplify the remove_higher_space_dimensions() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a295cfa0561b3... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 22:10:46 2011 +0100
Congruence_System: implement add_unit_rows_and_columns() at a higher level.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9557001b37c62... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 21:24:53 2011 +0100
Congruence_System: simplify the insert() method that takes a Congruence_System.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e57abdaf4be80... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 21:24:22 2011 +0100
Congruence_System: simplify the recycling_insert() method that takes a Congruence_System argument.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=282d2e5ab2821... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 21:19:04 2011 +0100
Congruence_System: simplify the insert_verbatim() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0eb3beeac7e7... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 21:18:35 2011 +0100
Congruence: add a constructor from a Constraint that specifies the desired space dimension.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9918be63b380... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 21:17:22 2011 +0100
Dense_Row, Sparse_Row: weaken the requirements of the copy-constructor with specified size and capacity.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e30cad8d350d... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 20:54:07 2011 +0100
Congruence_System: simplify the insert_verbatim() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a442c51dde92b... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Feb 17 20:51:57 2011 +0100
Congruence_System: simplify the increase_space_dimension() method.