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
/
src
/
prim.sml
Commit message (
Expand
)
Author
Age
*
Fix handling of quotes in generating C literals
Adam Chlipala
2012-01-02
*
Proper C pretty-printing of floats in scientific notation
Adam Chlipala
2011-05-31
*
Fix C-mangling of datatype names
Adam Chlipala
2010-05-16
*
Avoid reimplementing conversion to C strings
Adam Chlipala
2010-05-15
*
UTF-8 in dynamic escaping
Adam Chlipala
2009-12-03
*
Escaping UTF-8 in MonoOpt
Adam Chlipala
2009-12-03
*
Escape character constants; lift indices properly in Reduce 'case' simplifica...
Adam Chlipala
2009-09-15
*
Chars and more string operations
Adam Chlipala
2009-05-26
*
Source containing an int
Adam Chlipala
2009-01-01
*
Start of JsComp
Adam Chlipala
2008-12-20
*
Broaden set of possible especializations
Adam Chlipala
2008-11-08
*
toString for float and bool
Adam Chlipala
2008-09-07
*
Switch base types to 64-bit versions
Adam Chlipala
2008-09-02
*
Optimizing 'case' in Mono_reduce
Adam Chlipala
2008-08-03
*
Monoizing joins and tags
Adam Chlipala
2008-07-03
*
Primitive type constants
Adam Chlipala
2008-06-08