Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Parsing more comparison operators | 2010-04-06 | ||
* | Parsing float and string SQL literals | 2010-04-06 | ||
* | 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 |