Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 'database' declaration threaded through compiler | 2008-09-02 | |
| | |||
* | Parsing jobs | 2008-09-02 | |
| | |||
* | Cjrize query | 2008-09-02 | |
| | |||
* | Monoize ASC/DESC | 2008-08-31 | |
| | |||
* | Changed EQuery not to use a function in its body | 2008-08-31 | |
| | |||
* | Monoize aggregates | 2008-08-31 | |
| | |||
* | Monoize COUNT(*) | 2008-08-31 | |
| | |||
* | Monoize unops | 2008-08-31 | |
| | |||
* | Monoize OFFSET | 2008-08-31 | |
| | |||
* | Monoize LIMIT | 2008-08-31 | |
| | |||
* | Monoize ORDER BY | 2008-08-31 | |
| | |||
* | Monoize relops | 2008-08-31 | |
| | |||
* | Monoize HAVING | 2008-08-31 | |
| | |||
* | Avoid unnecessary WHERE clause | 2008-08-31 | |
| | |||
* | Add 'ne' to 'eq' type class | 2008-08-31 | |
| | |||
* | 'eq' type class | 2008-08-31 | |
| | |||
* | Monoized GROUP BY | 2008-08-31 | |
| | |||
* | Monoized binary operators | 2008-08-31 | |
| | |||
* | Monoized a WHERE clause with a comparison | 2008-08-31 | |
| | |||
* | Monoized and optimized initial query test | 2008-08-31 | |
| | |||
* | Monoize transaction identifiers; improve disjointness prover on irreducible ↵ | 2008-08-31 | |
| | | | | folds; change 'query' type | ||
* | Fix Core con comparison | 2008-08-31 | |
| | |||
* | Corify transaction wrappers | 2008-08-31 | |
| | |||
* | Fix shaking of tables | 2008-08-31 | |
| | |||
* | Corify tables | 2008-08-31 | |
| | |||
* | Explify tables | 2008-08-31 | |
| | |||
* | Rename lacweb.c | 2008-08-31 | |
| | |||
* | Laconic -> Ur | 2008-08-31 | |
| | |||
* | Transactions and queries, at source level | 2008-08-28 | |
| | |||
* | Shorthand for multi-binding exp declaration | 2008-08-28 | |
| | |||
* | Shorthand for multi-binding exp 'fn' | 2008-08-28 | |
| | |||
* | Shorthand for multi-binding con declaration | 2008-08-28 | |
| | |||
* | Shorthand for multi-binding con 'fn' | 2008-08-28 | |
| | |||
* | Checking for well-formed 'val rec' | 2008-08-28 | |
| | |||
* | More aggregate functions | 2008-08-28 | |
| | |||
* | COUNT | 2008-08-28 | |
| | |||
* | SELECTed expressions in ORDER BY | 2008-08-28 | |
| | |||
* | SELECTing arbitrary expressions | 2008-08-28 | |
| | |||
* | OFFSET | 2008-08-21 | |
| | |||
* | LIMIT | 2008-08-21 | |
| | |||
* | ORDER BY | 2008-08-21 | |
| | |||
* | Relational operators; string literals for SQL | 2008-08-21 | |
| | |||
* | Resolving lingering type class constraints | 2008-08-21 | |
| | |||
* | GROUP BY and HAVING | 2008-08-21 | |
| | |||
* | Basic GROUP BY | 2008-08-21 | |
| | |||
* | Change [sql_field] type to get 'where' test to check again | 2008-08-21 | |
| | |||
* | GROUP BY added to query type, with trivial parsing, for now | 2008-08-21 | |
| | |||
* | Queries back to working as well as before, after start of refactoring to ↵ | 2008-08-21 | |
| | | | | support grouping | ||
* | Integer and float constants in SQL | 2008-08-16 | |
| | |||
* | Fields in SQL expressions | 2008-08-16 | |
| |