projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f7e507) | patch
Move ss-combine rewrite to extended rewriter (#2703)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 22 Nov 2018 01:44:50 +0000 (17:44 -0800)
committerGitHub <noreply@github.com>
Thu, 22 Nov 2018 01:44:50 +0000 (17:44 -0800)
commiteb7226ebeabf7cc70ec023107d74ffc5c1bad5e7
tree5cc95c4afb046f4c38e7bcd2c682cd2790634d04tree
parent9f7e50702810aafd0ce67a79b4c5906b48aec4b4commit | diff
Move ss-combine rewrite to extended rewriter (#2703)

We found that the `ss-combine` rewrite hurts solving performance, so
this commit is moving it to the extended rewriter.
src/theory/quantifiers/extended_rewrite.cpp diff | blob | history
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
src/theory/strings/theory_strings_rewriter.h diff | blob | history