projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d571cb) | patch
Type-independent preregistration of empty word (#4205)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 5 Apr 2020 06:52:37 +0000 (01:52 -0500)
committerGitHub <noreply@github.com>
Sun, 5 Apr 2020 06:52:37 +0000 (23:52 -0700)
commit2e4e1d2d202ac048a2d808e907d6e6e61d002709
tree8106f4b7b43baa4f11b69df356673fe8339288fctree
parent9d571cb1156e5ed6a6ba8a261b365e7fb5f92914commit | diff
Type-independent preregistration of empty word (#4205)

Also removes another instance of empty string in TheoryStrings for consistency sake.
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history