log src/urweb.grm

age author description
2010-04-04 Adam Chlipala Pushing policies through
2010-03-25 Adam Chlipala 'AS' clauses for expression columns may be omitted
2010-03-25 Adam Chlipala Subquery FROM items
2010-03-25 Adam Chlipala Subquery expressions
2010-03-16 Adam Chlipala More informative tag mismatch error message
2010-03-16 Adam Chlipala COUNT(col)
2010-01-05 Adam Chlipala Loosen parsing of multiplication
2009-12-26 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications
2009-12-15 Adam Chlipala Allow same constructor shorthand for 'view' sig items as for 'table'
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval
2009-12-13 Adam Chlipala Better record summary error messages; more tweaking SQL usability
2009-12-13 Adam Chlipala Tweaking SQL parsing and typing
2009-11-25 Adam Chlipala Refactor compile functions; allow empty tag contents
2009-10-20 Adam Chlipala Add tuple pattern-matching at the constructor level
2009-10-06 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization
2009-09-19 Adam Chlipala Paging mostly working; just need to get it working properly with filtering
2009-08-25 Adam Chlipala grid1 compiles but gets stuck in JS
2009-06-07 Adam Chlipala List.all; fix ANDALSO/ORELSE parsing precedence
2009-06-07 Adam Chlipala && and ||
2009-06-02 Adam Chlipala Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
2009-06-02 Adam Chlipala Tweak -- precedence; use right env for final exhaustiveness errors
2009-05-28 Adam Chlipala Destructing local let, to the point where demo compiles
2009-05-28 Adam Chlipala Demo compiles with pattern-matching-fu
2009-05-28 Adam Chlipala fn-pattern code in but not tested yet; hello compiles
2009-05-26 Adam Chlipala Chars and more string operations
2009-05-16 Adam Chlipala Mutual datatypes through Elaborate
2009-05-14 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps
2009-04-30 Adam Chlipala List notations
2009-04-30 Adam Chlipala Subforms type-checks; lists urlified and unurlified
2009-04-28 Adam Chlipala Subforms
2009-04-28 Adam Chlipala A view query works
2009-04-28 Adam Chlipala RIGHT and FULL JOIN
2009-04-28 Adam Chlipala LEFT JOIN
2009-04-28 Adam Chlipala INNER JOIN
2009-04-28 Adam Chlipala Switch to using sql_from_items
2009-04-26 Adam Chlipala sql_ufunc and octet_length
2009-04-16 Adam Chlipala <link>
2009-04-12 Adam Chlipala Classes as optional arguments to Basis.tag
2009-04-12 Adam Chlipala Stop tracking CSS classes in XML types
2009-04-12 Adam Chlipala hello compiles with CSS
2009-04-12 Adam Chlipala style declarations
2009-04-09 Adam Chlipala URLs
2009-04-09 Adam Chlipala CHECK constraints
2009-04-09 Adam Chlipala More flexible foreign keying
2009-04-09 Adam Chlipala Made type class system very general; demo compiles
2009-04-08 Adam Chlipala Get demo type-inferring again
2009-04-07 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
2009-04-07 Adam Chlipala PRIMARY KEY
2009-04-07 Adam Chlipala Enhance table sig item support and get demo compiling again
2009-04-07 Adam Chlipala Track uniqueness sets in table types
2009-04-07 Adam Chlipala UNIQUE constraints
2009-04-04 Adam Chlipala sleep and better Scriptcheck
2009-03-26 Adam Chlipala Type class reductions, but no inclusions yet
2009-02-24 Adam Chlipala Demos compile again, with manual folders
2009-02-24 Adam Chlipala Top.Fold.concat elaborates
2009-02-24 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2009-02-21 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
2008-12-19 Adam Chlipala Initial conversion to arbitrary-kind classes
2008-12-09 Adam Chlipala Add SQL arithmetic operators
2008-12-07 Adam Chlipala Finish documenting queries; remove a stray [unit] argument
2008-11-12 Adam Chlipala Add CutMulti
2008-11-08 Adam Chlipala Some small changes while failing to write [restrict]
2008-11-08 Adam Chlipala Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files
2008-11-07 Adam Chlipala Tree demo working (and other assorted regressions fixed)
2008-11-06 Adam Chlipala Tree demo works
2008-11-06 Adam Chlipala Inserted a NULL value
2008-11-06 Adam Chlipala Cookies through explify
2008-11-06 Adam Chlipala Cookies through elaborate
2008-11-01 Adam Chlipala Parsing 'let'
2008-10-31 Adam Chlipala Replace 'with' with '++'
2008-10-30 Adam Chlipala CURRENT_TIMESTAMP
2008-10-27 Adam Chlipala Remove need for '() <-' notation
2008-10-21 Adam Chlipala New implicit argument handling
2008-10-21 Adam Chlipala lt, le working for int
2008-10-21 Adam Chlipala num working for int
2008-10-14 Adam Chlipala lform -> form
2008-10-14 Adam Chlipala Syntax highlighting for embedded XML
2008-10-12 Adam Chlipala Basis and Top syntax-highlight, indent, parse, and type-check
2008-10-12 Adam Chlipala Basis indents and type-checks with new twiddle syntax
2008-10-04 Adam Chlipala Merge CDisjoint and TDisjoint
2008-09-14 Adam Chlipala Crud completed
2008-09-14 Adam Chlipala Crud update form
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-14 Adam Chlipala SQL sequences
2008-09-13 Adam Chlipala foldTR2
2008-09-11 Adam Chlipala Crud listing IDs
2008-09-07 Adam Chlipala Automatically add table annotations in UPDATE and DELETE
2008-09-07 Adam Chlipala Scratch that change....
2008-09-07 Adam Chlipala Remove need to mention table name in expressions for UPDATE and DELETE
2008-09-07 Adam Chlipala Parsing DELETE
2008-09-07 Adam Chlipala Parsing UPDATE
2008-09-07 Adam Chlipala Parsing INSERT
2008-09-07 Adam Chlipala Elaborated 'update'
2008-09-07 Adam Chlipala Elaborated 'insert'
2008-08-31 Adam Chlipala Monoize ASC/DESC
2008-08-31 Adam Chlipala Add 'ne' to 'eq' type class
2008-08-31 Adam Chlipala 'eq' type class
2008-08-31 Adam Chlipala Laconic -> Ur base src/lacweb.grm@f34b36e70e5c