
Module: ppl/ppl Branch: master Commit: 6eb2769ec8611a129e2650e529a03e6ddffa3b63 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6eb2769ec8611...
Author: Roberto Bagnara bagnara@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=6eb2769ec...