projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 374e28d) | patch
Updated uf to reflect APPLY structure after conversation with Chris. Also corrected...
authorTim King <taking@cs.nyu.edu>
Thu, 25 Feb 2010 21:55:17 +0000 (21:55 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 25 Feb 2010 21:55:17 +0000 (21:55 +0000)
commit175741488a4dd986ad69ee644617ff735b855031
tree9773d9eaf87793d11570a78618eacaf6b67885b2tree
parent374e28dcc625f1694cfc87f7b4c376dc329694c4commit | diff
Updated uf to reflect APPLY structure after conversation with Chris. Also corrected conflict generation to reflect this morning's discussion.
src/theory/uf/theory_uf.cpp diff | blob | history
src/theory/uf/theory_uf.h diff | blob | history