projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 319bbda) | patch
Minor improvements to strings related to constant splitting, including a few options...
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 26 Jul 2016 20:15:46 +0000 (15:15 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 26 Jul 2016 20:15:57 +0000 (15:15 -0500)
commit608bf149dda6dcb546445ead3eb98241f64b8876
treeb204c165a1ba1c3d0aca1132f5e2255082be20d1tree
parent319bbda7ad32e6e9ee009c27003f6f1c0a8d7b20commit | diff
Minor improvements to strings related to constant splitting, including a few options (disabled by default).
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_rewriter.cpp diff | blob | history
src/theory/strings/theory_strings_rewriter.h diff | blob | history