| Age | Commit message (Expand) | Author |
|---|
| 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 |
