[PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da09734808a5377dfd91b691d2cfa41f13049489
Merge: 1c2978601db3e2701a4de1da80986c3ed84bad3e 490e191f4f9d54f21ff080a52ff61e7bbb4383fe
Author: Roberto Bagnara <bagnara at 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=490e191f4f9d54f21ff080a52ff61e7bbb4383fe
Author: Roberto Bagnara <bagnara at 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=364dfbeafba14774884ce7d84373785d01f43d46
Author: Roberto Bagnara <bagnara at 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=88fdc38a0e2e9d49fc8c1940705302d22cb790ee
Author: Roberto Bagnara <bagnara at 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=56f7bba205d5941ac03bdf0d5fb211d3db334419
Author: Roberto Bagnara <bagnara at 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=e4ced22bfaf9e410719d47154dcc942ceffbeea0
Author: Roberto Bagnara <bagnara at 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=82085ae7fc2115e6218ce723cbc93ec4f07361b9
Author: Roberto Bagnara <bagnara at 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=d75793538dc649e9d985d16095a5a445fba4cd26
Author: Roberto Bagnara <bagnara at 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=eb5a736c101e176993d889f24a563bb3ff8ccd1e
Author: Roberto Bagnara <bagnara at 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=b23873fe14a7204ec856aae21209eaf1cc6ea3a9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Aug 20 15:49:20 2012 +0200

    Avoided non-constant pointers to function.
    Detected by ECLAIR service funpntr.