projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: abf1cbe) | patch
Evaluate extended operators on partially concrete arguments. More aggressive rewritin...
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 1 Oct 2015 15:57:37 +0000 (17:57 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 1 Oct 2015 15:57:37 +0000 (17:57 +0200)
commit627b8507183ae6c58b2eda80ca14500b1fa87809
treeba0e941e44a55e68164013a63e73ae997d83c376tree
parentabf1cbec2d5e0d76d0ac5a5f208ddf82f5422532commit | diff
Evaluate extended operators on partially concrete arguments. More aggressive rewriting. Bug fix explanations for inferences. Avoid spurious cardinality splits. Do not do disequality splits for non-disequal terms. Work towards non-recursive handling of flat forms.
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history