projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c00efa9) | patch
store values returned by get-value in TheoryModel::d_reps if necessary, fixes bug...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 16 Sep 2012 00:49:04 +0000 (00:49 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 16 Sep 2012 00:49:04 +0000 (00:49 +0000)
commitfbf887ef14272a13bf1413704d080e8496321338
treec06172f06dbd24b0484710be95d45b630ffb096ftree
parentc00efa92e9d61d808a8346e1d8bb3523e24d8ee2commit | diff
store values returned by get-value in TheoryModel::d_reps if necessary, fixes bug 382.
src/theory/model.cpp diff | blob | history