[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=f62e48e207097b1ca5b7d2542c968f500d850a81
Merge: 7bfd19aec5b224dab0d853f4904f5118e8c77fde e86e2471429982e8141789e4adeb6ddd0cc1e326
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Dec 28 20:27:49 2009 +0100

    Merge branch 'master' into floating_point

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e86e2471429982e8141789e4adeb6ddd0cc1e326
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Dec 28 20:26:04 2009 +0100

    Fixed several bugs.
    These consisted in using *_r() checked-number functions without
    actually checking the result.  Factorized the code to set the
    M parameter.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8fa0e1fbc060260e754373bf5a8b45b87174786
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Dec 22 19:25:39 2009 +0100

    Version number bumped.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e4dbdd8255a6e30e904e193884640d0e6874842
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Dec 22 19:20:54 2009 +0100

    Updated.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cda93e86a8ba9567265ca6a6a5b026b2b5e78dd
Merge: 1242e420c15da5fa9f671f4d93227ced7272f035 4e2145f8d498bc3ea055a06a1244de677b7bbab5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Dec 22 09:33:21 2009 +0100

    Merge branch 'floating_point'

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1242e420c15da5fa9f671f4d93227ced7272f035
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Dec 21 18:28:30 2009 +0100

    Never leave operators at end of line.