[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=d7d915b5e2c110dddebbf054d4b781f7c5ce6e0e
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 22 16:24:23 2012 +0100

    Macro PPL_ASSERT is not available in compiler.hh.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f27f93acfbf308ef6a7811306ab7c56bfbe5f7b7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 22 16:23:18 2012 +0100

    Let `indent' have type signed int, matching signature of std::setw().
    Detected by ECLAIR service utypflag.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7693be2e393346c52244298816350a22c2bc60f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 22 16:22:07 2012 +0100

    Fixed inclusion directive.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3507a9471ca5a94749d1931d6edd3d6c582be40b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 22 16:21:22 2012 +0100

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

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75cfbc2340b87b0adc85cc57440cca4715b7b5fc
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 22 15:28:44 2012 +0100

    Prefer using C_Integer traits rather than <climits> macros,
    thereby avoiding implicit conversions changing signedness.
    Detected by ECLAIR service utypflag.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b09c76dc54fe5f26fc7596772aaea2ef95861a8f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 22 15:25:44 2012 +0100

    Let `indent_level' have type signed int, matching signature of std::setw().
    Detected by ECLAIR service utypflag.