summaryrefslogtreecommitdiff
path: root/lib/ur/string.ur
Commit message (Collapse)AuthorAge
* Change String to avoid Char dependencyGravatar Adam Chlipala2014-06-11
|
* String.trim; add OnChange to more tagsGravatar Adam Chlipala2014-06-10
|
* More string processingGravatar Adam Chlipala2011-01-13
|
* Some more string parsing functions; naughtyDebugGravatar Adam Chlipala2011-01-11
|
* String processing optimizationsGravatar Adam Chlipala2011-01-11
|
* Tweaking unification fix to apply to demo/moreGravatar Adam Chlipala2010-10-10
|
* Some serious bug-fix work to get HTML example to compile; this includes ↵Gravatar Adam Chlipala2010-06-03
| | | | fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
* 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