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 |
Sun, 04 Apr 2010 17:44:12 -0400 |
Adam Chlipala |
Parsing more of WHERE |
Sun, 04 Apr 2010 17:18:41 -0400 |
Adam Chlipala |
WHERE-dependent checking |
Sun, 04 Apr 2010 17:11:22 -0400 |
Adam Chlipala |
Parsed a WHERE clause |
Sun, 04 Apr 2010 16:44:34 -0400 |
Adam Chlipala |
Relax checking of table implications |
Sun, 04 Apr 2010 16:17:23 -0400 |
Adam Chlipala |
Iflow tested with positive and negative cases |
Sun, 04 Apr 2010 15:17:57 -0400 |
Adam Chlipala |
Generating a good Iflow condition for a test query |
Sun, 04 Apr 2010 14:37:19 -0400 |
Adam Chlipala |
Generated basic dummy Iflow conditions |
Sun, 04 Apr 2010 12:29:34 -0400 |
Adam Chlipala |
Pushing policies through |
Sat, 17 Apr 2010 13:57:10 -0400 |
Adam Chlipala |
Forward reference to URI convention |
Thu, 01 Apr 2010 17:23:17 -0400 |
Adam Chlipala |
New release |
Thu, 01 Apr 2010 17:21:16 -0400 |
Adam Chlipala |
Relational operators portability |
Sun, 28 Mar 2010 10:10:35 -0400 |
Adam Chlipala |
Make SELECT FROM clauses optional |
Thu, 25 Mar 2010 16:41:51 -0400 |
Adam Chlipala |
'AS' clauses for expression columns may be omitted |
Thu, 25 Mar 2010 16:27:10 -0400 |
Adam Chlipala |
Add subqueries to the manual |
Thu, 25 Mar 2010 16:06:04 -0400 |
Adam Chlipala |
Subquery FROM items |
Thu, 25 Mar 2010 15:44:24 -0400 |
Adam Chlipala |
Subquery expressions |
Thu, 25 Mar 2010 13:04:49 -0400 |
Adam Chlipala |
New release |
Tue, 16 Mar 2010 16:17:02 -0400 |
Adam Chlipala |
More informative tag mismatch error message |
Tue, 16 Mar 2010 16:02:54 -0400 |
Adam Chlipala |
Update manual for COUNT(col) |
Tue, 16 Mar 2010 15:54:35 -0400 |
Adam Chlipala |
COUNT(col) |