[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=37719b83d11dba82b8675ff901bba44949524994
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Feb 16 21:48:03 2012 +0100

    Prefer explicit tests against zero.
    Detected by ECLAIR service utypflag.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d4a79c9ad28ae210b8fc6b0c28567f56ffa841d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Feb 16 21:44:34 2012 +0100

    Prefer `while (true)' and `while (false)' wrt `while (1)' and `while(0)'.
    Detected by ECLAIR service utypflag.

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

    Prefer explicit tests against zero.
    Detected by ECLAIR service utypflag.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69c5683e1657ccc784c68a03e01cdae694af25ca
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Feb 16 21:37:02 2012 +0100

    Prefer explicit tests against zero.
    Detected by ECLAIR service utypflag.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b9312e845c29e6ee5fb555c3d877fe57b072d6c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Feb 16 21:33:25 2012 +0100

    Prefer explicit tests against zero.
    Do not abusing short-circuit operators (prefer explicit control flow).
    Detected by ECLAIR service utypflag.

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

    Prefer explicit test against zero.
    Detected by ECLAIR service utypflag.

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

    Prefer explicit usage of the istream::fail() method.
    Detected by ECLAIR service utypflag.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=77a999e4d467daa92a629cf4b32d5a5736fd901d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Feb 16 18:13:59 2012 +0100

    Rename as `const_bool_value' the "anonymous" enums encoding a bool value.