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
*
'also' policies and policy reduction; calendar in good shape
Adam Chlipala
2010-04-15
*
Parsing ORDER BY
Adam Chlipala
2010-04-15
*
Get refurbished Iflow working with calendar
Adam Chlipala
2010-04-14
*
More descriptive info flow error message
Adam Chlipala
2010-04-13
*
Completely redid main Iflow logic; so far, policy and policy2 work
Adam Chlipala
2010-04-13
*
Command-line use of Iflow
Adam Chlipala
2010-04-13
*
Catching lame FFI applications
Adam Chlipala
2010-04-13
*
Fix problem with overly weak ambients for queries; fix known-related bug in a...
Adam Chlipala
2010-04-13
*
When applying multiple policies at once, filter the policy set at the beginni...
Adam Chlipala
2010-04-13
*
Avoid pointless rebuilding of hypothesis E-graphs
Adam Chlipala
2010-04-13
*
Havoc relations that have been updated
Adam Chlipala
2010-04-13
*
sendOwnIds policies
Adam Chlipala
2010-04-11
*
Using multiple policies to check a written value
Adam Chlipala
2010-04-11
*
Iflow working with a UNION
Adam Chlipala
2010-04-11
*
Use functional dependency information
Adam Chlipala
2010-04-11
*
Tweaks to table signatures and MonoOpt summarizing
Adam Chlipala
2010-04-11
*
Complete update records with fields that are not being set
Adam Chlipala
2010-04-11
*
Update policies
Adam Chlipala
2010-04-11
*
Express all query outputs using record literals
Adam Chlipala
2010-04-11
*
Delete policies
Adam Chlipala
2010-04-11
*
Insert policies
Adam Chlipala
2010-04-11
*
Constants are known
Adam Chlipala
2010-04-10
*
Path conditions, used to track implicit flows
Adam Chlipala
2010-04-10
*
Abstract type for evalExp state; handle WHERE conditions soundly
Adam Chlipala
2010-04-10
*
Some serious debugging of the new Cc
Adam Chlipala
2010-04-08
*
Implemented proper congruence closure, to the point where tests/policy works
Adam Chlipala
2010-04-08
*
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
*
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
[next]