projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 331d030) | patch
Try a bit harder on the EQ_NCTN rewrite rule (#7998)
authorBruno Dutertre <BrunoDutertre@users.noreply.github.com>
Fri, 28 Jan 2022 20:33:10 +0000 (12:33 -0800)
committerGitHub <noreply@github.com>
Fri, 28 Jan 2022 20:33:10 +0000 (20:33 +0000)
commitb0d216c23bff2163be3f77dfc37f36af5f504686
tree66d02a861abffa4a533406a3c200b15dc867e0bbtree
parent331d0309760cfd6d270f7c36089f696f454b7429commit | diff
Try a bit harder on the EQ_NCTN rewrite rule (#7998)

This makes a small change to the sequence rewriter to work a bit harder
on one of the rewrite rule. This fixes some performance issues we've
observed.

Signed-off-by: Bruno Dutertre <dutebrun@amazon.com>
src/theory/strings/sequences_rewriter.cpp diff | blob | history