Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Checking known() correctly, according to a pair of examples | 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 | ||