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_reduce.sml
Commit message (
Collapse
)
Author
Age
*
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
*
Fix MonoReduce unsoundness with lets and fns
Adam Chlipala
2009-06-13
|
*
Substring functions; fix a nasty MonoReduce pattern match substitution bug
Adam Chlipala
2009-05-30
|
*
Fix variable adjustment bug in fn/case alternation
Adam Chlipala
2009-05-28
|
*
Redo Jscomp
Adam Chlipala
2009-05-17
|
*
Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce
Adam Chlipala
2009-05-17
|
*
Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable ↵
Adam Chlipala
2009-05-14
|
|
|
|
indexes for nested JavaScript in jscomp
*
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
Adam Chlipala
2009-05-14
|
*
Successfully influenced effectful-ness status of FFI func
Adam Chlipala
2009-05-02
|
*
Returning a blob as page result
Adam Chlipala
2009-04-26
|
*
Cookie signatures for RPCs
Adam Chlipala
2009-04-23
|
*
Some client-side error handling
Adam Chlipala
2009-04-16
|
*
onError
Adam Chlipala
2009-04-16
|
*
Threads demo
Adam Chlipala
2009-04-05
|
*
sleep and better Scriptcheck
Adam Chlipala
2009-04-04
|
*
spawn
Adam Chlipala
2009-04-04
|
*
Redo signal implementation to avoid memory leaks
Adam Chlipala
2009-04-02
|
*
Proper recv
Adam Chlipala
2009-03-22
|
*
First message send delivered, but not interpreted
Adam Chlipala
2009-03-22
|
*
Parameterized RPC query
Adam Chlipala
2009-02-15
|
*
First gimpy RPC
Adam Chlipala
2009-02-15
|
*
Export RPC functions and push RPC calls through to Mono
Adam Chlipala
2009-02-15
|
*
Initial experiments with nested <dyn>
Adam Chlipala
2009-01-13
|
*
Propagated a source change into a dynamic document element
Adam Chlipala
2008-12-30
|
*
Harmonized source-setting between server and client
Adam Chlipala
2008-12-30
|
*
Setting a source server-side
Adam Chlipala
2008-12-30
|
*
Trivial use of a source
Adam Chlipala
2008-12-21
|
*
Handling singnal bind
Adam Chlipala
2008-12-21
|
*
Initial <dyn> support
Adam Chlipala
2008-12-20
|
*
Displayed an alert dialog
Adam Chlipala
2008-12-19
|
*
Creation of sources in server code
Adam Chlipala
2008-12-19
|
*
Ignore UseRel effects in [let] expansions
Adam Chlipala
2008-11-11
|
*
Better detection of [let] substitution opportunities
Adam Chlipala
2008-11-08
|
*
Tree demo works
Adam Chlipala
2008-11-06
|
*
Cookie prose; fix bugs that broke demo compilation
Adam Chlipala
2008-11-06
|
*
Reading cookies works
Adam Chlipala
2008-11-06
|
*
Setting a cookie
Adam Chlipala
2008-11-06
|
*
Monoizing FFI transactions correctly
Adam Chlipala
2008-11-06
|
*
Don't inline case expressions
Adam Chlipala
2008-10-30
|
*
Simple listShop working
Adam Chlipala
2008-10-21
|
*
Binops; equality tested on int; lame 404 substitute
Adam Chlipala
2008-10-21
|
*
Crud update form
Adam Chlipala
2008-09-14
|
*
SQL sequences
Adam Chlipala
2008-09-14
|
*
Improve linear-let optimization
Adam Chlipala
2008-09-11
|
*
Optimization removes linear let-bindings of impure expressions
Adam Chlipala
2008-09-11
|
*
Unpolyed a polymorphic function of two arguments
Adam Chlipala
2008-09-11
|
*
First INSERT works
Adam Chlipala
2008-09-07
|
*
pquery working with all four types of columns
Adam Chlipala
2008-09-07
|
*
'read' type class
Adam Chlipala
2008-09-07
|
[next]