URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae7b3951caad8... Merge: 734d8127c33feaf13a2125c403dfc229c700cf09 3349ebad2d6197b22f4453e61f40ea5782bdf3e5 Author: Roberto Bagnara <bagnara@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=3349ebad2d619... Author: Roberto Bagnara <bagnara@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=70012d3f48c6a... Author: Roberto Bagnara <bagnara@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=2b53a49d3837c... Author: Roberto Bagnara <bagnara@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=88b390acbeb6e... Author: Roberto Bagnara <bagnara@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=c8e7c38d59d18... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu Jun 28 14:19:30 2012 +0200 Added AmatoPS12.