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 (
Expand
)
Author
Age
*
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
*
'error' function
Adam Chlipala
2008-09-07
*
Compiling a parametrized query the inefficient way
Adam Chlipala
2008-09-02
*
Monoize ASC/DESC
Adam Chlipala
2008-08-31
*
Avoid unnecessary WHERE clause
Adam Chlipala
2008-08-31
*
Monoized a WHERE clause with a comparison
Adam Chlipala
2008-08-31
*
Monoized and optimized initial query test
Adam Chlipala
2008-08-31
*
Datatype representation optimization
Adam Chlipala
2008-08-03
*
FFI datatypes
Adam Chlipala
2008-08-03
*
Push write inside case
Adam Chlipala
2008-08-03
*
Optimizing 'case' in Mono_reduce
Adam Chlipala
2008-08-03
*
Storing datatype constructors in type references past monoize
Adam Chlipala
2008-07-29
[next]