Sat, 21 Apr 2012 15:47:02 -0400 |
Adam Chlipala |
Antiquote for PRIMARY KEY |
Sat, 04 Feb 2012 10:42:18 -0500 |
Adam Chlipala |
Extend and document RANDOM |
Thu, 02 Feb 2012 11:40:10 -0500 |
Adam Chlipala |
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn) |
Mon, 02 Jan 2012 15:38:52 -0500 |
Adam Chlipala |
Add arguments to [type] declarations and signature items |
Sat, 31 Dec 2011 13:31:00 -0500 |
Adam Chlipala |
Error messages about applying 'dynClass' to tags that don't like it |
Wed, 28 Dec 2011 18:05:27 -0500 |
Adam Chlipala |
Get a few more source files up-to-date with change to [tag] type |
Tue, 27 Dec 2011 16:20:48 -0500 |
Adam Chlipala |
'dynClass' pseudo-attribute |
Sat, 03 Dec 2011 17:07:34 -0500 |
Adam Chlipala |
New 't.*' notation for SELECT |
Wed, 23 Nov 2011 13:17:40 -0430 |
Karn Kallio |
Add LIKE operator to SQL sublanguage. |
Sat, 19 Nov 2011 10:43:57 -0500 |
Adam Chlipala |
COALESCE |
Sat, 15 Oct 2011 13:30:59 -0400 |
Adam Chlipala |
Fix parsing conflict |
Sat, 15 Oct 2011 10:05:13 -0400 |
Adam Chlipala |
Extend and document 'con' syntax with arguments |
Fri, 14 Oct 2011 02:33:03 -0430 |
Karn Kallio |
IF THEN ELSE conditional for SQL. |
Thu, 22 Sep 2011 09:51:06 -0400 |
Adam Chlipala |
Resugar tag names before printing parse errors |
Fri, 19 Aug 2011 14:20:24 -0400 |
Adam Chlipala |
Add antiquote for ORDER BY directions |
Fri, 25 Feb 2011 11:27:16 -0500 |
Adam Chlipala |
sql_arith_option; 'ALL' for relational operators |
Thu, 17 Feb 2011 18:05:08 -0500 |
Adam Chlipala |
Syntactic sugar for grouping by variable numbers of columns |
Thu, 17 Feb 2011 14:18:18 -0500 |
Adam Chlipala |
More information in error message about select of field from unbound table |
Thu, 03 Feb 2011 11:12:48 -0500 |
Adam Chlipala |
Allow negative int patterns |
Sun, 23 Jan 2011 11:18:24 -0500 |
Adam Chlipala |
Allow CSS class specification for <form> |
Sun, 16 Jan 2011 14:16:09 -0500 |
Adam Chlipala |
Error message when FOREIGN KEY listts have different lengths |
Thu, 23 Dec 2010 17:46:40 -0500 |
Adam Chlipala |
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types |
Sun, 10 Oct 2010 20:33:10 -0400 |
Adam Chlipala |
:::_ notation; switch to TooDeep error message |
Sun, 10 Oct 2010 13:07:38 -0400 |
Adam Chlipala |
Flex kinds for type-level tuples; ::_ notation |
Thu, 27 May 2010 15:10:52 -0400 |
Adam Chlipala |
Consider view declarations while shaking |
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 |
Sat, 19 Sep 2009 14:21:25 -0400 |
Adam Chlipala |
Paging mostly working; just need to get it working properly with filtering |
Tue, 25 Aug 2009 13:57:56 -0400 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
Sun, 07 Jun 2009 14:15:22 -0400 |
Adam Chlipala |
List.all; fix ANDALSO/ORELSE parsing precedence |
Sun, 07 Jun 2009 12:01:55 -0400 |
Adam Chlipala |
&& and || |
Tue, 02 Jun 2009 19:28:25 -0400 |
Adam Chlipala |
Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp |
Tue, 02 Jun 2009 15:43:18 -0400 |
Adam Chlipala |
Tweak -- precedence; use right env for final exhaustiveness errors |
Thu, 28 May 2009 12:07:05 -0400 |
Adam Chlipala |
Destructing local let, to the point where demo compiles |