projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c67bbf8) | patch
[Strings] Minor fixes/improvements (#7837)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 17 Dec 2021 23:19:46 +0000 (15:19 -0800)
committerGitHub <noreply@github.com>
Fri, 17 Dec 2021 23:19:46 +0000 (23:19 +0000)
commitd4f887d72b2bd48b2935838e2e0cf98ba049b96c
tree7aebad5efbac15c3391df86cf00c7694946866f4tree
parentc67bbf88a0da5c7c066de5ba9e31b58f00594b9bcommit | diff
[Strings] Minor fixes/improvements (#7837)

This is a quick follow-up for PR #7815. My comments didn't make it in
before the PR was merged, so this commit fixes some of the minor issues
I found.
src/theory/strings/core_solver.cpp diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history