URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0821dbbf4a6ed... Merge: bdba1dbf2ccebf5249fd8237017ef391bbea2dc3 bf1edca5e0ddb03674a35218dccce6bc421469e2 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 16:11:43 2011 +0100

Merge branch 'master' into sparse_matrices

Conflicts: src/Polyhedron_public.cc

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

Polyhedron: fix an invalid reference bug in generalized_affine_image().

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

Linear_System: replace the add_*rows() methods with insert*() methods.

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

Constraint_System, Generator_System: inherit from Linear_System<Linear_Row> with the `public' specifier.

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

Linear_System: make the add_*row() methods private.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9de6d262ea8ed... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 14:24:42 2011 +0100

Grid_Generator_System: use the Linear_System::insert*() methods instead of the add*_row() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c8702a0b81b6... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 14:24:33 2011 +0100

Generator_System: use the Linear_System::insert*() methods instead of the add*_row() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69ec030d6bb9b... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 14:24:10 2011 +0100

Polyhedron: use the Linear_System::insert*() methods instead of the add*_row() methods.

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

Linear_System: add the insert_recycled() and insert_pending_recycled() methods.

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

Linear_System: rename the add_rows_and_columns() method into add_universe_rows_and_columns().

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

Linear_System: add more topology checks.

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

Linear_System: keep the pending rows when constructing temporary copies of Linear_System objects.

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

Linear_System: clarify a comment.

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

Polyhedron: simplify add_recycled_generators().

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

Linear_Row, Linear_Row::Flags: add a set_topology() method.

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

Linear_System: avoid useless copies in insert() and insert_pending().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f8d776bd22ea... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 11:59:22 2011 +0100

Add a TODO comment.

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

Linear_System: add the add_recycled_rows() and add_recycled_pending_rows() methods and use them in Polyhedron.

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

Linear_System: don't modify sortedness in add_recycled_pending_row(), and simplify some code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=436f439dbb68d... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 10:32:52 2011 +0100

Linear_System: add an add_recycled_pending_row() method and change the semantics of add_recycled_row().

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

Swapping_Vector: avoid copying when reallocating the vector in push_back().

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

Linear_System is now implemented with a Swapping_Vector instead of a Matrix.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2da57c074881d... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 10:06:44 2011 +0100

Linear_System: add a TODO comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38c4908badefe... Merge: f4214b110c1f55271543717cb18cc8a2e5ace65f a01fecf4cde756aaefe88b8f309f9bdf3e07b670 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Feb 5 09:59:27 2011 +0100

Merge branch 'master' into sparse_matrices

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

Grid: avoid using an invalid reference in the constructor from a Box.