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.