[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=f69b86061855ea896f209f5caa78dc1b26fdbd88
Merge: 12f6d4872bc274aaf7f068ff35b1c6c209a7a39a 9784b8165b6cb1dea5eb6d20b4cebca7ecc780fd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Dec 19 12:37:54 2009 +0100

    Merge branch 'master' into floating_point

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9784b8165b6cb1dea5eb6d20b4cebca7ecc780fd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Dec 19 11:46:22 2009 +0100

    Added support for SWI-Prolog version 5.8 and later.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f07483112d73b17ace5aa7c7733b5b31fa6126e1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Nov 26 11:17:39 2009 +0100

    One item added.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=134489d82662c07fc03fdc579264e6a0933469c3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Nov 23 07:28:50 2009 +0100

    Item added.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6f503bc22cddf805e959ed26f53f5825ffd763e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Oct 22 22:19:52 2009 +0200

    Refer to PPL 0.11, not 0.10.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=513d2127e55faa6f5e7d29938b7315203a712df2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Sep 24 16:34:32 2009 +0200

    Fixed operator>>(std::istream&, Interval<Boundary, Info>&).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccd16569a7d2ce0f02f33c81d765970ebd4213dd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Sep 24 16:32:31 2009 +0200

    Spurious print statement removed.