projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e64d60) | patch
fixed TheoryBV collectModel info to check for shared terms; this seems to fix bug424
authorLiana Hadarean <lianahady@gmail.com>
Tue, 23 Oct 2012 19:46:55 +0000 (19:46 +0000)
committerLiana Hadarean <lianahady@gmail.com>
Tue, 23 Oct 2012 19:46:55 +0000 (19:46 +0000)
commit408855d37c90c701508b5207cb3588e09cc12583
treeabf2c8e9b2c1a0578a7d607cbe4e645cbc46b633tree
parent5e64d60e49db9176c310f15cb206e3fda3e31973commit | diff
fixed TheoryBV collectModel info to check for shared terms; this seems to fix bug424
src/theory/bv/bitblast_strategies.cpp diff | blob | history
src/theory/bv/bitblaster.cpp diff | blob | history