Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | |