[PPL-devel] [GIT] ppl/ppl(master): Use <> brackets for system and standard library headers only; use "" quotes for all other headers.

Roberto Bagnara bagnara at cs.unipr.it
Mon Oct 31 17:49:51 CET 2011


Module: ppl/ppl
Branch: master
Commit: 6eb2769ec8611a129e2650e529a03e6ddffa3b63
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6eb2769ec8611a129e2650e529a03e6ddffa3b63

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Oct 31 17:36:25 2011 +0100

Use <> brackets for system and standard library headers only; use "" quotes for all other headers.
Detected by ECLAIR service hedrbrks.

---

 src/Affine_Space.cc          |    3 +--
 src/BD_Shape.cc              |    2 +-
 src/BHRZ03_Certificate.cc    |    4 +---
 src/Bit_Matrix.cc            |    3 +--
 src/Bit_Row.cc               |    3 +--
 src/Box.cc                   |    2 +-
 src/CO_Tree.cc               |    3 +--
 src/C_Polyhedron.cc          |    3 +--
 src/Checked_Number.cc        |    2 +-
 src/Coefficient.cc           |    3 +--
 src/Concrete_Expression.cc   |    5 ++---
 src/Congruence.cc            |    4 +---
 src/Congruence_System.cc     |    3 +--
 src/Constraint.cc            |    3 +--
 src/Constraint_System.cc     |    3 +--
 src/Dense_Matrix.cc          |    3 +--
 src/Dense_Row.cc             |    8 +++-----
 src/Float.cc                 |    2 +-
 src/Generator.cc             |    4 +---
 src/Generator_System.cc      |    3 +--
 src/Grid_Certificate.cc      |    4 +---
 src/Grid_Generator.cc        |    3 +--
 src/Grid_Generator_System.cc |    2 +-
 src/Grid_Status.cc           |    5 ++---
 src/Grid_chdims.cc           |    3 +--
 src/Grid_conversion.cc       |    3 +--
 src/Grid_nonpublic.cc        |    3 +--
 src/Grid_public.cc           |    3 +--
 src/Grid_simplify.cc         |    3 +--
 src/Grid_widenings.cc        |    4 +---
 src/H79_Certificate.cc       |    4 +---
 src/Init.cc                  |    3 +--
 src/Linear_Expression.cc     |    3 +--
 src/Linear_Form.cc           |    3 +--
 src/Linear_Row.cc            |    3 +--
 src/Linear_System.cc         |    3 +--
 src/MIP_Problem.cc           |    2 +-
 src/NNC_Polyhedron.cc        |    3 +--
 src/Octagonal_Shape.cc       |    2 +-
 src/PIP_Problem.cc           |    2 +-
 src/PIP_Tree.cc              |    3 +--
 src/Partial_Function.cc      |    2 +-
 src/Ph_Status.cc             |    5 ++---
 src/Pointset_Ask_Tell.cc     |    2 +-
 src/Pointset_Powerset.cc     |    2 +-
 src/Poly_Con_Relation.cc     |    6 ++----
 src/Poly_Gen_Relation.cc     |    6 ++----
 src/Polyhedron_chdims.cc     |    3 +--
 src/Polyhedron_nonpublic.cc  |    3 +--
 src/Polyhedron_public.cc     |    4 ++--
 src/Polyhedron_widenings.cc  |    3 +--
 src/Row_Flags.cc             |    3 +--
 src/Scalar_Products.cc       |    3 +--
 src/Sparse_Matrix.cc         |    3 +--
 src/Sparse_Row.cc            |    3 +--
 src/Variable.cc              |    2 +-
 src/Variables_Set.cc         |    2 +-
 src/Weight_Profiler.cc       |    2 +-
 src/c_streambuf.cc           |    3 +--
 src/checked.cc               |    2 +-
 src/conversion.cc            |    3 +--
 src/fpu-ia32.cc              |    2 +-
 src/globals.cc               |    3 +--
 src/minimize.cc              |    2 +-
 src/mp_std_bits.cc           |    2 +-
 src/simplify.cc              |    3 +--
 src/stdiobuf.cc              |    3 +--
 src/termination.cc           |    3 +--
 src/version.cc               |    2 +-
 src/wrap_string.cc           |    3 +--
 utils/timings.cc             |    3 +--
 71 files changed, 79 insertions(+), 139 deletions(-)

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



More information about the PPL-devel mailing list