projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 353bcca) | patch
Make 256 the default cardinality for strings (#1783)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 16 Apr 2018 17:12:24 +0000 (12:12 -0500)
committerGitHub <noreply@github.com>
Mon, 16 Apr 2018 17:12:24 +0000 (12:12 -0500)
commit7b9b6b9cfbe813812b0de7ba20f2c1d8cc060e63
treee7c93bcb8d0b04461f0ea42036d8d2f3f2912e5ftree
parent353bccac179f9673583c3ce559c720751ae3fa96commit | diff
Make 256 the default cardinality for strings (#1783)
src/options/strings_options.toml diff | blob | history
src/theory/strings/regexp_operation.cpp diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings_type_rules.h diff | blob | history