projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b3c559) | patch
Partial fix to TheoryEngine::getExplanation so that SharedAssertions request explanat...
authorTim King <taking@cs.nyu.edu>
Mon, 23 Jan 2012 21:13:08 +0000 (21:13 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 23 Jan 2012 21:13:08 +0000 (21:13 +0000)
commitd9df9a78b51bb4a455d15810924bc8b537934833
tree2e0ecfef8bfafa19b1fbfedaea7a53ddbc1e0714tree
parent3b3c5597a926cf6f2056fe237bcac7c4d2596a75commit | diff
Partial fix to TheoryEngine::getExplanation so that SharedAssertions request explanations from the theory that can explain them. This partially fixes bug 295.
src/theory/theory_engine.cpp diff | blob | history