[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