Tue, 06 Apr 2010 16:14:19 -0400 |
Adam Chlipala |
secret logon |
Tue, 06 Apr 2010 15:17:28 -0400 |
Adam Chlipala |
Replaced Select predicate with special-case handling for one-or-no-rows queries |
Tue, 06 Apr 2010 13:59:16 -0400 |
Adam Chlipala |
About to try removing Select predicate |
Tue, 06 Apr 2010 12:04:08 -0400 |
Adam Chlipala |
Parsing more comparison operators |
Tue, 06 Apr 2010 11:07:19 -0400 |
Adam Chlipala |
Parsing float and string SQL literals |
Tue, 06 Apr 2010 10:39:15 -0400 |
Adam Chlipala |
Checking known() correctly, according to a pair of examples |
Tue, 06 Apr 2010 09:51:36 -0400 |
Adam Chlipala |
Introduced the known() predicate |