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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22b223fc02d677756b8ce88320e536fc52c05c05
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jan 4 17:48:15 2013 +0100

    Version number bumped.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=135638322d3d1b73e2e292d3047032b5a82cca3b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jan 3 21:26:06 2013 +0100

    Typo fixed.
    (Thanks to Chia-Hsun Cheng and Marco Bodrato.)

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1084b95029e793c32445772d4490e72bf6ac4333
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jan 3 21:20:16 2013 +0100

    Const-qualify immutable objects.
    Detected by ECLAIR service cnstpnte.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=225f9cb720778a131968d16f94c100da3bcc6c54
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jan 3 21:19:10 2013 +0100

    Typo fixed.
    (Thanks to Chia-Hsun Cheng and Marco Bodrato.)

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efd4b126fb23f8e039054f961bf844d0981fec06
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Jan 2 19:19:01 2013 +0100

    Const-qualify immutable objects.
    Detected by ECLAIR service cnstpnte.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=377a1734ef7a016d9c8852d3c1341d35311f4f19
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jan 1 21:40:48 2013 +0100

    Const-qualify immutable objects.
    Detected by ECLAIR service cnstpnte.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c84e435b5ce84410f173dd75dceb606bab7bc468
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Tue Jan 1 09:51:34 2013 +0100

    Const-qualify immutable objects.
    Detected by ECLAIR service cnstpnte.