| Sun, 04 Apr 2010 12:29:34 -0400 |
Adam Chlipala |
Pushing policies through |
| Thu, 25 Mar 2010 16:41:51 -0400 |
Adam Chlipala |
'AS' clauses for expression columns may be omitted |
| 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 |
| Tue, 16 Mar 2010 16:17:02 -0400 |
Adam Chlipala |
More informative tag mismatch error message |
| Tue, 16 Mar 2010 15:54:35 -0400 |
Adam Chlipala |
COUNT(col) |
| Tue, 05 Jan 2010 10:22:55 -0500 |
Adam Chlipala |
Loosen parsing of multiplication |
| Sat, 26 Dec 2009 11:56:40 -0500 |
Adam Chlipala |
Make summary unification more conservative; infer implicit arguments after applications |
| Tue, 15 Dec 2009 11:11:49 -0500 |
Adam Chlipala |
Allow same constructor shorthand for 'view' sig items as for 'table' |
| Tue, 15 Dec 2009 10:19:05 -0500 |
Adam Chlipala |
Convert to task syntax |
| Sun, 13 Dec 2009 14:20:41 -0500 |
Adam Chlipala |
Initializers and setval |
| Sun, 13 Dec 2009 11:28:47 -0500 |
Adam Chlipala |
Better record summary error messages; more tweaking SQL usability |
| Sun, 13 Dec 2009 10:13:06 -0500 |
Adam Chlipala |
Tweaking SQL parsing and typing |
| Wed, 25 Nov 2009 08:52:32 -0500 |
Adam Chlipala |
Refactor compile functions; allow empty tag contents |
| Tue, 20 Oct 2009 10:19:00 -0400 |
Adam Chlipala |
Add tuple pattern-matching at the constructor level |
| Tue, 06 Oct 2009 15:39:27 -0400 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
