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
/
lib
Commit message (
Collapse
)
Author
Age
*
More string processing
Adam Chlipala
2011-01-13
|
*
Some more string parsing functions; naughtyDebug
Adam Chlipala
2011-01-11
|
*
String processing optimizations
Adam Chlipala
2011-01-11
|
*
Basis.currentUrlHasPost
Adam Chlipala
2011-01-06
|
*
Client-side redirects
Adam Chlipala
2011-01-06
|
*
Basis.readUtc
Adam Chlipala
2010-12-28
|
*
queryString and effectfulUrl
Adam Chlipala
2010-12-26
|
*
Expose buffer type for other C libraries; replace minusSeconds with addSeconds
Adam Chlipala
2010-12-26
|
*
Top.queryI1; fix definition of uw_Basis_minTime
Adam Chlipala
2010-12-24
|
*
[De]serialization of times in JavaScript; proper integer division in ↵
Adam Chlipala
2010-12-23
|
|
|
|
JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
*
Recursive record unification errors, for more detail
Adam Chlipala
2010-12-23
|
*
Basis.cdataChar
Adam Chlipala
2010-12-21
|
*
Allow SQL aggregation over nullable types
Adam Chlipala
2010-12-21
|
*
Periodic tasks
Adam Chlipala
2010-12-18
|
*
Change tasks to support parametric code; add clientLeaves
Adam Chlipala
2010-12-18
|
*
postBody type
Adam Chlipala
2010-12-18
|
*
Fiddly tweaks
Adam Chlipala
2010-12-16
|
*
Moving Incl and Mem to Meta library
Adam Chlipala
2010-12-14
|
*
Fix JavaScript unit unurlification; URL blessing client-side
Adam Chlipala
2010-11-26
|
*
Fix a bug in C list unurlification
Adam Chlipala
2010-11-21
|
*
queryL1 and List.sort
Adam Chlipala
2010-11-20
|
*
Monad.appR3
Adam Chlipala
2010-10-19
|
*
Monad.appR
Adam Chlipala
2010-10-19
|
*
Simplify type of Monad.appR2
Adam Chlipala
2010-10-17
|
*
Tweaking unification fix to apply to demo/more
Adam Chlipala
2010-10-10
|
*
tryDml
Adam Chlipala
2010-09-05
|
*
Support multiple CSS classes for a single tag
Adam Chlipala
2010-09-05
|
*
Add 'title' attribute
Adam Chlipala
2010-09-04
|
*
Confirm boxes; proper event handler setting for ctags
Adam Chlipala
2010-08-22
|
*
Polymorphic variants
Adam Chlipala
2010-08-19
|
*
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
|
*
List.mapi
Adam Chlipala
2010-06-13
|
*
More generous wildification, covering map-records
Adam Chlipala
2010-06-13
|
*
Some serious bug-fix work to get HTML example to compile; this includes ↵
Adam Chlipala
2010-06-03
|
|
|
|
fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
*
Switch to strings and eval for thunkifying JavaScripted functions
Adam Chlipala
2010-05-22
|
*
Thunking recursive JavaScripted function ASTs, to reduce page load time ↵
Adam Chlipala
2010-05-22
|
|
|
|
dramatically
*
URL-escape with '.' instead of '%', to avoid confusing proxies
Adam Chlipala
2010-05-18
|
*
Fix C-mangling of datatype names
Adam Chlipala
2010-05-16
|
*
Add rand to Basis and handle it in Iflow
Adam Chlipala
2010-04-29
|
*
'also' policies and policy reduction; calendar in good shape
Adam Chlipala
2010-04-15
|
*
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 ↵
Adam Chlipala
2010-04-08
|
|
|
|
are variables
*
Introduced the known() predicate
Adam Chlipala
2010-04-06
|
*
Pushing policies through
Adam Chlipala
2010-04-04
|
*
Make SELECT FROM clauses optional
Adam Chlipala
2010-03-28
|
[next]