projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fec153) | patch
Remove `--strings-binary-csp` option (#3743)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 11 Feb 2020 14:27:29 +0000 (06:27 -0800)
committerGitHub <noreply@github.com>
Tue, 11 Feb 2020 14:27:29 +0000 (08:27 -0600)
commit36f4f6b75bd13b7770e6113ed5c2f9b2b895e0ba
treebb73fe5d903519549ee9effcc6ee4b10a7f2bd69tree
parent3fec15351e149fe88ad32cf8a436da5270730eaecommit | diff
Remove `--strings-binary-csp` option (#3743)
src/options/strings_options.toml diff | blob | history
src/theory/strings/core_solver.cpp diff | blob | history
src/theory/strings/infer_info.cpp diff | blob | history
src/theory/strings/infer_info.h diff | blob | history
src/theory/strings/skolem_cache.h diff | blob | history