projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1117b3e) | patch
Split collect model info by types in strings (#3847)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 2 Mar 2020 17:57:26 +0000 (11:57 -0600)
committerGitHub <noreply@github.com>
Mon, 2 Mar 2020 17:57:26 +0000 (11:57 -0600)
commitd85eefdf97566c22dddc94a3cf27ae19c24ec4f3
tree614dc0ed8d4cf269ac996bb16fa2cfe5b65a6459tree
parent1117b3e69b16c992c5f41ff3f2873ac40fce2cffcommit | diff
 Split collect model info by types in strings (#3847)

Towards a theory of sequences.

We will need to do similar splits per type for most of the functions throughout strings.
src/expr/type_node.cpp diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history
src/theory/strings/type_enumerator.h diff | blob | history