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.sml
Commit message (
Expand
)
Author
Age
*
Proper C-side deserialization; Shake.sliceDb
Adam Chlipala
2010-01-03
*
Basis.serialize; separate file for mhash; run transactional finishers in reve...
Adam Chlipala
2009-12-31
*
Convert to task syntax
Adam Chlipala
2009-12-15
*
Initializers and setval
Adam Chlipala
2009-12-13
*
Basis.url and redirects
Adam Chlipala
2009-12-10
*
Use call/cc for recv and sleep
Adam Chlipala
2009-10-25
*
RPC uses VM support for call/cc
Adam Chlipala
2009-10-25
*
'more' demos working after optimizer fix
Adam Chlipala
2009-09-08
*
grid1 compiles but gets stuck in JS
Adam Chlipala
2009-08-25
*
Library improvements; proper list [un]urlification; remove server-side Server...
Adam Chlipala
2009-08-09
*
Redo Jscomp
Adam Chlipala
2009-05-17
*
Mutual datatypes through Pathcheck
Adam Chlipala
2009-05-16
*
Basis.list
Adam Chlipala
2009-04-30
*
A view query works
Adam Chlipala
2009-04-28
*
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
*
Catching duplicate cookie and style paths
Adam Chlipala
2009-04-16
*
style declarations
Adam Chlipala
2009-04-12
*
PRIMARY KEY
Adam Chlipala
2009-04-07
*
UNIQUE constraints
Adam Chlipala
2009-04-07
*
sleep and better Scriptcheck
Adam Chlipala
2009-04-04
*
Proper recv
Adam Chlipala
2009-03-22
*
Conversion of functions to CPS, to facilitate ServerCall
Adam Chlipala
2009-03-08
*
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
*
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
*
Successfully generated a page element from a signal
Adam Chlipala
2008-12-20
*
Initial <dyn> support
Adam Chlipala
2008-12-20
*
Start of JsComp
Adam Chlipala
2008-12-20
*
Displayed an alert dialog
Adam Chlipala
2008-12-19
*
Fusing writes with recursive function calls
Adam Chlipala
2008-11-25
*
Reading cookies works
Adam Chlipala
2008-11-06
*
Binops; equality tested on int; lame 404 substitute
Adam Chlipala
2008-10-21
*
SQL sequences
Adam Chlipala
2008-09-14
*
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
*
Converting string to int
Adam Chlipala
2008-09-07
*
'error' function
Adam Chlipala
2008-09-07
*
Table declarations pushed to Cjr
Adam Chlipala
2008-09-02
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
*
Changed EQuery not to use a function in its body
Adam Chlipala
2008-08-31
*
Monoized and optimized initial query test
Adam Chlipala
2008-08-31
*
Monoize transaction identifiers; improve disjointness prover on irreducible f...
Adam Chlipala
2008-08-31
*
'Option' datatype encoding
Adam Chlipala
2008-08-09
[next]