URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6885ff581361... Merge: 3f052c1b8df2482f0adeb0c4627c7ede4876bc26 ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Oct 16 09:16:23 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff5b0796773b3... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Oct 16 09:11:15 2010 +0200

Fixed a bug whereby the argument of all the methods unconstrain(Variable var) was not checked correctly for space dimension compatibility. (Thanks to Volker Braun.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97150b49891b3... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Oct 10 17:41:52 2010 +0200

Documented precondition of method Bit_Matrix::remove_trailing_columns().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3592af215e8a5... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Oct 10 16:34:30 2010 +0200

In method Bit_Matrix::OK(), do also check the first Bit_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27a720c897ec8... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 3 17:13:33 2010 +0200

Sparse_Row: optimize linear_combine(), avoiding the insertion of too many elements.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f743717517f... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 3 09:24:55 2010 +0200

Dense_Matrix, Sparse_Matrix: remove useless typedefs for row_type.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58d7324061625... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Oct 1 15:34:50 2010 +0200

CO_Tree: fix comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e80dc1425ebb... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Sep 27 10:51:10 2010 +0200

CO_Tree: rename the size field into size_, and add a size() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cb542d4fe761... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Sep 27 10:50:20 2010 +0200

CO_Tree: avoid shadowing a field with a local variable, in external_memory_in_bytes().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6475eea32239d... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Sep 26 14:51:09 2010 +0200

Dense_Row: mark the constructor from a Sparse_Row as explicit.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1088ad4fc32d... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Sep 26 14:50:32 2010 +0200

Sparse_Row: add an assignment operator from a Dense_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9707c1e408c1a... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Sep 26 14:45:16 2010 +0200

Sparse_Row: copy flags too, in the constructor from a Dense_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b123a9d25288... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Sep 26 14:44:35 2010 +0200

Dense_Row: add a constructor and an assignment operator that take a Sparse_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3426ae69e61cd... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Sep 26 14:43:53 2010 +0200

CO_Tree: fix bug in the constructor from a sequence and remove its second argument, it is used in assertions only.