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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e420b1e2114dafbb7f8a19763bd5debbd64cc5a
Merge: cd5191f18812ded12343b4fa936641d04761ffed 3e2fe287b4efd3b58127951793cc00ffe0ca21c0
Author: Roberto Bagnara <bagnara at 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=3e2fe287b4efd3b58127951793cc00ffe0ca21c0
Author: Abramo Bagnara <abramo.bagnara at 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=22c92f00fb9ed907226847676345b76f85081451
Author: Enea Zaffanella <zaffanella at 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=f949a0fced3173a45aaab7f12579a82a15aa8674
Author: Enea Zaffanella <zaffanella at 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=46655e57eb7d63ccf42ee7ed51cb74139c7a3aca
Author: Marco Poletti <poletti.marco at 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=8df25ad97af26345ee7d77a65120abee159ceede
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 7 18:49:40 2010 +0200

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