URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7d915b5e2c11... Author: Enea Zaffanella zaffanella@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=f27f93acfbf30... Author: Enea Zaffanella zaffanella@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=d7693be2e3933... Author: Enea Zaffanella zaffanella@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=3507a9471ca5a... Author: Enea Zaffanella zaffanella@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=75cfbc2340b87... Author: Enea Zaffanella zaffanella@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=b09c76dc54fe5... Author: Enea Zaffanella zaffanella@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.