URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1066414f82e54... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 19:32:31 2011 +0100

Grid: avoid using the non-const operator[] on systems (#4)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=418640d30ab81... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 19:25:25 2011 +0100

Grid: avoid using the non-const operator[] on systems (#3)

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

Grid: avoid using the non-const operator[] on systems (#2)

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

Grid: avoid using the non-const operator[] on systems (#1)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf351f46f4e64... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 19:16:22 2011 +0100

Grid: change the signature of multiply_grid() and adapt client code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3dfb671412e0f... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 18:44:37 2011 +0100

Grid: change the signature of reduce_reduced() and adapt client code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dbc9c4cf0c08... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 18:44:10 2011 +0100

Congruence_System: add a typedef for internal_row_type and the release_rows()/take_ownership_of_rows() methods.

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

Grid: change the signature of reduce_parameter_with_line() and adapt client code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c719d8a9d19e... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 18:04:15 2011 +0100

Grid_Generator_System: avoid using the non-const operator[] (#2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c5072085f171... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 18:04:05 2011 +0100

Grid_Generator_System: avoid using the non-const operator[] (#1).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4702196856c61... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 17:56:38 2011 +0100

Generator_System: avoid using the non-const operator[] (#2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b25fe1b6e255... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 17:45:53 2011 +0100

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

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a1940be48220... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 17:28:37 2011 +0100

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

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd6416dbff3eb... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 17:13:27 2011 +0100

Linear_System: call swap_rows() when needed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7b642dfd915f... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 17:12:46 2011 +0100

Linear_System: avoid using Linear_System::iterator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e5bd81f9594e... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 17:09:37 2011 +0100

Linear_System: call set_sorted(true) in sort_pending_and_remove_duplicates().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30ba5b51e1299... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 17:04:01 2011 +0100

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

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecc7c6c700e0a... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 16:52:15 2011 +0100

Linear_System: add a typedef for internal_row_type.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c524018e96f9... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 16:45:15 2011 +0100

Linear_System: take_ownership_of_rows() now considers all rows as non-pending.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45b17393d6b4e... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 16:44:33 2011 +0100

Linear_System: add some assertions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d2b2891d5019... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 16:43:20 2011 +0100

Linear_System: rewrite the ascii_load() method to honour invariants.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6eca90bd32bb4... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Feb 7 13:03:13 2011 +0100

Matrix: don't assume thar Swapping_Vector's iterators are the same of std::vector.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f05b18d4b7042... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Feb 6 21:32:51 2011 +0100

Linear_System: make private methods and fields protected.