projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f836073) | patch
Use simpler EQUAL SCs for LSHR0, LSHR1, ASHR0, AHSR1, SHL0, SHL1. (#1482)
authorMathias Preiner <mathias.preiner@gmail.com>
Sat, 6 Jan 2018 02:05:41 +0000 (18:05 -0800)
committerGitHub <noreply@github.com>
Sat, 6 Jan 2018 02:05:41 +0000 (18:05 -0800)
commit947b04aafc5d45fe901eccebc151f7a9c90de00e
treeac32eb23766aa29009196fb1ccf40823584c20d5tree
parentf836073852cf8b2d4904620a6eb153599314dc46commit | diff
Use simpler EQUAL SCs for LSHR0, LSHR1, ASHR0, AHSR1, SHL0, SHL1. (#1482)
src/theory/quantifiers/bv_inverter.cpp diff | blob | history