projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c508e78) | patch
Refactor strings extf evaluation info. Ensure strings eager preprocess eliminates...
authorajreynol <andrew.j.reynolds@gmail.com>
Sat, 16 Jul 2016 14:03:11 +0000 (09:03 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Sat, 16 Jul 2016 14:03:25 +0000 (09:03 -0500)
commitf70674c2f0c6c1c55e3d7c5fed916fc1e7721ffe
tree4a8cbb3e58d06346ffa00dd83e5c31ad2195c570tree
parentc508e78395491bc5055e77169d39a97b5e6c8a5acommit | diff
Refactor strings extf evaluation info. Ensure strings eager preprocess eliminates all extf symbols during ppRewrite. Add options stringGuessModel and stringUfReduct. Minor optimizations.
src/options/strings_options diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history
src/theory/strings/theory_strings_preprocess.cpp diff | blob | history
src/theory/strings/theory_strings_preprocess.h diff | blob | history