projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1c7be3) | patch
Address comments from PR #1164. (#1174)
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 2 Oct 2017 19:35:28 +0000 (12:35 -0700)
committerGitHub <noreply@github.com>
Mon, 2 Oct 2017 19:35:28 +0000 (12:35 -0700)
commitfad765a539f8732461340980477ffe3f8c672fb2
treeb8c3de43c5ac7d196b85085323ea7ba43f15a030tree
parentf1c7be3a9b96f1a949f127344ecc775680da2c8ecommit | diff
Address comments from PR #1164. (#1174)

Make eliminateSkolemFunctions(...) iterative and some more minor fixes.
src/theory/quantifiers/bv_inverter.cpp diff | blob | history
src/theory/quantifiers/bv_inverter.h diff | blob | history