projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67d245b) | patch
Add quantifier name attribute. (#1756)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 8 Apr 2018 19:36:20 +0000 (14:36 -0500)
committerGitHub <noreply@github.com>
Sun, 8 Apr 2018 19:36:20 +0000 (14:36 -0500)
commit741b11e0a2572e5ddf2e135a11db28154c5face7
tree01bdbe6c55be84b6446d286fb8d6e3f6af6cfe91tree
parent67d245bfe914ae2594ecad8a9140d468270adf88commit | diff
Add quantifier name attribute. (#1756)
src/theory/quantifiers/quantifiers_attributes.cpp diff | blob | history
src/theory/quantifiers/quantifiers_attributes.h diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history
src/theory/quantifiers/theory_quantifiers.cpp diff | blob | history