log lib/ur/string.ur

age author description
2014-06-11 Adam Chlipala Change String to avoid Char dependency
2014-06-10 Adam Chlipala String.trim; add OnChange to more tags
2011-01-13 Adam Chlipala More string processing
2011-01-11 Adam Chlipala Some more string parsing functions; naughtyDebug
2011-01-11 Adam Chlipala String processing optimizations
2010-10-10 Adam Chlipala Tweaking unification fix to apply to demo/more
2010-06-03 Adam Chlipala Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
2010-03-02 Adam Chlipala String.isPrefix
2010-01-26 Adam Chlipala Handling errors during commit
2010-01-10 Adam Chlipala Reduce concatenations of the empty record; unpoly non-recursive functions
2009-12-05 Adam Chlipala Represent FFI function names as strings, to deal with cross-file recursion
2009-11-01 Adam Chlipala Bidding interface
2009-05-31 Adam Chlipala strcspn and friends
2009-05-30 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
2009-05-30 Adam Chlipala String.length
2009-05-26 Adam Chlipala Chars and more string operations