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
/
src
/
iflow.sml
Commit message (
Expand
)
Author
Age
*
Change query_policy to sendClient; all arguments passed to SQL predicates are...
Adam Chlipala
2010-04-08
*
secret logon
Adam Chlipala
2010-04-06
*
Replaced Select predicate with special-case handling for one-or-no-rows queries
Adam Chlipala
2010-04-06
*
About to try removing Select predicate
Adam Chlipala
2010-04-06
*
Parsing more comparison operators
Adam Chlipala
2010-04-06
*
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