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

Mon Mar 8 13:48:14 CET 2010

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d6afbff3e996d22916d24100128229062a83573
Merge: ec1ceeb8dffde588e0f407486dacb5781c8c1ac5 54bf68f9ee93822f8792c0d89d45ebd0b5823aee
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Mar 8 13:30:30 2010 +0100

    Merge branch 'master' into sparse_matrices

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54bf68f9ee93822f8792c0d89d45ebd0b5823aee
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Mar 8 16:24:38 2010 +0400

    Use \link ... \endlink consistently.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d054a83797b9b861addd7cdc5abac091edaf5865
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Mar 7 11:36:11 2010 +0100

    Corrected an invalid reference bug in PIP_Solution_Node::update_tableau().
    The addition of tableau rows invalidates previously computed references.
    Thanks to Marco Poletti for reporting this.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fad4a9428627c5d0ca8142567ac754ceab0e855
Author: François Galea <francois.galea at uvsq.fr>
Date:   Sun Mar 7 21:13:37 2010 +0100

    Eventually perform solution tree simplifications after incremental addition of parameter constraints.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f010ef5edd820af3fb4589c75c8c9be73b2930ac
Author: François Galea <francois.galea at uvsq.fr>
Date:   Sun Mar 7 20:27:09 2010 +0100

    Moved the compatibility_check static methods to PIP_Tree_Node.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7af846ade60e2c4e9bdd7595b80abd5776d4704
Author: François Galea <francois.galea at uvsq.fr>
Date:   Sun Mar 7 20:25:00 2010 +0100

    Added one more test for incremental solving.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22d7dc4353fca2fd99db605f498beddb3a649e01
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Mar 6 09:23:32 2010 +0100

    Corrected a couple of typos in the documentation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ed63be5fa24eb25acb75df25511c79ec20a79e5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Mar 6 08:31:33 2010 +0100

    Test 4 in digitalfilers1.cc overflows with 64-bits if assertions are on.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fa2669e96e9664f5de6abd64e723c7657fac52e
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Mar 5 18:09:15 2010 +0100

    Tests 20, 21 and 22 overflow on 8-bit coefficients (derived from test02).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be7b34ac18794498bbe6316fd831942a369c9cc4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 4 17:57:23 2010 +0100

    Encoded custom overflow conditions for digitalfilters1.cc tests 5 and 6.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c4b4cb73d97dc1e901f486c7693c342acff62484
Author: François Galea <francois.galea at uvsq.fr>
Date:   Thu Mar 4 14:14:05 2010 +0100

    Added a test for problem feasibility when incrementally adding parameter constraints.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a06b9697b655aa681e52e95cae2d9bff436e6b9
Author: François Galea <francois.galea at uvsq.fr>
Date:   Thu Mar 4 13:59:59 2010 +0100

    Added two tests for incremental addition of parametric constraints.
    Even though correct, the resulting solution trees can be simplified.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e961e540b837270dec1af5d31a65f726dfafa1ba
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Mar 4 10:09:37 2010 +0400

    Replaced using directives by using declarations.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca010b524e44674465d28e6cadb6767067e5b28
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Mar 3 22:13:57 2010 +0400

    Apparently GNU Hurd only supports ITIMER_REAL.
    (Thanks to Michael Tautschnig: http://www.cs.unipr.it/pipermail/ppl-devel/2010-March/016072.html).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aeb2709a41cb3d3e55ef5a260abcbd6a3c746946
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Mar 3 22:07:01 2010 +0400

    Proper spacing added to throw_syscall_error().
    (Thanks to Michael Tautschnig.)

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9c769a3992b86a941cbb9758c606bb20b253a69
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Mar 2 22:09:29 2010 +0100

    Detected several overflows in tests 5 and 6 of digitalfilters1.cc.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b72c39080c692f646f93f5696312fd1ed371d539
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Mar 2 22:07:29 2010 +0100

    Adopted a more flexible implementation for the DO_TEST* macros.
    (Based on a set of macros provided by Abramo Bagnara.)

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6503e77440bc1ab0482fa58fcd6fad7043d01cbf
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Mar 2 14:59:10 2010 +0100

    Made a pass on the documentation of class PIP_Problem.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=802e03131e75ff1962b42a6b071afca7cdf65b85
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Mar 1 23:58:07 2010 +0100

    Method PIP_Tree_Node::solve() now checks context feasibility when needed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=893ad34ee7a5e376f94cd8ef7a49168c30021dd7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Mar 1 23:57:03 2010 +0100

    Corrected typo in test19().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8daf23edd9ad7af29aa77ca72740ffe7a95f05ec
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Mar 1 23:43:41 2010 +0100

    Several minor improvements to the PIP_Problem resolution process.
    Reorganized helper functions update_context() and compatibility_check().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90f18fa7da955d2a811e70d8927ba7c283205e7b
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Mon Mar 1 11:05:37 2010 +0000

    The wrap_assign has only been added to the C interface
    so the procedure must be local to the C interface.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a65a2985d7b8856807ee8b4d6390fa57530ec20
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Mar 1 11:15:05 2010 +0100

    Completed removal of support for circular intervals.
    
    Removed now ambiguous method CC76_narrowing_assign().
    While at it, also wrapped a few long lines.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57c7504c6e09c1d523e6286f792580a9e0c2af76
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Mon Mar 1 08:45:34 2010 +0000

    Added C interface for wrap_assign.
    Minor NELS improvements to documentation describing Wrapping Operator
    (should be checked by the author of these notes).