URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=511787f4e1adb... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 23:16:46 2011 +0100

Congruence: remove the set_coefficient() method, and add a permute_columns() method instead.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91e98863a0761... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 23:14:18 2011 +0100

Congruence_System: avoid using Congruence::set_coefficient() in add_unit_rows_and_columns().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dcbcd0fbae89a... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 23:13:36 2011 +0100

Congruence: add FIXME comment.

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

Linear_Expression: add a set_space_dimension() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53e743c5e538f... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 22:32:48 2011 +0100

Congruence_System: remove the non-const operator[].

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a53c3dc72960... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 22:26:33 2011 +0100

Grid: avoid using the non-const Congruence_System::operator[], in simplify().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e7c4e770f7cd... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 20:57:50 2011 +0100

Grid: prepare the simplify() method for further changes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08192bd1f6d3e... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 20:42:07 2011 +0100

Grid: use the appropriate methods of Congruence instead of accessing the modulus and the inhomogeneous term directly, in simplify().

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

Grid: use a switch instead of nested ifs and gotos, in simplify().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfa5dec7deed4... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 20:24:26 2011 +0100

Congruence_System: add a release_row() method.

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

Grid: avoid using Congruence::operator[], in reduce_congruence_with_equality().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=befdd040ead73... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 20:21:30 2011 +0100

Add operator+=(), operator-=(), add_mul_assign() and sub_mul_assign() for congruences.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=394233eae7f03... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 19:54:23 2011 +0100

Grid: avoid using the non-const Congruence_System::operator[], in conversion().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c9a049987b81... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 19:53:28 2011 +0100

Grid: avoid using the non-const Congruence::operator[], in multiply_grid().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=278524bcc792c... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 19:51:40 2011 +0100

Grid: avoid using the non-const Congruence_System::operator[], in remove_higher_space_dimensions().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35d9f176e7bb8... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 20:00:52 2011 +0100

Congruence_System: add a swap_rows() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efc45b451053f... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 19:50:30 2011 +0100

Congruence_System: avoid using the non-const Congruence_System::operator[].

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac549e89e10cf... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 19:38:15 2011 +0100

Merge the Row_Flags class into Linear_Row::Flags.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0db87bcbd1729... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 19:27:57 2011 +0100

A Row_Flags field is now contained in Linear_Row, instead of Sparse_Row and Dense_Row.

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

Grid: avoid using the non-const Congruence_System::operator[], in construct().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7aff773e3d094... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 18:59:17 2011 +0100

Congruence: add a set_inhomogeneous_term() method().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=955bee2438e9b... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 18:25:13 2011 +0100

Grid: change the signature of the multiply_grid() helper method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1c52f9174511... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 18:24:45 2011 +0100

Grid: change the signature of the reduce_congruence_with_equality() helper method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c70fad4e560c... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 15:02:53 2011 +0100

Congruence_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=d28d13516a856... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 15:01:16 2011 +0100

Grid: avoid using the Congruence_System::resize_no_copy() method and the non-const Congruence_System::operator[], in conversion().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fa1d0105f4f0... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 14:59:29 2011 +0100

Grid: remove a useless cast in set_empty().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b25f7de6bd64b... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 19 14:56:05 2011 +0100

Congruence_System: merge the increase_space_dimension() and hemove_higher_space_dimensions() methods into a single set_space_dimension() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35124181e4d28... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Feb 18 23:05:55 2011 +0100

Congruence: add the scale() and affine_preimage() methods and use them in Congruence_System.