URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f62e48e207097... Merge: 7bfd19aec5b224dab0d853f4904f5118e8c77fde e86e2471429982e8141789e4adeb6ddd0cc1e326 Author: Roberto Bagnara bagnara@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=e86e247142998... Author: Roberto Bagnara bagnara@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=e8fa0e1fbc060... Author: Roberto Bagnara bagnara@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=9e4dbdd8255a6... Author: Roberto Bagnara bagnara@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=2cda93e86a8ba... Merge: 1242e420c15da5fa9f671f4d93227ced7272f035 4e2145f8d498bc3ea055a06a1244de677b7bbab5 Author: Roberto Bagnara bagnara@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=1242e420c15da... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Dec 21 18:28:30 2009 +0100

Never leave operators at end of line.