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
*
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
*
'AS' clauses for expression columns may be omitted
Adam Chlipala
2010-03-25
*
Subquery FROM items
Adam Chlipala
2010-03-25
*
Subquery expressions
Adam Chlipala
2010-03-25
*
More informative tag mismatch error message
Adam Chlipala
2010-03-16
*
COUNT(col)
Adam Chlipala
2010-03-16
*
Undo an Especialize change that turned out to be unecessary
Adam Chlipala
2010-03-16
*
Fix parsing of space-free .urp directives; use 'class' for 'c*' tags
Adam Chlipala
2010-02-28
*
-path and -root command-line flags
Adam Chlipala
2010-01-12
*
Supporting any number of arguments for explicitly exported functions
Adam Chlipala
2010-01-12
*
Proper client-side attrifyString
Adam Chlipala
2010-01-01
*
Test case for character code escapes
Adam Chlipala
2009-12-29
*
ctextarea; s/header/include in the manual
Adam Chlipala
2009-12-29
*
Make summary unification more conservative; infer implicit arguments after ap...
Adam Chlipala
2009-12-26
*
Test for Firebug weirdness
Adam Chlipala
2009-12-24
*
Proper JavaScript-side URI escaping/de-escaping; fix C-side URL encoding of b...
Adam Chlipala
2009-12-24
*
Especialize uses a termination measure based on number of arguments introduced
Adam Chlipala
2009-12-15
*
Initial generalization of Especialize, with security bug known
Adam Chlipala
2009-12-15
*
Convert to task syntax
Adam Chlipala
2009-12-15
[next]