projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e374c7f) | patch
Add rewrite for contains + const strings replace (#2828)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 4 Feb 2019 00:17:37 +0000 (16:17 -0800)
committerGitHub <noreply@github.com>
Mon, 4 Feb 2019 00:17:37 +0000 (16:17 -0800)
commitb396d78982e109dc642611d32578bbca82b210cd
treee29dce4fdd0c2190860ddbc9f1c611f9eb443a83tree
parente374c7fbde3b3a5148b6e8fc302277b6e786965ecommit | diff
Add rewrite for contains + const strings replace (#2828)
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
src/util/regexp.h diff | blob | history
test/unit/theory/theory_strings_rewriter_white.h diff | blob | history