[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=b250e9ec20fb7591220070e2395cb6b89646f205
Merge: 951fdb8a9ff89a2ae59fcc1f726a2d4b05af445a 5c95fc0eab6a38442751ed16c6cfa9d538917f3f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Oct 19 08:37:09 2010 +0200

    Merge branch 'master' into floating_point

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c95fc0eab6a38442751ed16c6cfa9d538917f3f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Oct 19 08:15:12 2010 +0200

    Improved precision of Octagonal_Shape::affine_image().
    The method was rather imprecise on sign-symmetry affine transformations.
    Also noted that strong reduction is preserved in that case.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78ef497331ef00e045da0428105fdfae47165cf3
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Oct 17 08:17:46 2010 +0200

    Dense_Row: remove the unused assign() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cf4362e714d714e0595a0d8baa73101220a3dbe
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Oct 16 17:18:04 2010 +0200

    Sparse_Matrix: add some methods, to be fully compatible with Dense_Matrix.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51b8b9197551f04bef467a5d3522e6d60ba86ac1
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Oct 16 17:17:45 2010 +0200

    Sparse_Row: add some methods, to be fully compatible with Dense_Row.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d535b8db149168861bfbb0b9d5880d01d14b4d0
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Oct 16 17:13:35 2010 +0200

    CO_Tree: add a max_size() static method.