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_print.sml
Commit message (
Expand
)
Author
Age
*
Roll back WHERE checking
Adam Chlipala
2010-07-27
*
equalAny policies
Adam Chlipala
2010-07-27
*
Initial version of equalKnown working for secret
Adam Chlipala
2010-07-27
*
sendOwnIds policies
Adam Chlipala
2010-04-11
*
Update policies
Adam Chlipala
2010-04-11
*
Delete policies
Adam Chlipala
2010-04-11
*
Insert policies
Adam Chlipala
2010-04-11
*
Change query_policy to sendClient; all arguments passed to SQL predicates are...
Adam Chlipala
2010-04-08
*
Pushing policies through
Adam Chlipala
2010-04-04
*
Proper C-side deserialization; Shake.sliceDb
Adam Chlipala
2010-01-03
*
Eta-expand bodies of transaction functions in Monoization, to enable later op...
Adam Chlipala
2009-12-31
*
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
*
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
*
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
Adam Chlipala
2009-06-07
*
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
*
Effectness analysis
Adam Chlipala
2009-04-16
*
Catching duplicate cookie and style paths
Adam Chlipala
2009-04-16
*
Stop tracking CSS classes in XML types
Adam Chlipala
2009-04-12
*
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
*
On start-up, delete/nullify rows mentioning clients or channels
Adam Chlipala
2009-04-02
*
Expunging non-nullable rows
Adam Chlipala
2009-03-29
*
Proper recv
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
*
Injecting a float
Adam Chlipala
2009-01-01
*
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
*
Binops; equality tested on int; lame 404 substitute
Adam Chlipala
2008-10-21
*
SQL sequences
Adam Chlipala
2008-09-14
[next]