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
/
tests
Commit message (
Expand
)
Author
Age
*
getHeader and setHeader
Adam Chlipala
2011-05-29
*
Properly handle form textboxes that have sources
Adam Chlipala
2011-05-29
*
Escape less-than in JavaScript strings
Adam Chlipala
2011-05-12
*
Warn that tests ought not to be used
Adam Chlipala
2011-04-17
*
Send newly created sources with messages to clients
Adam Chlipala
2011-04-09
*
Each context gets its own non-repeating sequence of source numbers
Adam Chlipala
2011-04-09
*
Fix MySQL time handling
Adam Chlipala
2011-03-27
*
Fix some cookie-related bugs in MonoReduce
Adam Chlipala
2011-02-10
*
Fix for handling of some attributes to client-side input widgets, based on a ...
Adam Chlipala
2011-01-16
*
Patch from Vladimir Shabanov to support crypt under OS X
Adam Chlipala
2011-01-16
*
Hopeful fix to stop Especialize infinite looping
Adam Chlipala
2010-12-21
*
Use proper string time format for SQLite
Adam Chlipala
2010-12-20
*
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
*
Change Basis.debug to use the protocol's debug function
Adam Chlipala
2010-12-12
*
minHeap option in .urp files
Adam Chlipala
2010-12-11
*
Comments in .urp files
Adam Chlipala
2010-12-11
*
New argument to transactional free functions, to specify whether we are about...
Adam Chlipala
2010-12-04
*
-limit for running time
Adam Chlipala
2010-10-14
*
Interface for setting memory limits
Adam Chlipala
2010-10-14
*
Hopeful fix for the Great Unification Bug
Adam Chlipala
2010-10-10
*
Flex kinds for type-level tuples; ::_ notation
Adam Chlipala
2010-10-10
*
Shortcut invocations for single .ur files
Adam Chlipala
2010-09-07
*
'tryDml' works with Postgres
Adam Chlipala
2010-09-07
*
Server-side 'onError'
Adam Chlipala
2010-09-07
*
tryDml
Adam Chlipala
2010-09-05
*
Support multiple CSS classes for a single tag
Adam Chlipala
2010-09-05
*
Polymorphic variants
Adam Chlipala
2010-08-19
*
HTML comments
Adam Chlipala
2010-08-10
*
ML-style comments inside XML
Adam Chlipala
2010-08-10
*
Roll back WHERE checking
Adam Chlipala
2010-07-27
*
Initial version of equalKnown working for secret
Adam Chlipala
2010-07-27
*
Consider view declarations while shaking
Adam Chlipala
2010-05-27
*
Fix bug in module path generation with module roots; push wildification throu...
Adam Chlipala
2010-05-27
*
URL-escape with '.' instead of '%', to avoid confusing proxies
Adam Chlipala
2010-05-18
*
Completely redid main Iflow logic; so far, policy and policy2 work
Adam Chlipala
2010-04-13
*
Using multiple policies to check a written value
Adam Chlipala
2010-04-11
*
Change query_policy to sendClient; all arguments passed to SQL predicates are...
Adam Chlipala
2010-04-08
*
Parsing more comparison operators
Adam Chlipala
2010-04-06
*
Parsing float and string SQL literals
Adam Chlipala
2010-04-06
*
Introduced the known() predicate
Adam Chlipala
2010-04-06
*
Parsing more of WHERE
Adam Chlipala
2010-04-04
*
WHERE-dependent checking
Adam Chlipala
2010-04-04
*
Parsed a WHERE clause
Adam Chlipala
2010-04-04
*
Relax checking of table implications
Adam Chlipala
2010-04-04
*
Iflow tested with positive and negative cases
Adam Chlipala
2010-04-04
*
Generating a good Iflow condition for a test query
Adam Chlipala
2010-04-04
*
Generated basic dummy Iflow conditions
Adam Chlipala
2010-04-04
*
Pushing policies through
Adam Chlipala
2010-04-04
[next]