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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Wed, 23 Dec 2020 21:26:24 +0000 (15:26 -0600)
committer	GitHub <noreply@github.com>
	Wed, 23 Dec 2020 21:26:24 +0000 (15:26 -0600)
commit	42f51547174e2644a244464c170115ff3b2bc22f
tree	b543f43a40c7bcae87b87ccf24c8c5f85140edd3	tree
parent	5ef950054212a5fb9759c9137888f95bcadb05fd	commit \| diff

Remove quant EPR option (#5716)

This was an experimental option used in combination with separation logic.

14 files changed:

src/CMakeLists.txt		diff \| blob \| history
src/options/quantifiers_options.toml		diff \| blob \| history
src/smt/set_defaults.cpp		diff \| blob \| history
src/theory/quantifiers/cegqi/ceg_epr_instantiator.cpp	[deleted file]	blob \| history
src/theory/quantifiers/cegqi/ceg_epr_instantiator.h	[deleted file]	blob \| history
src/theory/quantifiers/cegqi/ceg_instantiator.cpp		diff \| blob \| history
src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp		diff \| blob \| history
src/theory/quantifiers/quant_epr.cpp	[deleted file]	blob \| history
src/theory/quantifiers/quant_epr.h	[deleted file]	blob \| history
src/theory/quantifiers_engine.cpp		diff \| blob \| history
src/theory/quantifiers_engine.h		diff \| blob \| history
src/theory/sep/theory_sep.cpp		diff \| blob \| history
src/theory/sep/theory_sep.h		diff \| blob \| history
test/regress/CMakeLists.txt		diff \| blob \| history