projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc6802f) | patch
TheoryUFWhite is passing. I fixed 2 errors. Unfortunately, I also changed a TNode...
authorTim King <taking@cs.nyu.edu>
Sun, 28 Feb 2010 00:43:32 +0000 (00:43 +0000)
committerTim King <taking@cs.nyu.edu>
Sun, 28 Feb 2010 00:43:32 +0000 (00:43 +0000)
commitda420bf5c1f2a270f072786145b717c38c720ed1
treedd112cf23780211b5f188cd354980a5659819c93tree
parentcc6802ff819de5643ab87afc0839b584ddad63b2commit | diff
TheoryUFWhite is passing.  I fixed 2 errors. Unfortunately, I also changed a TNode to a Node at one point in the code. TNode failed for a completely unknown reason. I'm try to isolate the problem is a bit, but I am commiting this for now so other things can move forward.
src/theory/theory.h diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history