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

Roberto Bagnara roberto.bagnara at bugseng.com
Thu Aug 21 21:22:21 CEST 2014 

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbc2d08da5e9062670d62e7ff37aff35e7cec601
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Mon Jul 28 21:45:24 2014 +0200

    Use a monotonic indentation style.
    Fixes violations detected by ECLAIR checker B.MONOINDENT.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=270d1d0c5e09996d077b52a21a85bd6c7ca09a07
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sun Jul 27 09:29:04 2014 +0200

    Comments should never be used for "commenting out" code.
    Fixes violations of rule EP1.17 detected by ECLAIR.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1f5eb2caa2b3459167784509b2cae4a94920a46
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Jul 2 16:58:24 2014 +0200

    Keep source lines to a length of 120 characters or less.
    Fixes violations of rule LP1.41 detected by ECLAIR.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10368f7e6fda94a39706d476e8fda445aff2cd36
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Mon Jun 30 18:00:31 2014 +0200

    Avoid tabs. Fixes violations of rule UCRP1.RS1 detected by ECLAIR.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a2ba6b6089aacd1abb3af0f8171b11c594879dd
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Mon Jun 30 14:33:02 2014 +0200

    Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe5b8f435d431d9d64e0174c752aa856d1c61132
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Mon Jun 30 12:00:03 2014 +0200

    Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR.
    
    Signed-off-by: Roberto Bagnara <roberto.bagnara at bugseng.com>

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36d6c98178210d2180d25997fd40a2431f59a1af
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Mon Jun 30 02:32:03 2014 +0200

    Added missing braces. Fixes violations of rule MP1.6-3-1 detected by ECLAIR.
    
    Signed-off-by: Roberto Bagnara <roberto.bagnara at bugseng.com>

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4125de9f40fc1c1a879b7337b1f0d8196e3ef02
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Wed Jun 25 09:15:41 2014 +0200

    Fixed permissions.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf56af994e36020b7ef73f9f8e61409333bbd062
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Sat Jun 21 18:44:47 2014 +0200

    Fixed brace position.
    
    Signed-off-by: Roberto Bagnara <roberto.bagnara at bugseng.com>

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d652b0b9d20a32cb8fb02faddae8943514dbcc7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jun 24 12:53:52 2014 +0200

    Deleted trailing whitespace.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2c305abdf9bd2d600d5f6e3fd1fda974550edf3
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Tue Jun 24 08:48:41 2014 +0200

    Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR.
    
    Signed-off-by: Roberto Bagnara <bagnara at cs.unipr.it>

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd70cc6e44ca2db50ec8eabb7b62047611bca249
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Sat Jun 21 12:17:47 2014 +0200

    Brace position fixed.
    
    Signed-off-by: Roberto Bagnara <roberto.bagnara at bugseng.com>

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c040ae004351cf05e0f37f29d3e7a282776b01c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jun 20 11:27:20 2014 +0200

    Typo fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=178fed3200d9b837ca003f790e8969c2c029801e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jun 20 11:18:25 2014 +0200

    Permissions fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8be0e6326fe0aef445832b58442e7ad057b4586
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jun 20 11:15:47 2014 +0200

    Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15c8505625e4112c862377918d57225e7d88fb6d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jun 20 11:10:24 2014 +0200

    Deleted trailing whitespace.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a62a3aa3cec4271ac871e33d85854b5f834a2f09
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Thu Jun 19 18:33:33 2014 +0200

    Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR.
    
    Signed-off-by: Roberto Bagnara <bagnara at cs.unipr.it>

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b66d4542348843ce6ac4fe8efc6f3686f0055117
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Wed Jun 18 21:56:56 2014 +0200

    Deleted trailing whitespace.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00014551b6abf9de80d4ef436628c70c3bd74f7a
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Mon Jun 16 09:02:53 2014 +0200

    Readded newlines erased by mistake.
    
    Signed-off-by: Roberto Bagnara <roberto.bagnara at bugseng.com>

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d637a0f6e96e49524dd665b2cde2ad1dddce12d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Jun 14 06:02:43 2014 +0200

    Removed trailing whitespace.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d0fb617340797024b1412e4895715af39b427a3
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Sat Jun 14 02:24:01 2014 +0200

    Added missing braces. Fixes violations of rule MP1.6-3-1 detected by ECLAIR.
    
    Signed-off-by: Roberto Bagnara <bagnara at cs.unipr.it>

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e46c22014f25eb412cd3a172e3e36d3328edd3b
Merge: a483b63739b1dd78bda63892043873e0205c2ab3 fe759bb940ffa3083ec6eca0c8221d388bd2bb64
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sat Jun 14 05:57:00 2014 +0200

    Merge branch 'master' into compliance.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a483b63739b1dd78bda63892043873e0205c2ab3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jun 12 13:49:18 2014 +0200

    Missing brace added.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ea46ae16ed04657ba0577bd3b8e824099e5c08e
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Thu Jun 12 12:57:37 2014 +0200

    Added missing braces. Fixes violations of rules MP1.6-3-1 and MP1.6-4-1 detected by ECLAIR.
    
    Signed-off-by: Roberto Bagnara <bagnara at cs.unipr.it>

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5992421fdd82d7172b88a5c0a98310a2124dee3d
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Mon Jun 9 15:44:24 2014 +0200

    Do not declare more than one variable per declaration. Fixes violations of rule CP1.DCL04 detected by ECLAIR.
    
    Signed-off-by: Roberto Bagnara <bagnara at cs.unipr.it>

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=333a57b84a1806f10706f994cf6f7caa130bcceb
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Mon Jun 9 12:00:23 2014 +0200

    Previous commit fixed.
    
    Signed-off-by: Roberto Bagnara <roberto.bagnara at bugseng.com>

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3dc0ba64a4437f7a33a8120dd99d4ceeb7537f7
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Mon Jun 9 10:25:27 2014 +0200

    Added missing braces. Fixes violations of rules MP1.6-3-1 and MP1.6-4-1 detected by ECLAIR
    
    Signed-off-by: Roberto Bagnara <roberto.bagnara at bugseng.com>

More information about the PPL-devel mailing list