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
*
Make Scriptcheck catch more script/message-passing uses, and move the phase e...
Adam Chlipala
2013-03-15
*
Better error message about signals remaining in server-side code
Adam Chlipala
2012-09-16
*
First part of changes to avoid depending on C function call argument order of...
Adam Chlipala
2012-01-07
*
Better error messages when client-side constructs are detected in Cjrize
Adam Chlipala
2011-11-19
*
Each context gets its own non-repeating sequence of source numbers
Adam Chlipala
2011-04-09
*
[De]serialization of times in JavaScript; proper integer division in JavaScri...
Adam Chlipala
2010-12-23
*
Periodic tasks
Adam Chlipala
2010-12-18
*
Change tasks to support parametric code; add clientLeaves
Adam Chlipala
2010-12-18
*
Fixes for nasty bugs in Reduce and Especialize
Adam Chlipala
2010-10-19
*
Server-side 'onError'
Adam Chlipala
2010-09-07
*
tryDml
Adam Chlipala
2010-09-05
*
Pushing policies through
Adam Chlipala
2010-04-04
*
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
[next]