projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12cc3d3) | patch
TheoryUFWhite tests are added. There are also accompanying bug fixes. These currently...
authorTim King <taking@cs.nyu.edu>
Fri, 26 Feb 2010 18:58:17 +0000 (18:58 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 26 Feb 2010 18:58:17 +0000 (18:58 +0000)
commit3311e8276fb6221d9e100be2b1eec88d8f119fef
treeef0ceebcd85b1153a25af7438c4bae96fe5aecb8tree
parent12cc3d32407cabbc8c3ed3d980199a020b61a883commit | diff
TheoryUFWhite tests are added. There are also accompanying bug fixes. These currently do not pass. (See bug 39.) I modified node.h/cpp to get gdb debug printing working again
src/expr/node.cpp diff | blob | history
src/expr/node.h diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history
src/theory/uf/theory_uf.h diff | blob | history
test/unit/Makefile.am diff | blob | history
test/unit/theory/theory_uf_white.h [new file with mode: 0644] blob