URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e420b1e2114d... Merge: cd5191f18812ded12343b4fa936641d04761ffed 3e2fe287b4efd3b58127951793cc00ffe0ca21c0 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Sep 8 07:18:34 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e2fe287b4efd... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue Sep 7 23:13:17 2010 +0200

Fixed interval construction from strings.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22c92f00fb9ed... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Sep 7 20:01:44 2010 +0200

Announced a couple of new features and bugfixes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f949a0fced317... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Sep 7 19:31:56 2010 +0200

Mention the use of sparse matrices in MIP and PIP solvers.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46655e57eb7d6... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Sep 7 19:05:39 2010 +0200

MIP_Problem: fix some debug messages and comments, in OK().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8df25ad97af26... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Sep 7 18:49:40 2010 +0200

MIP_Problem: fix typos in some debug messages and comments, in OK().