index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
|
*
Parsing float and string SQL literals
Adam Chlipala
2010-04-06
|
*
Checking known() correctly, according to a pair of examples
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
|
/
*
New release
Adam Chlipala
2010-04-01
*
Relational operators portability
Adam Chlipala
2010-04-01
*
Make SELECT FROM clauses optional
Adam Chlipala
2010-03-28
*
'AS' clauses for expression columns may be omitted
Adam Chlipala
2010-03-25
*
Add subqueries to the manual
Adam Chlipala
2010-03-25
*
Subquery FROM items
Adam Chlipala
2010-03-25
*
Subquery expressions
Adam Chlipala
2010-03-25
*
New release
Adam Chlipala
2010-03-25
*
More informative tag mismatch error message
Adam Chlipala
2010-03-16
*
Update manual for COUNT(col)
Adam Chlipala
2010-03-16
*
COUNT(col)
Adam Chlipala
2010-03-16
*
Remove unpoly1
Adam Chlipala
2010-03-16
*
Undo an Especialize change that turned out to be unecessary
Adam Chlipala
2010-03-16
*
Re-add accidentally-removed parsing case for 'effectful'
Adam Chlipala
2010-03-09
*
safeGet
Adam Chlipala
2010-03-09
*
Spiffed-up Split1; remove spurious error message triggered by 'open'ing a mod...
Adam Chlipala
2010-03-09
*
Got split1 working, but noticed a nasty type inference bug with transplanted ...
Adam Chlipala
2010-03-06
*
Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly
Adam Chlipala
2010-03-06
*
Dead code elimination in Reduce code
Adam Chlipala
2010-03-04
*
-verbose
Adam Chlipala
2010-03-04
*
Louder jscomp; toUpper/Lower fix for JavaScript
Adam Chlipala
2010-03-04
*
Tone down Reduce and compensate with a new push-lambda-inside-case rule in Mo...
Adam Chlipala
2010-03-02
*
Monad.foldMapR
Adam Chlipala
2010-03-02
*
String.isPrefix
Adam Chlipala
2010-03-02
*
Fix parsing of space-free .urp directives; use 'class' for 'c*' tags
Adam Chlipala
2010-02-28
*
Changing foldRX to mapX
Adam Chlipala
2010-02-28
*
benignEffectful
Adam Chlipala
2010-02-27
*
Basic analysis of tag and CSS class usage
Adam Chlipala
2010-02-27
*
Normalize URLs to deal with page names that contain apostrophes
Adam Chlipala
2010-02-25
*
Use COALESCE to hide NULL results of aggregate functions; fix bug with improp...
Adam Chlipala
2010-02-25
*
Remove Basis.getRequestHeader, because it can subvert cookie security
Adam Chlipala
2010-02-13
*
New release
Adam Chlipala
2010-02-13
*
'configure' checks for libmhash and MLton
Adam Chlipala
2010-02-11
*
sigfile directive
Adam Chlipala
2010-02-11
*
Tips for CGI scripts without httpd.conf access
Adam Chlipala
2010-02-09
*
Set additional request headers for POST RPCs
Adam Chlipala
2010-02-09
*
Update manual with Gian's experience building in OS X
Adam Chlipala
2010-02-09
*
Expand 'row types' in first paragraph of manual
Adam Chlipala
2010-02-07
*
Tiny Makefile fix for sed style/compatibility
Adam Chlipala
2010-02-07
[prev]
[next]