projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b3ae98) | patch
minor interface changes to TheoryEngine/Theory after meeting and conversation with Tim
authorMorgan Deters <mdeters@gmail.com>
Thu, 4 Feb 2010 23:59:41 +0000 (23:59 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 4 Feb 2010 23:59:41 +0000 (23:59 +0000)
commitb21aad9f82edd1f0241579bf2f1f8cd870eb582b
tree68622fe26ba2609deb302118102e06921dba43d0tree
parent7b3ae98cc2cd9b70e0e00ab07418e796a87e3f97commit | diff
minor interface changes to TheoryEngine/Theory after meeting and conversation with Tim
src/smt/smt_engine.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/util/Makefile.am diff | blob | history
src/util/decision_engine.cpp diff | blob | history
src/util/decision_engine.h diff | blob | history
src/util/literal.h [deleted file] blob | history