projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45b7c76) | patch
Committing a bug fix from Dejan. This resolves an issue with restoring ECData.
authorTim King <taking@cs.nyu.edu>
Thu, 4 Mar 2010 20:10:46 +0000 (20:10 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 4 Mar 2010 20:10:46 +0000 (20:10 +0000)
commit29cc307cdf2c42bebf4f5615874a864783f47fd0
treebcc296eaef23abb9264d78adc3cfe08264f425abtree
parent45b7c76aba6ac71726fb2bf46c45ad7ce6bc8c99commit | diff
Committing a bug fix from Dejan. This resolves an issue with restoring ECData.
src/expr/expr_manager.h diff | blob | history
src/theory/uf/ecdata.cpp 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
test/unit/theory/theory_uf_white.h diff | blob | history