Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Completely redid main Iflow logic; so far, policy and policy2 work | 2010-04-13 | |
* | Using multiple policies to check a written value | 2010-04-11 | |
* | Change query_policy to sendClient; all arguments passed to SQL predicates are... | 2010-04-08 | |
* | Parsing more comparison operators | 2010-04-06 | |
* | Parsing float and string SQL literals | 2010-04-06 | |
* | Introduced the known() predicate | 2010-04-06 | |
* | Parsing more of WHERE | 2010-04-04 | |
* | WHERE-dependent checking | 2010-04-04 | |
* | Parsed a WHERE clause | 2010-04-04 | |
* | Relax checking of table implications | 2010-04-04 | |
* | Iflow tested with positive and negative cases | 2010-04-04 | |
* | Generating a good Iflow condition for a test query | 2010-04-04 | |
* | Generated basic dummy Iflow conditions | 2010-04-04 | |
* | Pushing policies through | 2010-04-04 |