| Age | Commit message (Expand) | Author |
|---|
| 2020-12-08 | Proper implementation of expand definitions for sequences (#5616) | Andrew Reynolds |
| 2020-11-12 | Make regular expression difference left associative (#5430) | Andrew Reynolds |
| 2020-08-21 | Remove spurious theory methods calls (#4931) | Andrew Reynolds |
| 2020-07-28 | Supporting seq.nth (#4723) | yoni206 |
| 2020-07-12 | Add support for string/sequence update (#4725) | Andrew Reynolds |
| 2020-07-12 | Remove ExprSequence (#4724) | Andres Noetzli |
| 2020-06-10 | Add support for str.replace_re/str.replace_re_all (#4594) | Andres Noetzli |
| 2020-05-30 | Add the sequence type (#4539) | Andrew Reynolds |
| 2020-05-27 | Add the Expr-level sequence datatype (#4526) | Andrew Reynolds |
| 2020-03-30 | Support indexed operators re.loop and re.^ (#4167) | Andrew Reynolds |
| 2020-03-27 | Move string utility file (#4164) | Andrew Reynolds |
| 2020-03-20 | Split string-specific operators from TheoryStringsRewriter (#3920) | Andrew Reynolds |
| 2020-03-13 | Generalize type rules for strings to sequences (#3987) | Andrew Reynolds |
| 2020-02-28 | Add support for str.from_code (#3829) | Andres Noetzli |
| 2020-02-26 | Add support for is_digit and regular expression difference (#3828) | Andrew Reynolds |
| 2020-02-26 | Basic support for regular expression complement (#3437) | Andrew Reynolds |
| 2019-12-23 | Initial support for string reverse (#3581) | Andrew Reynolds |
| 2019-09-28 | Introduce template classes for simple type rules (#2835) | Andres Noetzli |
| 2019-07-16 | Add support for str.tolower and str.toupper (#3092) | Andrew Reynolds |
| 2018-11-21 | Support string replace all (#2704) | Andrew Reynolds |
| 2018-10-04 | Clean remaining references to getNextDecisionRequest and simplify (#2500) | Andrew Reynolds |
| 2018-07-04 | More cleanup in strings (#2138) | Andrew Reynolds |
| 2018-05-08 | Support for str.<= and str.< (#1882) | Andrew Reynolds |
| 2018-05-07 | Add support for str.code (#1821) | Andrew Reynolds |
| 2018-03-23 | Remove abstract regular expression constant (#1698) | Andrew Reynolds |
| 2017-09-05 | Remove support for conversions between uint32/uint16 and string. (#1069) | Andrew Reynolds |
| 2015-10-15 | Change semantics of str.substr to allow endpoint out of bounds, and return em... | ajreynol |
| 2014-07-25 | patch for regular expression intersection caching | Tianyi Liang |
| 2014-07-11 | Spelling. | Morgan Deters |
| 2014-06-21 | Slightly-improved kinds documentation for builtin, Boolean, arrays, strings, ... | Morgan Deters |
| 2014-03-31 | add str to u16/u32, and u16/u32 to str | Tianyi Liang |
| 2014-03-27 | adds new feature: re.loop | Tianyi Liang |
| 2014-02-28 | minor clean-up, bring back derivatives | Tianyi Liang |
| 2014-02-28 | a new regular expression engine for solving both positive and negative member... | Tianyi Liang |
| 2014-02-26 | for merging | Tianyi Liang |
| 2014-02-18 | switch to total function str.to.int: maps invalid and non-digit strings to 0 | Tianyi Liang |
| 2014-02-17 | type conversion | Tianyi Liang |
| 2014-02-13 | fix expanding def | Tianyi Liang |
| 2014-01-29 | add prefixof, suffixof | Tianyi Liang |
| 2014-01-28 | merge internal and user of charat & substr into one | Tianyi Liang |
| 2014-01-16 | adds partial functions | Tianyi Liang |
| 2014-01-09 | add constant replace, indexof | Tianyi Liang |
| 2013-12-26 | new functions in strings | Tianyi Liang |
| 2013-11-06 | change options | Tianyi Liang |
| 2013-10-20 | adds regular expression range | Tianyi Liang |
| 2013-10-15 | bug fix in strings : change from assert to alwaysassert | Tianyi Liang |
| 2013-10-01 | adds partial function substr. the use of this function should be guarded, esp... | Tianyi Liang |
| 2013-09-11 | Theory of strings. | Tianyi Liang |
