[PPL-devel] [GIT] ppl/ppl(master): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1156e92516dfaac8b43975b4b33f70702654359
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu May 3 21:40:34 2012 +0200

    Make sure template specializations are declared.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3500e3bcc9c9fc8fd4ec28719f8c7390609624fe
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu May 3 19:11:24 2012 +0200

    Avoid implicit conversions changing integer signedness.
    Detected by ECLAIR service utypflag.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c49cfb2f3fa02461232fc6882555b377d6d4f44
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu May 3 15:55:11 2012 +0200

    Fixed indentation.
    Detected by ECLAIR service indntion.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af42e4fdf6e460ba597d43fe05e6905b38cb1fd1
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu May 3 15:17:34 2012 +0200

    Avoid C-style casts.
    Detected by ECLAIR service castexpr.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b36a41761e478197741577dd966ac4c75187b516
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu May 3 14:55:23 2012 +0200

    Prefer PPL_UNREACHABLE to PPL_ASSERT(false).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9e934bb246a16678befe62ebc5d12a1149253ff
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed May 2 08:55:48 2012 +0200

    Avoid redundant explicit casts.
    Detected by ECLAIR service castexpr.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=afcc028e5c82b5920a2e30dfaf31ab35d37ef3e1
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed May 2 08:23:11 2012 +0200

    Avoid unsigned integer wrap-around in constant expressions.
    Detected by ECLAIR service cnstwrap.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42943b3d8e7080b2ca6b46a523ad54272b6f6c32
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue May 1 15:18:29 2012 +0200

    Prefer parentheses to excessive reliance on C++ operator precedence rules.
    Detected by ECLAIR service exprprns.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10a80c332f471e2fa5a749929f3a20e92b137c4f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue May 1 15:15:29 2012 +0200

    Reduced scope of local variable.
    Detected by ECLAIR service minscope.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=329c4acd3eadc150f3f85705c84b84e6c3fb60b4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue May 1 15:13:33 2012 +0200

    Fixed comment about case-block termination.
    Detected by ECLAIR service swchsynt.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=294b398c6e9e3d6fc0395d34734e380854398aea
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue May 1 15:10:49 2012 +0200

    Fixed file comment block.
    Detected by ECLAIR service cmntfile.