projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c1cb16) | patch
Committing small changes to attribute, and theory to avoid future merge problems...
authorTim King <taking@cs.nyu.edu>
Wed, 24 Feb 2010 21:08:15 +0000 (21:08 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 24 Feb 2010 21:08:15 +0000 (21:08 +0000)
commit3bc3eae0d3e36870b30636bd1e3eb52683e0dc17
treee83352315485d8f08857276049969fc842fa2e93tree
parent4c1cb16059e6e484581873dfb3103851183ccc72commit | diff
Committing small changes to attribute, and theory to avoid future merge problems for Moragn. Also cleaned up theory uf and ecdata, and updated both to reflect attribute. Should be close now.
src/expr/attribute.h diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_builder.h diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/uf/ecdata.h diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history
src/theory/uf/theory_uf.h diff | blob | history