Age | Commit message (Expand) | Author |
---|---|---|
2020-08-19 | Require `--strings-exp` when using `str.substr` (#4916) | Andres Noetzli |
2020-04-28 | Support the SMT-LIB Unicode string standard by default (#4378) | Andrew Reynolds |
2019-05-06 | Add support for re.all (#2980) | Andres Noetzli |