projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4151cb) | patch
Move ownership of DecisionEngine into PropEngine. (#3850)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 5 Mar 2020 21:21:43 +0000 (13:21 -0800)
committerAina Niemetz <aina.niemetz@gmail.com>
Thu, 5 Mar 2020 21:21:43 +0000 (13:21 -0800)
commit50f82fac417bc5b27ecaeb34d4e8034339c5982f
tree981c352e9aae8c96539374e98065101ee3835b28tree
parenta4151cb6755b9267cb90f7facc0ffd367aa7f0f2commit | diff
Move ownership of DecisionEngine into PropEngine. (#3850)

This is in preparation of fixing the issue we currently have with
reset-assertions.  This also removes a competition hack for QF_LRA.
src/decision/decision_engine.cpp diff | blob | history
src/decision/decision_engine.h diff | blob | history
src/preprocessing/preprocessing_pass_context.h diff | blob | history
src/prop/prop_engine.cpp diff | blob | history
src/prop/prop_engine.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history