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
/
compiler.sml
Commit message (
Collapse
)
Author
Age
*
dragList almost kinda works
Adam Chlipala
2009-09-08
|
*
New release
Adam Chlipala
2009-08-25
|
*
grid1 compiles but gets stuck in JS
Adam Chlipala
2009-08-25
|
*
Library improvements; proper list [un]urlification; remove server-side ↵
Adam Chlipala
2009-08-09
|
|
|
|
ServerCalls; eta reduction in type inference
*
Working on Grid; have gone from one dynamic table bizareness to another
Adam Chlipala
2009-07-19
|
*
More command-line options
Adam Chlipala
2009-07-18
|
*
Demo working with MySQL
Adam Chlipala
2009-07-16
|
*
Start of multi-DBMS support
Adam Chlipala
2009-06-28
|
*
-debug from the command line
Adam Chlipala
2009-06-27
|
*
Initial implementation of protocols in Settings
Adam Chlipala
2009-06-23
|
*
Factor out common request functionality, in preparation for supporting ↵
Adam Chlipala
2009-06-23
|
|
|
|
different protocols
*
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; ↵
Adam Chlipala
2009-06-02
|
|
|
|
Monad library module
*
Fix pathmap bug; expose lower-level heap manipulation from C
Adam Chlipala
2009-05-31
|
*
Improving/reordering Unpoly and Especialize; pathmaps
Adam Chlipala
2009-05-14
|
*
Improvements while working on Graftid
Adam Chlipala
2009-05-12
|
*
allow/deny working in Mono_opt
Adam Chlipala
2009-05-02
|
*
Path rewriting
Adam Chlipala
2009-05-02
|
*
Add 'library' directive
Adam Chlipala
2009-05-02
|
*
More FFI compiler options
Adam Chlipala
2009-05-02
|
*
Successfully influenced effectful-ness status of FFI func
Adam Chlipala
2009-05-02
|
*
C FFI compiler options
Adam Chlipala
2009-04-30
|
*
Reading blobs from the database
Adam Chlipala
2009-04-26
|
*
Cookie signing working for forms
Adam Chlipala
2009-04-16
|
*
Effectness analysis
Adam Chlipala
2009-04-16
|
*
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when ↵
Adam Chlipala
2009-04-04
|
|
|
|
no dyns are active
*
Marshalcheck
Adam Chlipala
2009-03-28
|
*
Variable timeouts and client keep-alive
Adam Chlipala
2009-03-24
|
*
Avoid any JavaScript when pages don't need it; update demo prose
Adam Chlipala
2009-03-10
|
*
Conversion of functions to CPS, to facilitate ServerCall
Adam Chlipala
2009-03-08
|
*
Turned off termination checking, for now
Adam Chlipala
2009-02-22
|
*
Start of RPCification
Adam Chlipala
2009-02-14
|
*
Initial experiments with nested <dyn>
Adam Chlipala
2009-01-13
|
*
Handling singnal bind
Adam Chlipala
2008-12-21
|
*
Start of JsComp
Adam Chlipala
2008-12-20
|
*
Stop using redundant Defunc pass
Adam Chlipala
2008-11-27
|
*
Fusing writes with recursive function calls
Adam Chlipala
2008-11-25
|
*
Profiling support
Adam Chlipala
2008-11-20
|
*
Get preliminary ThreadedBlog working
Adam Chlipala
2008-11-11
|
*
Defunctionalization gets CommentBlog working
Adam Chlipala
2008-11-09
|
*
Especialize working reasonably well; need to add new closure representation pass
Adam Chlipala
2008-11-09
|
*
Resolve all tag named in [Basis]; deal with C compilation failure without ↵
Adam Chlipala
2008-11-08
|
|
|
|
leaving /tmp files
*
Request header reading works
Adam Chlipala
2008-11-06
|
*
Nested save compiles
Adam Chlipala
2008-11-01
|
*
First Unnest tests working
Adam Chlipala
2008-11-01
|
*
Especialize
Adam Chlipala
2008-10-30
|
*
GCCARGS configure option
Adam Chlipala
2008-10-28
|
*
Avoid using libpq when unneeded
Adam Chlipala
2008-10-26
|
*
Add newline at end of file
Unknown
2008-10-23
|
*
New implicit argument handling
Adam Chlipala
2008-10-21
|
*
Simple listShop working
Adam Chlipala
2008-10-21
|
[next]