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
*
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
*
Initializers and setval
Adam Chlipala
2009-12-13
*
Tweaking SQL parsing and typing
Adam Chlipala
2009-12-13
*
Basis.url and redirects
Adam Chlipala
2009-12-10
*
Merge
Adam Chlipala
2009-12-03
|
\
*
|
Escaping UTF-8 in MonoOpt
Adam Chlipala
2009-12-03
|
*
Fix handling of clearCookie/getCookie in same page gen
Adam Chlipala
2009-11-27
|
/
*
Hint about disallowed attributes
Adam Chlipala
2009-11-25
*
Add 'id' attributes and <label>
Adam Chlipala
2009-11-25
*
Better error message for link-handler conflicts
Adam Chlipala
2009-11-25
*
Refactor compile functions; allow empty tag contents
Adam Chlipala
2009-11-25
*
Exit code of 1 on compilation failure
Adam Chlipala
2009-11-25
*
grid0 working in IE
Adam Chlipala
2009-11-22
*
Better subSgn error locations
Adam Chlipala
2009-10-15
*
Mangle local table names to avoid keyword clashes in SQL
Adam Chlipala
2009-10-05
*
Whitelisting tags that may be self-closed
Adam Chlipala
2009-09-26
*
Quoting JavaScript working
Adam Chlipala
2009-09-22
*
Compiled an 'option' pattern-match
Adam Chlipala
2009-09-22
*
More interpreter debugging
Adam Chlipala
2009-09-22
*
Functions working with interpretation
Adam Chlipala
2009-09-22
*
Basic arithmetic working with interpretation
Adam Chlipala
2009-09-22
*
Don't try to check if functions are already tail-recursive
Adam Chlipala
2009-09-17
*
Basic tail recursion introduction seems to be working
Adam Chlipala
2009-09-17
*
Be careful in Jscomp to avoid interpreting non-boolean/reference types as boo...
Adam Chlipala
2009-08-11
*
Fix type class resolution infinite loop, discovered while meeting with Ezra
Adam Chlipala
2009-08-06
*
<dyn> inside <tr>
Adam Chlipala
2009-08-06
*
dtable example and demos both working
Adam Chlipala
2009-08-06
*
Key events get key code input
Adam Chlipala
2009-07-18
[next]