projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0633c0) | patch
Convert more uses of strings to words (#4584)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 19 Jun 2020 21:48:10 +0000 (16:48 -0500)
committerGitHub <noreply@github.com>
Fri, 19 Jun 2020 21:48:10 +0000 (16:48 -0500)
commit22780596b561dff9b0eb5b0620252280a678944e
tree796c7a3a270f0509f36762ba88e938c644d9dfd4tree
parente0633c091c37b79f9e3a2517cf95113c788db083commit | diff
Convert more uses of strings to words (#4584)

Towards theory of sequences.

This PR also adds support for sequences in default sygus grammars.

Also removes an interface for mkEmptyWord which doesn't have an equivalent for sequences.
src/expr/type_node.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_grammar_cons.cpp diff | blob | history
src/theory/strings/regexp_operation.cpp diff | blob | history
src/theory/strings/strings_entail.cpp diff | blob | history
src/theory/strings/word.cpp diff | blob | history
src/theory/strings/word.h diff | blob | history
test/unit/theory/theory_strings_word_white.h diff | blob | history