projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 841acca) | patch
Improvements to strings: work on propagations for reverse normal form processing...
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 10 Aug 2016 22:36:45 +0000 (17:36 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 10 Aug 2016 22:36:58 +0000 (17:36 -0500)
commite8598e2420e2ee2c75abfb6629818299c7ab40f6
treea727400a683fff8e2455e44dc04de68d94e08c6atree
parent841acca266b026c9c1d20cb1adf0e73da15a0c10commit | diff
Improvements to strings: work on propagations for reverse normal form processing. Better handling of disequalities, constant splitting and neg contain approximation. Introduce proxy vars for replace. Refactoring.
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/util/regexp.cpp diff | blob | history
src/util/regexp.h diff | blob | history
test/regress/regress0/strings/Makefile.am diff | blob | history