Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | List notations | Adam Chlipala | 2009-04-30 |
| | |||
* | Subforms type-checks; lists urlified and unurlified | Adam Chlipala | 2009-04-30 |
| | |||
* | Subforms | Adam Chlipala | 2009-04-28 |
| | |||
* | A view query works | Adam Chlipala | 2009-04-28 |
| | |||
* | RIGHT and FULL JOIN | Adam Chlipala | 2009-04-28 |
| | |||
* | LEFT JOIN | Adam Chlipala | 2009-04-28 |
| | |||
* | INNER JOIN | Adam Chlipala | 2009-04-28 |
| | |||
* | Switch to using sql_from_items | Adam Chlipala | 2009-04-28 |
| | |||
* | sql_ufunc and octet_length | Adam Chlipala | 2009-04-26 |
| | |||
* | <link> | Adam Chlipala | 2009-04-16 |
| | |||
* | Classes as optional arguments to Basis.tag | Adam Chlipala | 2009-04-12 |
| | |||
* | Stop tracking CSS classes in XML types | Adam Chlipala | 2009-04-12 |
| | |||
* | hello compiles with CSS | Adam Chlipala | 2009-04-12 |
| | |||
* | style declarations | Adam Chlipala | 2009-04-12 |
| | |||
* | URLs | Adam Chlipala | 2009-04-09 |
| | |||
* | CHECK constraints | Adam Chlipala | 2009-04-09 |
| | |||
* | More flexible foreign keying | Adam Chlipala | 2009-04-09 |
| | |||
* | Made type class system very general; demo compiles | Adam Chlipala | 2009-04-09 |
| | |||
* | Get demo type-inferring again | Adam Chlipala | 2009-04-07 |
| | |||
* | FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵ | Adam Chlipala | 2009-04-07 |
| | | | | lingering problems in row inference) | ||
* | PRIMARY KEY | Adam Chlipala | 2009-04-07 |
| | |||
* | Enhance table sig item support and get demo compiling again | Adam Chlipala | 2009-04-07 |
| | |||
* | Track uniqueness sets in table types | Adam Chlipala | 2009-04-07 |
| | |||
* | UNIQUE constraints | Adam Chlipala | 2009-04-07 |
| | |||
* | sleep and better Scriptcheck | Adam Chlipala | 2009-04-04 |
| | |||
* | Type class reductions, but no inclusions yet | Adam Chlipala | 2009-03-26 |
| | |||
* | Demos compile again, with manual folders | Adam Chlipala | 2009-02-24 |
| | |||
* | Top.Fold.concat elaborates | Adam Chlipala | 2009-02-24 |
| | |||
* | Switch to TDisjoint from CDisjoint; still need to implement obligation ↵ | Adam Chlipala | 2009-02-24 |
| | | | | generation at EDisjoint uses | ||
* | Start of kind polymorphism, up to the point where demo/hello elaborates with ↵ | Adam Chlipala | 2009-02-22 |
| | | | | updated Basis/Top | ||
* | "Hello world" compiles, after replacing type-level fold with map | Adam Chlipala | 2009-02-21 |
| | |||
* | Initial conversion to arbitrary-kind classes | Adam Chlipala | 2008-12-19 |
| | |||
* | Add SQL arithmetic operators | Adam Chlipala | 2008-12-09 |
| | |||
* | Finish documenting queries; remove a stray [unit] argument | Adam Chlipala | 2008-12-07 |
| | |||
* | Add CutMulti | Adam Chlipala | 2008-11-11 |
| | |||
* | Some small changes while failing to write [restrict] | Adam Chlipala | 2008-11-08 |
| | |||
* | Resolve all tag named in [Basis]; deal with C compilation failure without ↵ | Adam Chlipala | 2008-11-08 |
| | | | | leaving /tmp files | ||
* | Tree demo working (and other assorted regressions fixed) | Adam Chlipala | 2008-11-06 |
| | |||
* | Tree demo works | Adam Chlipala | 2008-11-06 |
| | |||
* | Inserted a NULL value | Adam Chlipala | 2008-11-06 |
| | |||
* | Cookies through explify | Adam Chlipala | 2008-11-06 |
| | |||
* | Cookies through elaborate | Adam Chlipala | 2008-11-06 |
| | |||
* | Parsing 'let' | Adam Chlipala | 2008-11-01 |
| | |||
* | Replace 'with' with '++' | Adam Chlipala | 2008-10-31 |
| | |||
* | CURRENT_TIMESTAMP | Adam Chlipala | 2008-10-30 |
| | |||
* | Remove need for '() <-' notation | Adam Chlipala | 2008-10-27 |
| | |||
* | New implicit argument handling | Adam Chlipala | 2008-10-21 |
| | |||
* | lt, le working for int | Adam Chlipala | 2008-10-21 |
| | |||
* | num working for int | Adam Chlipala | 2008-10-21 |
| | |||
* | lform -> form | Adam Chlipala | 2008-10-14 |
| |