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
/
mono_util.sig
Commit message (
Collapse
)
Author
Age
*
More invalidation progress.
Ziv Scully
2014-11-11
|
*
Change Name_js to skip code snippets that depend on the CSRF-protection ↵
Adam Chlipala
2013-04-01
|
|
|
|
signature
*
New NameJs phase, still needing some debugging
Adam Chlipala
2012-08-02
|
*
Announce sidedness errors with source locations
Adam Chlipala
2011-11-25
|
*
'more' demos working after optimizer fix
Adam Chlipala
2009-09-08
|
*
Start of JsComp
Adam Chlipala
2008-12-20
|
*
Fusing writes with recursive function calls
Adam Chlipala
2008-11-25
|
*
'Option' datatype encoding
Adam Chlipala
2008-08-09
|
*
Datatype representation optimization
Adam Chlipala
2008-08-03
|
*
Storing datatype constructors in type references past monoize
Adam Chlipala
2008-07-29
|
*
Remove closure conversion in favor of zany fun with modules, which also ↵
Adam Chlipala
2008-07-13
|
|
|
|
replaces 'page'
*
Mono optimizations (start with string concat and space eating)
Adam Chlipala
2008-07-03
|
*
Closure conversion
Adam Chlipala
2008-06-10