projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c90b5b1) | patch
More aggressive skolem caching for strings, document and clean preprocessor (#2478)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 17 Sep 2018 20:40:28 +0000 (15:40 -0500)
committerGitHub <noreply@github.com>
Mon, 17 Sep 2018 20:40:28 +0000 (15:40 -0500)
commitd2b692cb2c054199d75a05f0f700e54fcb4f6c3c
treece69ae1d1d547d48cf771896410208061949049etree
parentc90b5b15ca93e64683c2bbf85def8d7afb4edab8commit | diff
More aggressive skolem caching for strings, document and clean preprocessor (#2478)
src/options/strings_options.toml diff | blob | history
src/theory/strings/skolem_cache.cpp diff | blob | history
src/theory/strings/skolem_cache.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings_preprocess.cpp diff | blob | history
src/theory/strings/theory_strings_preprocess.h diff | blob | history