projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f172b30) | patch
Include stddef.h (needed for size_t) in cvc4_public.h (#5476)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 19 Nov 2020 19:30:52 +0000 (11:30 -0800)
committerGitHub <noreply@github.com>
Thu, 19 Nov 2020 19:30:52 +0000 (11:30 -0800)
commit0d949be444e52f42de4f920d71512c95ff96666d
treee0fb946c294eb4f1365ac8a890997c964bbfa28ctree
parentf172b30bfe18a24416fd61f4aa5ce3dea583296ecommit | diff
Include stddef.h (needed for size_t) in cvc4_public.h (#5476)

This further removes obsolete explicit includes of stdint.h.
42 files changed:
src/context/cdhashmap.h diff | blob | history
src/expr/attribute.h diff | blob | history
src/expr/attribute_internals.h diff | blob | history
src/expr/attribute_unique_id.h diff | blob | history
src/expr/expr_template.h diff | blob | history
src/expr/kind_map.h diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_builder.h diff | blob | history
src/expr/node_traversal.h diff | blob | history
src/expr/node_value.h diff | blob | history
src/expr/type.h diff | blob | history
src/expr/type_node.h diff | blob | history
src/include/cvc4_public.h diff | blob | history
src/options/options_template.cpp diff | blob | history
src/parser/antlr_input.cpp diff | blob | history
src/parser/cvc/Cvc.g diff | blob | history
src/parser/memory_mapped_input_buffer.cpp diff | blob | history
src/parser/parser.cpp diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/parser/tptp/Tptp.g diff | blob | history
src/proof/sat_proof.h diff | blob | history
src/prop/sat_solver.h diff | blob | history
src/theory/arith/bound_counts.h diff | blob | history
src/theory/arith/fc_simplex.h diff | blob | history
src/theory/arith/nl/nonlinear_extension.h diff | blob | history
src/theory/arith/soi_simplex.h diff | blob | history
src/theory/arith/tableau_sizes.h diff | blob | history
src/theory/arith/theory_arith_private.cpp diff | blob | history
src/theory/arith/theory_arith_private.h diff | blob | history
src/theory/strings/theory_strings_preprocess.cpp diff | blob | history
src/util/bitvector.h diff | blob | history
src/util/gmp_util.h diff | blob | history
src/util/hash.h diff | blob | history
src/util/iand.h diff | blob | history
src/util/index.cpp diff | blob | history
src/util/index.h diff | blob | history
src/util/rational_gmp_imp.h diff | blob | history
src/util/regexp.h diff | blob | history
src/util/resource_manager.h diff | blob | history
src/util/safe_print.h diff | blob | history
src/util/statistics_registry.h diff | blob | history
src/util/string.h diff | blob | history