log lib/ur/string.urs

age author description
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-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