git.libre-soc.org Git - cvc5.git/commit

author	Gereon Kremer <gkremer@stanford.edu>
	Thu, 10 Dec 2020 00:10:36 +0000 (01:10 +0100)
committer	GitHub <noreply@github.com>
	Thu, 10 Dec 2020 00:10:36 +0000 (16:10 -0800)
commit	cc6e04b4572180596ae25001d4a1b99884030a62
tree	39a881a7e71491d57f92793f16abc597a565dce2	tree
parent	a11084e760f3ddf4e95e9aeabada3c3e66810a99	commit \| diff

Fixed a bunch of clang warnings. (#5637)

28 files changed:

src/expr/dtype.cpp		diff \| blob \| history
src/expr/lazy_proof_chain.cpp		diff \| blob \| history
src/prop/minisat/minisat.cpp		diff \| blob \| history
src/smt/proof_manager.cpp		diff \| blob \| history
src/smt/smt_solver.h		diff \| blob \| history
src/theory/arith/nl/iand_utils.cpp		diff \| blob \| history
src/theory/arith/nl/nonlinear_extension.cpp		diff \| blob \| history
src/theory/arith/nl/nonlinear_extension.h		diff \| blob \| history
src/theory/arith/nl/transcendental/transcendental_state.cpp		diff \| blob \| history
src/theory/arrays/theory_arrays.cpp		diff \| blob \| history
src/theory/arrays/theory_arrays.h		diff \| blob \| history
src/theory/bv/theory_bv_utils.h		diff \| blob \| history
src/theory/datatypes/sygus_extension.cpp		diff \| blob \| history
src/theory/quantifiers/conjecture_generator.cpp		diff \| blob \| history
src/theory/quantifiers/quantifiers_rewriter.cpp		diff \| blob \| history
src/theory/quantifiers/query_generator.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/enum_stream_substitution.cpp		diff \| blob \| history
src/theory/quantifiers/sygus_sampler.cpp		diff \| blob \| history
src/theory/quantifiers/term_database.cpp		diff \| blob \| history
src/theory/sep/theory_sep.cpp		diff \| blob \| history
src/theory/sets/cardinality_extension.cpp		diff \| blob \| history
src/theory/sets/theory_sets_private.cpp		diff \| blob \| history
src/theory/strings/core_solver.cpp		diff \| blob \| history
src/theory/strings/normal_form.cpp		diff \| blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history
src/theory/uf/equality_engine.cpp		diff \| blob \| history
src/theory/uf/proof_equality_engine.cpp		diff \| blob \| history
src/theory/uf/symmetry_breaker.cpp		diff \| blob \| history

RSS Atom