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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Tue, 11 Dec 2018 22:38:00 +0000 (16:38 -0600)
committer	GitHub <noreply@github.com>
	Tue, 11 Dec 2018 22:38:00 +0000 (16:38 -0600)
commit	147fd723e6c13eb3dd44a43073be03a64ea3fe66
tree	0a6eb33068ff609262566fa744a885cf4658a934	tree
parent	1c114dc487d94d72ebf3453611c42b28777d6482	commit \| diff

Remove alternate versions of mbqi (#2742)

18 files changed:

src/CMakeLists.txt		diff \| blob \| history
src/options/options_handler.cpp		diff \| blob \| history
src/options/quantifiers_modes.cpp		diff \| blob \| history
src/options/quantifiers_modes.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/theory/quantifiers/first_order_model.cpp		diff \| blob \| history
src/theory/quantifiers/first_order_model.h		diff \| blob \| history
src/theory/quantifiers/fmf/ambqi_builder.cpp	[deleted file]	blob \| history
src/theory/quantifiers/fmf/ambqi_builder.h	[deleted file]	blob \| history
src/theory/quantifiers/fmf/model_builder.cpp		diff \| blob \| history
src/theory/quantifiers/fmf/model_builder.h		diff \| blob \| history
src/theory/quantifiers/fmf/model_engine.cpp		diff \| blob \| history
src/theory/quantifiers_engine.cpp		diff \| blob \| history
src/theory/uf/theory_uf_model.cpp		diff \| blob \| history
src/theory/uf/theory_uf_model.h		diff \| blob \| history
test/regress/regress0/fmf/Arrow_Order-smtlib.778341.smt		diff \| blob \| history
test/regress/regress0/fmf/QEpres-uf.855035.smt		diff \| blob \| history
test/regress/regress1/fmf/nlp042+1.smt2		diff \| blob \| history