URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1156e92516df... Author: Enea Zaffanella <zaffanella@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=3500e3bcc9c9f... Author: Enea Zaffanella <zaffanella@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=6c49cfb2f3fa0... Author: Enea Zaffanella <zaffanella@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=af42e4fdf6e46... Author: Enea Zaffanella <zaffanella@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=b36a41761e478... Author: Enea Zaffanella <zaffanella@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=f9e934bb246a1... Author: Enea Zaffanella <zaffanella@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=afcc028e5c82b... Author: Enea Zaffanella <zaffanella@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=42943b3d8e708... Author: Enea Zaffanella <zaffanella@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=10a80c332f471... Author: Enea Zaffanella <zaffanella@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=329c4acd3eadc... Author: Enea Zaffanella <zaffanella@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=294b398c6e9e3... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Tue May 1 15:10:49 2012 +0200 Fixed file comment block. Detected by ECLAIR service cmntfile.