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
/
cjrize.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
*
SELECT DISTINCT; eta expansion during Cjrization
Adam Chlipala
2009-10-06
*
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 Cjrize
Adam Chlipala
2009-05-16
*
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
*
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
*
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when...
Adam Chlipala
2009-04-04
*
Proper recv
Adam Chlipala
2009-03-22
*
Avoid any JavaScript when pages don't need it; update demo prose
Adam Chlipala
2009-03-10
*
RPC returning a default datatype
Adam Chlipala
2009-03-08
*
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
*
Displayed an alert dialog
Adam Chlipala
2008-12-19
*
Reading cookies works
Adam Chlipala
2008-11-06
*
Almost have that nested save function compiling
Adam Chlipala
2008-11-01
*
Binops; equality tested on int; lame 404 substitute
Adam Chlipala
2008-10-21
*
SQL sequences
Adam Chlipala
2008-09-14
*
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
*
Converting string to int
Adam Chlipala
2008-09-07
*
'error' function
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
*
Table declarations pushed to Cjr
Adam Chlipala
2008-09-02
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
*
Cjrize query
Adam Chlipala
2008-09-02
*
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]