projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6838885) | patch
Rewrites for all remaining return statements in strings rewriter (#4178)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 30 Mar 2020 23:15:07 +0000 (18:15 -0500)
committerGitHub <noreply@github.com>
Mon, 30 Mar 2020 23:15:07 +0000 (18:15 -0500)
commitbc4055d4543f3b697ade38b810f7ac3cf02dc3c8
treef66e1d9788fb9e7a5fbc1dfb98699da8f0298c92tree
parent6838885b1250e0abbb1b8d56e6b400a5d7f3ca95commit | diff
Rewrites for all remaining return statements in strings rewriter (#4178)

Towards proofs for string rewrites. All return statements all now associated with an enum value.

An indentation in a block of code changed in rewriteMembership.
src/theory/strings/rewrites.cpp diff | blob | history
src/theory/strings/rewrites.h diff | blob | history
src/theory/strings/sequences_rewriter.cpp diff | blob | history
src/theory/strings/sequences_rewriter.h diff | blob | history
src/theory/strings/strings_rewriter.cpp diff | blob | history
src/theory/strings/strings_rewriter.h diff | blob | history
src/util/regexp.cpp diff | blob | history