projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d803fad) | patch
fixed bug 502; now the core bv solver only gives the model for variables and shared...
authorlianah <lianahady@gmail.com>
Mon, 1 Apr 2013 18:04:58 +0000 (14:04 -0400)
committerlianah <lianahady@gmail.com>
Mon, 1 Apr 2013 18:04:58 +0000 (14:04 -0400)
commit3cf2615b17761da8d310c7d80b55bdac0aa4c54f
tree4675d3a8dd5d4765c784f1bb10ee4c6d8b5a44catree
parentd803fada76b1c45c3da6960865fdc8d061c7b680commit | diff
fixed bug 502; now the core bv solver only gives the model for variables and shared terms.
src/theory/bv/bv_subtheory_core.cpp diff | blob | history