projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c27b01) | patch
More improvements to strings. More aggressive inference of constant eqc, reductions...
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 1 Oct 2015 08:44:13 +0000 (10:44 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 1 Oct 2015 08:44:13 +0000 (10:44 +0200)
commitabf1cbec2d5e0d76d0ac5a5f208ddf82f5422532
tree1310c7ce5431cc9b67d9265f503266913db766f0tree
parent0c27b01a9dea02463805a6913e498d0e3f3d62b8commit | diff
More improvements to strings. More aggressive inference of constant eqc, reductions based on congruence, precheck for cycles.
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history