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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Fri, 23 Mar 2018 19:13:38 +0000 (14:13 -0500)
committer	GitHub <noreply@github.com>
	Fri, 23 Mar 2018 19:13:38 +0000 (14:13 -0500)
commit	f3d010e07f30dd658d4532a43b3813654376162d
tree	1080a71e07f906f6af5b5144c0a83207c40c1b2a	tree
parent	4f506ac50e43a71a92094a478deeaa2c2cd1df4a	commit \| diff

Remove unused code (#1700)

17 files changed:

src/Makefile.am		diff \| blob \| history
src/options/quantifiers_options.toml		diff \| blob \| history
src/options/uf_options.toml		diff \| blob \| history
src/theory/quantifiers/fun_def_engine.cpp	[deleted file]	blob \| history
src/theory/quantifiers/fun_def_engine.h	[deleted file]	blob \| history
src/theory/quantifiers/instantiate.cpp		diff \| blob \| history
src/theory/quantifiers/quant_equality_engine.cpp	[deleted file]	blob \| history
src/theory/quantifiers/quant_equality_engine.h	[deleted file]	blob \| history
src/theory/quantifiers/quantifiers_attributes.cpp		diff \| blob \| history
src/theory/quantifiers/term_util.cpp		diff \| blob \| history
src/theory/quantifiers/term_util.h		diff \| blob \| history
src/theory/quantifiers_engine.cpp		diff \| blob \| history
src/theory/quantifiers_engine.h		diff \| blob \| history
src/theory/strings/theory_strings.cpp		diff \| blob \| history
src/theory/strings/theory_strings.h		diff \| blob \| history
src/theory/uf/theory_uf_strong_solver.cpp		diff \| blob \| history
src/theory/uf/theory_uf_strong_solver.h		diff \| blob \| history