index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
ur
/
string.ur
Commit message (
Collapse
)
Author
Age
*
Change String to avoid Char dependency
Adam Chlipala
2014-06-11
|
*
String.trim; add OnChange to more tags
Adam Chlipala
2014-06-10
|
*
More string processing
Adam Chlipala
2011-01-13
|
*
Some more string parsing functions; naughtyDebug
Adam Chlipala
2011-01-11
|
*
String processing optimizations
Adam Chlipala
2011-01-11
|
*
Tweaking unification fix to apply to demo/more
Adam Chlipala
2010-10-10
|
*
Some serious bug-fix work to get HTML example to compile; this includes ↵
Adam Chlipala
2010-06-03
|
|
|
|
fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
*
String.isPrefix
Adam Chlipala
2010-03-02
|
*
Handling errors during commit
Adam Chlipala
2010-01-26
|
*
Reduce concatenations of the empty record; unpoly non-recursive functions
Adam Chlipala
2010-01-10
|
*
Represent FFI function names as strings, to deal with cross-file recursion
Adam Chlipala
2009-12-05
|
*
Bidding interface
Adam Chlipala
2009-11-01
|
*
strcspn and friends
Adam Chlipala
2009-05-31
|
*
Substring functions; fix a nasty MonoReduce pattern match substitution bug
Adam Chlipala
2009-05-30
|
*
String.length
Adam Chlipala
2009-05-30
|
*
Chars and more string operations
Adam Chlipala
2009-05-26