URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c26fbfa09f6b0... Author: Enea Zaffanella <zaffanella@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=669dea90d0630... Author: Enea Zaffanella <zaffanella@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=a2831e3553ecd... Author: Enea Zaffanella <zaffanella@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=a00d503dc5635... Author: Enea Zaffanella <zaffanella@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=763a8e66aba92... Author: Enea Zaffanella <zaffanella@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=c892e0ff9c53c... Author: Enea Zaffanella <zaffanella@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=c73f2c9a24c67... Author: Enea Zaffanella <zaffanella@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=4d43258ac2145... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Wed Mar 28 12:40:26 2012 +0200 By default, use a SPARSE representation for all syntactic representations.