[PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae7b3951caad85edfd7215318f888ec80ebb162d
Merge: 734d8127c33feaf13a2125c403dfc229c700cf09 3349ebad2d6197b22f4453e61f40ea5782bdf3e5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jun 29 14:45:34 2012 +0200

    Merge branch 'master' into ppl-1_0-branch

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3349ebad2d6197b22f4453e61f40ea5782bdf3e5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jun 29 14:36:58 2012 +0200

    Use std::floor() and std::frexp() instead of floorl() and frexpl(), respectively.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70012d3f48c6aee21fd8e82617f70141461926fe
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jun 29 10:02:33 2012 +0200

    Typo fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b53a49d3837c63dedad3ec660305c844b9d1e88
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jun 29 10:01:54 2012 +0200

    Typo fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88b390acbeb6e37564592b06f282ec1fa080f928
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jun 28 14:20:36 2012 +0200

    Spurious blank line removed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8e7c38d59d18f1e04f73f4f7671e0a25bace0ed
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jun 28 14:19:30 2012 +0200

    Added AmatoPS12.