Module: ppl/ppl Branch: compliance Commit: b1f5eb2caa2b3459167784509b2cae4a94920a46 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.

---

src/Checked_Number_defs.hh | 4 ++- src/Checked_Number_inlines.hh | 4 ++- src/Linear_Expression_defs.hh | 26 ++++++++++++++------- src/Linear_Expression_inlines.hh | 32 +++++++++++++++++---------- src/checked_int_inlines.hh | 44 ++++++++++++++++++++++++++++--------- src/fpu-ia32.cc | 4 ++- 6 files changed, 79 insertions(+), 35 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b1f5eb2ca...