diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-19 18:47:42 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-19 18:47:42 -0700 |
commit | f25f227eb4a4df388160cdf62795f7f684b224ea (patch) | |
tree | 4166490ab939338422d73ad37bbdfcf015d9a2ad /Makefile.builds.in | |
parent | c116c6c1ec757fe51f2b874e750ad8281baea103 (diff) |
Add substr, contains and equality rewrites
This commit adds three new rewrites:
- `(str.contains (str.replace x y z) w) ---> (str.contains (str.replace
x y "") w)` if `(str.contains z w) ---> false` and `(str.len w) = 1`
- `(= (str.replace x y z) z) ---> (or (= x y) (= x z))` if `(str.len y)
= (str.len z)`
- `(str.substr s x y) --> ""` if `0 < y |= x >= str.len(s)`
Diffstat (limited to 'Makefile.builds.in')
0 files changed, 0 insertions, 0 deletions