Age | Commit message (Expand) | Author |
---|---|---|
2020-04-28 | Support the SMT-LIB Unicode string standard by default (#4378) | Andrew Reynolds |
2018-05-02 | Initial support for string standard in smt lib 2.6 (#1848) | Andrew Reynolds |
2015-11-06 | Changing file permissions to add or remove executable tag as appropriate. | Tim King |
2015-11-05 | Fixes some initialization and desctruction problems in quantifiers. Also rest... | Tim King |
2015-10-02 | Improvements to rewriter for regexp, contains, indexof. Improvements and fixe... | ajreynol |