projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1da31e) | patch
Convert more uses of strings to words (#3921)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 9 Mar 2020 18:35:59 +0000 (13:35 -0500)
committerGitHub <noreply@github.com>
Mon, 9 Mar 2020 18:35:59 +0000 (13:35 -0500)
commit9f77ec44decf18fe23c738988281373795dcca0d
tree9772a0ae0bc73e3e00c8b716468b8a86b332f2c6tree
parentc1da31ed532cd1767c20d5fc01df893c427e0e8ecommit | diff
Convert more uses of strings to words (#3921)

Towards theory of sequences.

Also adds documentation to strncmp/rstrncmp and adds them to the Word interface.
src/theory/strings/core_solver.cpp diff | blob | history
src/theory/strings/regexp_operation.cpp diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/word.cpp diff | blob | history
src/theory/strings/word.h diff | blob | history
src/util/regexp.cpp diff | blob | history
src/util/regexp.h diff | blob | history