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
|