URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da09734808a53... Merge: 1c2978601db3e2701a4de1da80986c3ed84bad3e 490e191f4f9d54f21ff080a52ff61e7bbb4383fe Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed Aug 22 08:37:11 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=490e191f4f9d5... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed Aug 22 08:36:18 2012 +0200 Revert "Two comments turned into assertions." This reverts commit e4ced22bfaf9e410719d47154dcc942ceffbeea0. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=364dfbeafba14... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Tue Aug 21 21:05:46 2012 +0200 Avoided a couple of "magic constants". Detected by ECLAIR service nomagicc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88fdc38a0e2e9... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Tue Aug 21 17:16:24 2012 +0200 Comments should never be used for "commenting out" code. Detected by ECLAIR service cmntdout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56f7bba205d59... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Tue Aug 21 17:15:06 2012 +0200 Unusual and difficult-to-maintain comment removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4ced22bfaf9e... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Aug 20 22:29:26 2012 +0200 Two comments turned into assertions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82085ae7fc211... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Aug 20 21:33:27 2012 +0200 Do not declare more than one variable per declaration. Detected by ECLAIR service declgrup_srceline. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d75793538dc64... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Aug 20 16:51:41 2012 +0200 Avoided non-constant pointers to function. Detected by ECLAIR service funpntr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb5a736c101e1... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Aug 20 16:27:50 2012 +0200 Avoided non-constant pointers to function. Detected by ECLAIR service funpntr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b23873fe14a72... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Aug 20 15:49:20 2012 +0200 Avoided non-constant pointers to function. Detected by ECLAIR service funpntr.