log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log lib/ur/string.ur
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
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
less
more
|
(0)
tip