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