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.