projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26214b7) | patch
Enable side condition handling for shifts introduced in #1441. (#1444)
authorAina Niemetz <aina.niemetz@gmail.com>
Sat, 16 Dec 2017 01:29:03 +0000 (17:29 -0800)
committerGitHub <noreply@github.com>
Sat, 16 Dec 2017 01:29:03 +0000 (17:29 -0800)
commite764be08256591dfa183d7b3adc750394921574f
treea5b01815809c5d6f9c40f3c91b90e557df16bf7ctree
parent26214b7b02e90fca270e6bac7d6b64ea1a6d723acommit | diff
Enable side condition handling for shifts introduced in #1441. (#1444)

PR #1441 forgot to enable the missing side condition handling for shifts. This PR enables it.
src/theory/quantifiers/bv_inverter.cpp diff | blob | history