projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 18b06f0 381e911)
Merge pull request #65 from mdeters/bv-ineq-cachefix
authorMorgan Deters <mdeters@morgandeters.com>
Thu, 13 Nov 2014 04:26:16 +0000 (23:26 -0500)
committerMorgan Deters <mdeters@morgandeters.com>
Thu, 13 Nov 2014 04:26:16 +0000 (23:26 -0500)
Fix BV inequality solver caching, and TNode fix.


Trivial merge