projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f29ad7) | patch
Work on purification for quantifiers, minor updates.
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 16 Dec 2015 10:24:09 +0000 (11:24 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 16 Dec 2015 10:24:31 +0000 (11:24 +0100)
commitb22464914f54de6a64e01cb26b7c0b08d2640dab
treef362ee27d706c479ec1540b4d31ec09fd4aa7e11tree
parent3f29ad74a705883181d9c934a0f772d4850b0b0ecommit | diff
Work on purification for quantifiers, minor updates.
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.h diff | blob | history