log src/urweb.grm

age author description
Sun, 06 May 2012 15:15:46 -0400 Adam Chlipala 'dynStyle' pseudo-attribute
Sun, 06 May 2012 14:01:29 -0400 Adam Chlipala 'style' attributes
Sun, 06 May 2012 13:07:13 -0400 Adam Chlipala Simplify type of Basis.tag, regarding 'class' attribute; new compatibility parsing of 'class' values given as string literals
Sun, 29 Apr 2012 13:17:31 -0400 Adam Chlipala Initial support for reusing elaboration results
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
Thu, 28 May 2009 10:35:25 -0400 Adam Chlipala Demo compiles with pattern-matching-fu
Thu, 28 May 2009 10:16:50 -0400 Adam Chlipala fn-pattern code in but not tested yet; hello compiles
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations
Sat, 16 May 2009 15:14:17 -0400 Adam Chlipala Mutual datatypes through Elaborate
Thu, 14 May 2009 08:13:54 -0400 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps
Thu, 30 Apr 2009 15:10:13 -0400 Adam Chlipala List notations
Thu, 30 Apr 2009 11:48:56 -0400 Adam Chlipala Subforms type-checks; lists urlified and unurlified
Tue, 28 Apr 2009 17:26:53 -0400 Adam Chlipala Subforms
Tue, 28 Apr 2009 15:04:37 -0400 Adam Chlipala A view query works
Tue, 28 Apr 2009 11:14:24 -0400 Adam Chlipala RIGHT and FULL JOIN
Tue, 28 Apr 2009 11:05:28 -0400 Adam Chlipala LEFT JOIN
Tue, 28 Apr 2009 10:11:56 -0400 Adam Chlipala INNER JOIN
Tue, 28 Apr 2009 09:45:17 -0400 Adam Chlipala Switch to using sql_from_items
Sun, 26 Apr 2009 12:35:45 -0400 Adam Chlipala sql_ufunc and octet_length
Thu, 16 Apr 2009 12:00:44 -0400 Adam Chlipala <link>
Sun, 12 Apr 2009 14:19:15 -0400 Adam Chlipala Classes as optional arguments to Basis.tag
Sun, 12 Apr 2009 12:31:54 -0400 Adam Chlipala Stop tracking CSS classes in XML types
Sun, 12 Apr 2009 11:08:00 -0400 Adam Chlipala hello compiles with CSS
Sun, 12 Apr 2009 10:08:11 -0400 Adam Chlipala style declarations
Thu, 09 Apr 2009 16:36:50 -0400 Adam Chlipala URLs
Thu, 09 Apr 2009 15:30:15 -0400 Adam Chlipala CHECK constraints
Thu, 09 Apr 2009 13:59:34 -0400 Adam Chlipala More flexible foreign keying
Thu, 09 Apr 2009 12:31:56 -0400 Adam Chlipala Made type class system very general; demo compiles
Tue, 07 Apr 2009 20:38:01 -0400 Adam Chlipala Get demo type-inferring again
Tue, 07 Apr 2009 18:47:47 -0400 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
Tue, 07 Apr 2009 16:14:31 -0400 Adam Chlipala PRIMARY KEY
Tue, 07 Apr 2009 15:04:07 -0400 Adam Chlipala Enhance table sig item support and get demo compiling again
Tue, 07 Apr 2009 14:11:32 -0400 Adam Chlipala Track uniqueness sets in table types
Tue, 07 Apr 2009 12:24:31 -0400 Adam Chlipala UNIQUE constraints
Sat, 04 Apr 2009 15:56:47 -0400 Adam Chlipala sleep and better Scriptcheck
Thu, 26 Mar 2009 14:37:31 -0400 Adam Chlipala Type class reductions, but no inclusions yet
Tue, 24 Feb 2009 15:12:13 -0500 Adam Chlipala Demos compile again, with manual folders
Tue, 24 Feb 2009 13:46:08 -0500 Adam Chlipala Top.Fold.concat elaborates
Tue, 24 Feb 2009 12:01:24 -0500 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
Sun, 22 Feb 2009 16:10:25 -0500 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
Sat, 21 Feb 2009 15:33:20 -0500 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
Fri, 19 Dec 2008 10:03:31 -0500 Adam Chlipala Initial conversion to arbitrary-kind classes
Tue, 09 Dec 2008 14:41:19 -0500 Adam Chlipala Add SQL arithmetic operators
Sun, 07 Dec 2008 10:02:04 -0500 Adam Chlipala Finish documenting queries; remove a stray [unit] argument
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti
Sat, 08 Nov 2008 13:15:00 -0500 Adam Chlipala Some small changes while failing to write [restrict]
Sat, 08 Nov 2008 10:33:58 -0500 Adam Chlipala Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files
Thu, 06 Nov 2008 19:43:48 -0500 Adam Chlipala Tree demo working (and other assorted regressions fixed)
Thu, 06 Nov 2008 18:49:38 -0500 Adam Chlipala Tree demo works
Thu, 06 Nov 2008 15:37:38 -0500 Adam Chlipala Inserted a NULL value
Thu, 06 Nov 2008 10:43:48 -0500 Adam Chlipala Cookies through explify
Thu, 06 Nov 2008 10:29:55 -0500 Adam Chlipala Cookies through elaborate
Sat, 01 Nov 2008 10:47:10 -0400 Adam Chlipala Parsing 'let'
Fri, 31 Oct 2008 09:30:22 -0400 Adam Chlipala Replace 'with' with '++'
Thu, 30 Oct 2008 15:33:28 -0400 Adam Chlipala CURRENT_TIMESTAMP
Mon, 27 Oct 2008 08:27:45 -0400 Adam Chlipala Remove need for '() <-' notation
Tue, 21 Oct 2008 16:41:11 -0400 Adam Chlipala New implicit argument handling
Tue, 21 Oct 2008 10:56:43 -0400 Adam Chlipala lt, le working for int
Tue, 21 Oct 2008 10:34:07 -0400 Adam Chlipala num working for int
Tue, 14 Oct 2008 16:41:48 -0400 Adam Chlipala lform -> form
Tue, 14 Oct 2008 16:37:43 -0400 Adam Chlipala Syntax highlighting for embedded XML
Sun, 12 Oct 2008 12:21:54 -0400 Adam Chlipala Basis and Top syntax-highlight, indent, parse, and type-check
Sun, 12 Oct 2008 11:44:43 -0400 Adam Chlipala Basis indents and type-checks with new twiddle syntax
Sat, 04 Oct 2008 15:50:28 -0400 Adam Chlipala Merge CDisjoint and TDisjoint
Sun, 14 Sep 2008 19:14:40 -0400 Adam Chlipala Crud completed
Sun, 14 Sep 2008 19:03:55 -0400 Adam Chlipala Crud update form
Sun, 14 Sep 2008 15:10:04 -0400 Adam Chlipala Crud supports INSERT
Sun, 14 Sep 2008 11:02:18 -0400 Adam Chlipala SQL sequences
Sat, 13 Sep 2008 10:30:45 -0400 Adam Chlipala foldTR2
Thu, 11 Sep 2008 17:41:52 -0400 Adam Chlipala Crud listing IDs
Sun, 07 Sep 2008 15:35:08 -0400 Adam Chlipala Automatically add table annotations in UPDATE and DELETE
Sun, 07 Sep 2008 14:38:14 -0400 Adam Chlipala Scratch that change....
Sun, 07 Sep 2008 14:30:32 -0400 Adam Chlipala Remove need to mention table name in expressions for UPDATE and DELETE