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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Mon, 11 Oct 2021 19:13:46 +0000 (12:13 -0700)
committer	GitHub <noreply@github.com>
	Mon, 11 Oct 2021 19:13:46 +0000 (19:13 +0000)
commit	9c49dc9383a6c55a973b1a75e619c296206b12f5
tree	575f8b225a990eb3ca9103356f2718f65926f031	tree
parent	4b7781d90ead61d9478aabd6a4c229a114483679	commit \| diff

Rename SmtScope to SolverEngineScope. (#7284)

29 files changed:

src/CMakeLists.txt		diff \| blob \| history
src/preprocessing/passes/sygus_inference.cpp		diff \| blob \| history
src/preprocessing/preprocessing_pass.cpp		diff \| blob \| history
src/proof/unsat_core.cpp		diff \| blob \| history
src/prop/cnf_stream.cpp		diff \| blob \| history
src/smt/listeners.cpp		diff \| blob \| history
src/smt/smt_engine_scope.cpp	[deleted file]	blob \| history
src/smt/smt_engine_scope.h	[deleted file]	blob \| history
src/smt/smt_statistics_registry.cpp		diff \| blob \| history
src/smt/smt_statistics_registry.h		diff \| blob \| history
src/smt/solver_engine.cpp		diff \| blob \| history
src/smt/solver_engine.h		diff \| blob \| history
src/smt/solver_engine_scope.cpp	[new file with mode: 0644]	blob
src/smt/solver_engine_scope.h	[new file with mode: 0644]	blob
src/theory/bv/abstraction.cpp		diff \| blob \| history
src/theory/bv/bitblast/bitblaster.h		diff \| blob \| history
src/theory/bv/bv_subtheory_algebraic.cpp		diff \| blob \| history
src/theory/bv/theory_bv_rewrite_rules.h		diff \| blob \| history
src/theory/quantifiers/candidate_rewrite_database.cpp		diff \| blob \| history
src/theory/quantifiers/ematching/candidate_generator.cpp		diff \| blob \| history
src/theory/rewriter.cpp		diff \| blob \| history
src/theory/smt_engine_subsolver.cpp		diff \| blob \| history
src/theory/theory_inference_manager.cpp		diff \| blob \| history
test/unit/node/attribute_white.cpp		diff \| blob \| history
test/unit/preprocessing/pass_bv_gauss_white.cpp		diff \| blob \| history
test/unit/test_env.h		diff \| blob \| history
test/unit/test_node.h		diff \| blob \| history
test/unit/test_smt.h		diff \| blob \| history
test/unit/theory/regexp_operation_black.cpp		diff \| blob \| history

RSS Atom