URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbc2d08da5e90... Author: Roberto Bagnara roberto.bagnara@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=270d1d0c5e099... Author: Roberto Bagnara roberto.bagnara@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=b1f5eb2caa2b3... Author: Roberto Bagnara bagnara@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=10368f7e6fda9... Author: Roberto Bagnara roberto.bagnara@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=7a2ba6b6089aa... Author: Roberto Bagnara roberto.bagnara@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=fe5b8f435d431... Author: Patrik Pomelli patrik.pomelli@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@bugseng.com

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36d6c98178210... Author: Patrik Pomelli patrik.pomelli@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@bugseng.com

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4125de9f40fc... Author: Roberto Bagnara roberto.bagnara@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=cf56af994e360... Author: Patrik Pomelli patrik.pomelli@bugseng.com Date: Sat Jun 21 18:44:47 2014 +0200

Fixed brace position.

Signed-off-by: Roberto Bagnara roberto.bagnara@bugseng.com

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d652b0b9d20a... Author: Roberto Bagnara bagnara@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=d2c305abdf9bd... Author: Patrik Pomelli patrik.pomelli@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@cs.unipr.it

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

Brace position fixed.

Signed-off-by: Roberto Bagnara roberto.bagnara@bugseng.com

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c040ae004351... Author: Roberto Bagnara bagnara@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=178fed3200d9b... Author: Roberto Bagnara bagnara@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=b8be0e6326fe0... Author: Roberto Bagnara bagnara@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=15c8505625e41... Author: Roberto Bagnara bagnara@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=a62a3aa3cec42... Author: Patrik Pomelli patrik.pomelli@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@cs.unipr.it

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b66d454234884... Author: Roberto Bagnara roberto.bagnara@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=00014551b6abf... Author: Patrik Pomelli patrik.pomelli@bugseng.com Date: Mon Jun 16 09:02:53 2014 +0200

Readded newlines erased by mistake.

Signed-off-by: Roberto Bagnara roberto.bagnara@bugseng.com

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d637a0f6e96e... Author: Roberto Bagnara bagnara@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=5d0fb61734079... Author: Patrik Pomelli patrik.pomelli@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@cs.unipr.it

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e46c22014f25... Merge: a483b63739b1dd78bda63892043873e0205c2ab3 fe759bb940ffa3083ec6eca0c8221d388bd2bb64 Author: Roberto Bagnara roberto.bagnara@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=a483b63739b1d... Author: Roberto Bagnara bagnara@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=2ea46ae16ed04... Author: Patrik Pomelli patrik.pomelli@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@cs.unipr.it

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5992421fdd82d... Author: Patrik Pomelli patrik.pomelli@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@cs.unipr.it

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

Previous commit fixed.

Signed-off-by: Roberto Bagnara roberto.bagnara@bugseng.com

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3dc0ba64a443... Author: Patrik Pomelli patrik.pomelli@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@bugseng.com