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
*
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
|
*
num_float
Adam Chlipala
2008-10-21
|
*
Support for URL prefixes that works with local demo
Adam Chlipala
2008-10-19
|
*
Proper configuration and installation
Adam Chlipala
2008-10-19
|
*
Proper generation of relation names; checking that sequences exist
Adam Chlipala
2008-10-19
|
*
Small clean-ups in crud; Compiler.check
Adam Chlipala
2008-10-04
|
*
Crud listing IDs
Adam Chlipala
2008-09-11
|
*
Fix memory bounds checks; specialization of multi-argument polymorphic ↵
Adam Chlipala
2008-09-11
|
|
|
|
function works
*
Unpoly non-recursive function
Adam Chlipala
2008-09-11
|
*
Termination checking
Adam Chlipala
2008-09-09
|
*
pquery working with all four types of columns
Adam Chlipala
2008-09-07
|
*
Ask GCC to strip executables
Adam Chlipala
2008-09-07
|
*
Ran a prepared statement with one string parameter
Adam Chlipala
2008-09-07
|
*
Compiling a parametrized query the inefficient way
Adam Chlipala
2008-09-02
|
[next]