projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e99c176) | patch
Strings split on constant lengths, add length=0 to split lemma for empty string.
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 11 Mar 2015 20:11:20 +0000 (21:11 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 11 Mar 2015 20:11:20 +0000 (21:11 +0100)
commit9601ab61943ccec725fc481c74423479b61141a1
tree513893cff140685b8e2b0327a68bc2e71ed23fa6tree
parente99c176931f0673ac47eb4525365b813df99112ecommit | diff
Strings split on constant lengths, add length=0 to split lemma for empty string.
src/theory/strings/theory_strings.cpp diff | blob | history