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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Tue, 26 Jan 2021 20:11:10 +0000 (14:11 -0600)
committer	GitHub <noreply@github.com>
	Tue, 26 Jan 2021 20:11:10 +0000 (14:11 -0600)
commit	06e367c39bf080b9a82dea82ebdf8b9fb79409d5
tree	ae10b1a8241473bb88cabf205af5372fda57b9f4	tree
parent	ca648afb2a7574991b1dc9817c1b8e2546548073	commit \| diff

Remove deprecated quantifiers modules (#5820)

src/CMakeLists.txt		diff \| blob \| history
src/options/quantifiers_options.toml		diff \| blob \| history
src/theory/quantifiers/anti_skolem.cpp	[deleted file]	blob \| history
src/theory/quantifiers/anti_skolem.h	[deleted file]	blob \| history
src/theory/quantifiers/equality_infer.cpp	[deleted file]	blob \| history
src/theory/quantifiers/equality_infer.h	[deleted file]	blob \| history
src/theory/quantifiers/equality_query.cpp		diff \| blob \| history
src/theory/quantifiers/quantifiers_modules.cpp		diff \| blob \| history
src/theory/quantifiers/quantifiers_modules.h		diff \| blob \| history
test/regress/CMakeLists.txt		diff \| blob \| history
test/regress/regress1/quantifiers/anti-sk-simp.smt2		diff \| blob \| history