changeset | e791d93d4616 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | secret logon |
files |
changeset | fc33072c4d33 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Replaced Select predicate with special-case handling for one-or-no-rows queries |
files |
changeset | 1d4d65245dd3 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | About to try removing Select predicate |
files |
changeset | c5bd970e77a5 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Parsing more comparison operators |
files |
changeset | 775357041e48 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Parsing float and string SQL literals |
files |
changeset | b5a4c5407ae0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Checking known() correctly, according to a pair of examples |
files |
changeset | ae3036773768 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Introduced the known() predicate |
files |
changeset | 772760df4c4c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Parsing more of WHERE |
files |
changeset | 7cd11380cdf1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | WHERE-dependent checking |
files |
changeset | 7af5e2af64f4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Parsed a WHERE clause |
files |
changeset | a75c66dd2aeb |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Relax checking of table implications |
files |
changeset | 509a6d7b60fb |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Iflow tested with positive and negative cases |
files |
changeset | 8793fd48968c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Generating a good Iflow condition for a test query |
files |
changeset | 5eac14322548 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Generated basic dummy Iflow conditions |
files |