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 (
Collapse
)
Author
Age
*
-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 ↵
Adam Chlipala
2010-05-27
|
|
|
|
through substructures
*
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 ↵
Adam Chlipala
2010-04-08
|
|
|
|
are variables
*
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 ↵
Adam Chlipala
2009-12-26
|
|
|
|
applications
*
Test for Firebug weirdness
Adam Chlipala
2009-12-24
|
*
Proper JavaScript-side URI escaping/de-escaping; fix C-side URL encoding of ↵
Adam Chlipala
2009-12-24
|
|
|
|
big characters
*
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
|
*
Initializers and setval
Adam Chlipala
2009-12-13
|
[next]