[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=c26fbfa09f6b0d47770e1059db921f16fc9b855f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 28 15:12:11 2012 +0200

    Prefer set_space_dimension(d) to 0*Variable(d-1) trick.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=669dea90d0630da09c8ab07cca0a8f6459ae181d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 28 15:10:14 2012 +0200

    Prefer set_space_dimension(d) to 0*Variable(d-1) trick.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2831e3553ecd7e8b0f17564ccbfcc9dad9fc233
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 28 15:06:38 2012 +0200

    Prefer set_space_dimension(d) to 0*Variable(d-1) trick.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a00d503dc56356ad57676e09e5f81792b264c3cb
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 28 15:01:42 2012 +0200

    Prefer set_space_dimension(d) to 0*Variable(d-1) trick.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=763a8e66aba920854e78487d1bd997cd9c1ada69
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 28 12:52:12 2012 +0200

    Added static data member recording default representation choice for
    the constraint/generator systems stored in a Polyhedron object.
    Current default values are DENSE.
    Use these values when constructing the con_sys and gen_sys data members.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c892e0ff9c53ce5fc6b995bb52f341623ca93ce0
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 28 12:47:30 2012 +0200

    Avoid kludge for setting space dimension of congruence system.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c73f2c9a24c67ac1c5caafdd967a73a2fdfbbc75
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 28 12:42:15 2012 +0200

    Improved methods (minimized_) constrints() and congruences().
    
    Set system space dimension using appropriate method, getting rid of kludge.
    Prefer early return, thereby simplifying the control flow.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d43258ac2145c1d9e385e2e33d041dc3dfb63ae
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 28 12:40:26 2012 +0200

    By default, use a SPARSE representation for all syntactic representations.