projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb63265) | patch
clear model cache in BVQuickCheck clearSolver() (fixes bug 587)
authorLiana Hadarean <lianahady@gmail.com>
Tue, 18 Nov 2014 22:58:34 +0000 (14:58 -0800)
committerLiana Hadarean <lianahady@gmail.com>
Tue, 18 Nov 2014 22:58:34 +0000 (14:58 -0800)
commit081506fa4c86ac0ab7ed6c8929c6e1fdd933c4ca
tree7f3942bd82e00b383d85a7ee70f57355492755eetree
parentfb6326517ce661d4d9bb1c593cce2a8b91eb51b3commit | diff
clear model cache in BVQuickCheck clearSolver() (fixes bug 587)
src/theory/bv/bitblaster_template.h diff | blob | history
src/theory/bv/bv_quick_check.cpp diff | blob | history
src/theory/bv/bv_quick_check.h diff | blob | history
src/theory/bv/bv_subtheory_algebraic.cpp diff | blob | history
src/theory/bv/lazy_bitblaster.cpp diff | blob | history