[PPL-devel] [GIT] ppl/ppl(floating_point): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6885ff581361f02018b42bab8cc678d8e507e48
Merge: 3f052c1b8df2482f0adeb0c4627c7ede4876bc26 ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f
Author: Roberto Bagnara <bagnara at 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=ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f
Author: Roberto Bagnara <bagnara at 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=97150b49891b3cd74963f0e4382da44e1f9abc81
Author: Enea Zaffanella <zaffanella at 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=3592af215e8a58aac07e7e76a28c66246f2abc6a
Author: Enea Zaffanella <zaffanella at 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=27a720c897ec87c9854374630e9846d882e86e7b
Author: Marco Poletti <poletti.marco at 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=e9f743717517f834912473cf77d05db585b5e4e9
Author: Marco Poletti <poletti.marco at 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=58d73240616250bff7ab3afa63e102b9bd21d30f
Author: Marco Poletti <poletti.marco at 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=3e80dc1425ebb96e9bffed08629a34147772c22e
Author: Marco Poletti <poletti.marco at 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=3cb542d4fe761e30e8db4a59f596bec8fd2598ea
Author: Marco Poletti <poletti.marco at 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=6475eea32239dd296a8d849aeba82b0aab9dc4c1
Author: Marco Poletti <poletti.marco at 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=d1088ad4fc32dda6f9991418c712e8949c6bf45d
Author: Marco Poletti <poletti.marco at 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=9707c1e408c1a5897b8dd60a91ac66abe6fdab40
Author: Marco Poletti <poletti.marco at 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=5b123a9d25288e79ff2f8290ea9e6e6fd77dacc9
Author: Marco Poletti <poletti.marco at 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=3426ae69e61cdadccae6ff058cc1c9d89e522019
Author: Marco Poletti <poletti.marco at 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.