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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Fri, 20 May 2022 17:49:57 +0000 (12:49 -0500)
committer	GitHub <noreply@github.com>
	Fri, 20 May 2022 17:49:57 +0000 (12:49 -0500)
commit	38988892041143d7f187af89f0d45126979278e7
tree	7ba217b8106a5bf1c4996976defc9e02c624a62d	tree
parent	3546ec8388934b1a30ad025551884a724eeb25b9	commit \| diff

More removing of unused code (#8806)

19 files changed:

src/CMakeLists.txt		diff \| blob \| history
src/theory/arith/linear/theory_arith_private.cpp		diff \| blob \| history
src/theory/arrays/union_find.cpp	[deleted file]	blob \| history
src/theory/arrays/union_find.h	[deleted file]	blob \| history
src/theory/engine_output_channel.cpp		diff \| blob \| history
src/theory/engine_output_channel.h		diff \| blob \| history
src/theory/inference_id.cpp		diff \| blob \| history
src/theory/inference_id.h		diff \| blob \| history
src/theory/output_channel.h		diff \| blob \| history
src/theory/quantifiers/ematching/instantiation_engine.cpp		diff \| blob \| history
src/theory/quantifiers/ematching/instantiation_engine.h		diff \| blob \| history
src/theory/quantifiers/fmf/model_engine.cpp		diff \| blob \| history
src/theory/quantifiers/fmf/model_engine.h		diff \| blob \| history
src/theory/quantifiers/inst_match_trie.cpp		diff \| blob \| history
src/theory/quantifiers/inst_match_trie.h		diff \| blob \| history
src/theory/quantifiers/instantiate.cpp		diff \| blob \| history
src/theory/quantifiers/instantiate.h		diff \| blob \| history
src/theory/quantifiers/sygus/synth_engine.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/synth_engine.h		diff \| blob \| history