projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e4a5a8) | patch
Incorporate sequences into the word interface (#4543)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 1 Jun 2020 14:14:23 +0000 (09:14 -0500)
committerGitHub <noreply@github.com>
Mon, 1 Jun 2020 14:14:23 +0000 (09:14 -0500)
commit30673d6ce9a5a1444b33fb11367914df0399e824
tree7cf2b3d779d77342748612adb7bb81abbebfffdbtree
parent6e4a5a8c865469aebec9d070c8c1976fed68914acommit | diff
Incorporate sequences into the word interface (#4543)

Also renames a function mkWord -> mkWordFlatten.
src/theory/strings/sequences_rewriter.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