projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1967722) | patch
Fast exit for string extended equality rewriter (#7312)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 7 Oct 2021 09:41:01 +0000 (04:41 -0500)
committerGitHub <noreply@github.com>
Thu, 7 Oct 2021 09:41:01 +0000 (09:41 +0000)
commit556e63d784d0754a2fa31a588f98abef76365ab0
tree9be0c1d145b1286b638c036936c102b4e6bb1551tree
parent1967722d29bf1f4811f52210c4da84091365f333commit | diff
Fast exit for string extended equality rewriter (#7312)

In benchmarks with many string equalities between variables and constants, a significant portion of the run time is spent on extended equality rewriting. This adds a fast exit when the equality is between variable/constants only.
src/theory/strings/sequences_rewriter.cpp diff | blob | history