URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c580f81244b... Author: Marco Poletti <poletti.marco@gmail.com> Date: Fri Jan 14 21:36:48 2011 +0100 Merge the matrix1 and densematrix1 tests. Move the sparserow1 test in the Polyhedron directory. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86714dcd0e85... Author: Marco Poletti <poletti.marco@gmail.com> Date: Fri Jan 14 21:35:18 2011 +0100 tests/Polyhedron/memory2: use Matrix<Dense_Row> instead of Dense_Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7b3af7f737b4... Author: Marco Poletti <poletti.marco@gmail.com> Date: Fri Jan 14 21:34:38 2011 +0100 tests/Polyhedron/linearsystem1: use Linear_System<Linear_Row> instead of Linear_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=807a4390e3fe3... Author: Marco Poletti <poletti.marco@gmail.com> Date: Fri Jan 14 21:32:06 2011 +0100 Dense_Row: add a clear() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4f498701ef11... Author: Marco Poletti <poletti.marco@gmail.com> Date: Fri Jan 14 19:26:50 2011 +0100 Revert "Generator: assert OK() in most constructors and non-const methods." This reverts commit 9d91a68c82983fd29c698ded4b088fb3b315b1cd. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bacf4245afb3... Author: Marco Poletti <poletti.marco@gmail.com> Date: Sat Jan 8 22:53:59 2011 +0100 Constraint: make some methods public and remove most friend declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee363135076aa... Author: Marco Poletti <poletti.marco@gmail.com> Date: Sat Jan 8 22:53:22 2011 +0100 Constraint: simplify operator>(const Linear_Expression&,conse Coefficient&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87d42aa70eb97... Author: Marco Poletti <poletti.marco@gmail.com> Date: Sat Jan 8 22:44:24 2011 +0100 Polyhedron: use Dense_Row::resize() in add_recycled_constraints(), improving performance and avoiding calls to the Constraint::set_is_inequality() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d09a15453f272... Author: Marco Poletti <poletti.marco@gmail.com> Date: Sat Jan 8 22:43:07 2011 +0100 Polyhedron: use Dense_Row::add_zeroes_and_shift() in concatenate_assign(), improving performance and avoiding calls to the Constraint::set_is_inequality() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=672f4837b6ab1... Author: Marco Poletti <poletti.marco@gmail.com> Date: Sat Jan 8 22:40:08 2011 +0100 Dense_Row: add an add_zeroes_and_shift() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=771c88ffd2c50... Author: Marco Poletti <poletti.marco@gmail.com> Date: Sat Jan 8 20:50:37 2011 +0100 Constraint: add some methods, to make its interface a superset of Linear_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9ccf2c1eba57... Author: Marco Poletti <poletti.marco@gmail.com> Date: Sat Jan 8 20:48:14 2011 +0100 Constraint.defs.hh: re-order the includes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45ac2f171b389... Author: Marco Poletti <poletti.marco@gmail.com> Date: Sat Jan 8 20:36:47 2011 +0100 Constraint: assert OK() in most constructors and non-const methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5263d2eeeca8... Author: Marco Poletti <poletti.marco@gmail.com> Date: Sat Jan 8 20:36:09 2011 +0100 Constraint: call strong_normalize() in the constructor from a Linear_Expression. Remove such calls in client code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73ee75716d523... Author: Marco Poletti <poletti.marco@gmail.com> Date: Sat Jan 8 20:33:33 2011 +0100 Constraint: simplify some methods.