projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbc1d2b) | patch
Add utilities in preparation for supporting str.nth (#8766)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 13 May 2022 16:21:52 +0000 (11:21 -0500)
committerGitHub <noreply@github.com>
Fri, 13 May 2022 16:21:52 +0000 (16:21 +0000)
commit70dca46f1caf99a42c572bd5e245e827eb4e3c58
treead991353bdf47c7bff9590e930e204086baf3583tree
parentcbc1d2be703f91c2f8d94bcf853aac55e3709bcccommit | diff
Add utilities in preparation for supporting str.nth (#8766)

Work towards efficient support for to_lower/to_upper.
src/theory/evaluator.cpp diff | blob | history
src/theory/strings/kinds diff | blob | history
src/theory/strings/theory_strings_utils.cpp diff | blob | history
src/theory/strings/theory_strings_utils.h diff | blob | history
src/theory/strings/word.cpp diff | blob | history
src/theory/strings/word.h diff | blob | history