summaryrefslogtreecommitdiff
path: root/lib/ur/string.urs
Commit message (Expand)AuthorAge
* More string processingGravatar Adam Chlipala2011-01-13
* Some more string parsing functions; naughtyDebugGravatar Adam Chlipala2011-01-11
* String processing optimizationsGravatar Adam Chlipala2011-01-11
* String.isPrefixGravatar Adam Chlipala2010-03-02
* Handling errors during commitGravatar Adam Chlipala2010-01-26
* Reduce concatenations of the empty record; unpoly non-recursive functionsGravatar Adam Chlipala2010-01-10
* Represent FFI function names as strings, to deal with cross-file recursionGravatar Adam Chlipala2009-12-05
* Bidding interfaceGravatar Adam Chlipala2009-11-01
* strcspn and friendsGravatar Adam Chlipala2009-05-31
* Substring functions; fix a nasty MonoReduce pattern match substitution bugGravatar Adam Chlipala2009-05-30
* String.lengthGravatar Adam Chlipala2009-05-30
* Chars and more string operationsGravatar Adam Chlipala2009-05-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-07 09:33:24 +0000