projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d9d562) | patch
A few changes to the organization of TheoryEngine rewriting. A few bug fixes for...
authorTim King <taking@cs.nyu.edu>
Fri, 28 May 2010 22:01:18 +0000 (22:01 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 28 May 2010 22:01:18 +0000 (22:01 +0000)
commit6aa071ef292d999828aa2f53e25179959404bea5
tree46dfa2fe44547ffe5375b00bafdc231b51682fe4tree
parent7d9d562bb560cb4b83ffaaf94918f834916dad2fcommit | diff
A few changes to the organization of TheoryEngine rewriting. A few bug fixes for it as well. make check should now work again.
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history