projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d19b800) | patch
Generalize more uses of string-specific functions (#4145)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 25 Mar 2020 13:48:14 +0000 (08:48 -0500)
committerGitHub <noreply@github.com>
Wed, 25 Mar 2020 13:48:14 +0000 (08:48 -0500)
commitb71f00097394c5f292abb002e31f49a07aff0b58
tree0d43b34aeed35abc267fad67f69ca7a5e2600e85tree
parentd19b800ac00feb44bfc6302f02695c8700e15c12commit | diff
 Generalize more uses of string-specific functions (#4145)

Towards theory of sequences.
13 files changed:
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_grammar_cons.cpp diff | blob | history
src/theory/quantifiers/term_util.cpp diff | blob | history
src/theory/strings/core_solver.cpp diff | blob | history
src/theory/strings/eqc_info.cpp diff | blob | history
src/theory/strings/extf_solver.cpp diff | blob | history
src/theory/strings/inference_manager.cpp diff | blob | history
src/theory/strings/normal_form.cpp diff | blob | history
src/theory/strings/sequences_rewriter.cpp diff | blob | history
src/theory/strings/solver_state.cpp diff | blob | history
src/theory/strings/strings_fmf.cpp diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings_type_rules.h diff | blob | history