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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f4b4ad00e08b0d4e752764c0ffab6b60229cfd1
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jan 2 09:53:59 2012 +0100

    By default, use the default_representation in constructors.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a62e7d228f4fdd3a33b17474cb7e7fe0e922bbf2
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jan 2 09:50:27 2012 +0100

    Restored some checks in OK() methods for constraint/generator systems.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45c9de9d9cf25fe7a1bac59d0141cfcabbcf7993
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jan 2 09:33:30 2012 +0100

    Fixed bug spotted in test12() in tests/BD_Shape/boundedaffinepreimage1.cc.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4b3f73fa09508299b9dffd86931c6a97d776c14
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jan 2 09:29:14 2012 +0100

    Added test showing a bug in BD_Shape::bounded_affine_preimage().
    NOTE: the bug only affects the sparse_matrices branch and was synthesized
    from a corresponding Java interface test.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ed36cb18af6d0565a9dca7ddcff75f82f96a7a2
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jan 2 09:17:37 2012 +0100

    Fixed a bug in generalized_affine_image.
    
    Under quite specific conditions, a generalized affine image application
    using a strict relation symbol was resulting in undefined behavior due
    to the use of invalid references.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21b5672f913c196e8e1547d2c8b86b3a4d5ec8f2
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jan 2 09:11:01 2012 +0100

    Fixed a couple of comments and/or code layout issues.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96e0e977f9e5577ee61cefa56759e3a063abac83
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jan 2 09:02:52 2012 +0100

    Removed useless return of a void-typed expression.