projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff16669) | patch
changed BitVector::unsignedRem to match the behavior of the bit-blasted circuit for...
authorLiana Hadarean <lianahady@gmail.com>
Mon, 12 Nov 2012 19:38:47 +0000 (19:38 +0000)
committerLiana Hadarean <lianahady@gmail.com>
Mon, 12 Nov 2012 19:38:47 +0000 (19:38 +0000)
commit069feb82d76d10bbeebcf93a00d85b7caedb2d36
tree7a3200d9b3960795acecabda77acad66e387d07etree
parentff1666905d56bf9dff0a22162688ac155200091ccommit | diff
changed BitVector::unsignedRem to match the behavior of the bit-blasted circuit for division by 0; temporary fix for bug440
src/util/bitvector.h diff | blob | history