projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0309ef4) | patch
Make term indices in the strings base solver aware of types (#5589)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 8 Dec 2020 07:50:10 +0000 (01:50 -0600)
committerGitHub <noreply@github.com>
Tue, 8 Dec 2020 07:50:10 +0000 (08:50 +0100)
commit384ab75e8637e872b568b6f493612d308f3f15ee
treea2ae487f54f33653dcebef38aadb1dfdddd620d6tree
parent0309ef4aa7462c6fa2a65c1ef408dc9063bb1f21commit | diff
Make term indices in the strings base solver aware of types (#5589)

This is required for handling inputs that combine strings and sequences.

Fixes #5542.
src/theory/strings/base_solver.cpp diff | blob | history
src/theory/strings/base_solver.h diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/strings/issue5542-strings-seq-mix.smt2 [new file with mode: 0644] blob