URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f4b4ad00e08b... Author: Enea Zaffanella zaffanella@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=a62e7d228f4fd... Author: Enea Zaffanella zaffanella@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=45c9de9d9cf25... Author: Enea Zaffanella zaffanella@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=b4b3f73fa0950... Author: Enea Zaffanella zaffanella@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=1ed36cb18af6d... Author: Enea Zaffanella zaffanella@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=21b5672f913c1... Author: Enea Zaffanella zaffanella@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=96e0e977f9e55... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Jan 2 09:02:52 2012 +0100

Removed useless return of a void-typed expression.