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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02e818f7cd915af0e99ac755e1567932ec164992
Merge: abefc4529cb38ff95c24f85e9f0c6399a35880ad 54b366817e0798f9ce92d95a1fcc1ec59eb7406a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 1 14:25:03 2009 +0200

    Merge branch 'master' into bounded_arithmetic

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54b366817e0798f9ce92d95a1fcc1ec59eb7406a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 1 11:13:19 2009 +0200

    Fixed copy-and-paste mistakes.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb8d445441828c8b1cc53cc8903d15ce17f36ec
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 1 10:45:26 2009 +0200

    Indentation fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11807a6ba66634f7cb13698731ca4b992e127556
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 1 10:44:09 2009 +0200

    Useless returns removed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d908ff9dd2a0ba936757723b56713eda847409f1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 1 10:31:56 2009 +0200

    Fixed two code formatting glitches.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fe2ae64aa578ae01bd80c07f86b8a7dcd866169
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 1 07:30:29 2009 +0200

    Previous change reverted.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b066995711ae2cb8441faec05b44a81ba71c62ec
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Apr 30 22:10:16 2009 +0200

    Useless friend declaration removed.