Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Termination checking allows anything in links and actions | 2008-09-09 | |
| | |||
* | Termination checking | 2008-09-09 | |
| | |||
* | Datatype positivity check | 2008-09-09 | |
| | |||
* | Automatically add table annotations in UPDATE and DELETE | 2008-09-07 | |
| | |||
* | First UPDATE works | 2008-09-07 | |
| | |||
* | Scratch that change.... | 2008-09-07 | |
| | |||
* | Remove need to mention table name in expressions for UPDATE and DELETE | 2008-09-07 | |
| | |||
* | Parsing DELETE | 2008-09-07 | |
| | |||
* | Parsing UPDATE | 2008-09-07 | |
| | |||
* | Parsing INSERT | 2008-09-07 | |
| | |||
* | Elaborated 'delete' | 2008-09-07 | |
| | |||
* | Elaborated 'update' | 2008-09-07 | |
| | |||
* | Elaborated 'insert' | 2008-09-07 | |
| | |||
* | Remove unneeded type annotations in pquery | 2008-09-07 | |
| | |||
* | pquery working with all four types of columns | 2008-09-07 | |
| | |||
* | Reading bools from SQL | 2008-09-07 | |
| | |||
* | Reading ints and floats from SQL | 2008-09-07 | |
| | |||
* | Error-parsing strings | 2008-09-07 | |
| | |||
* | Error-parsing floats and bools | 2008-09-07 | |
| | |||
* | Error-parsing ints | 2008-09-07 | |
| | |||
* | 'read' for strings | 2008-09-07 | |
| | |||
* | 'read' type class | 2008-09-07 | |
| | |||
* | Parsing strings for floats and bools | 2008-09-07 | |
| | |||
* | Converting string to int | 2008-09-07 | |
| | |||
* | 'show' type class; htmlification optimizations | 2008-09-07 | |
| | |||
* | toString for float and bool | 2008-09-07 | |
| | |||
* | intToString | 2008-09-07 | |
| | |||
* | 'error' function | 2008-09-07 | |
| | |||
* | Compiling a parametrized query the inefficient way | 2008-09-02 | |
| | |||
* | Update MLton main file | 2008-09-02 | |
| | |||
* | Generating SQL files | 2008-09-02 | |
| | |||
* | Parsing jobs | 2008-09-02 | |
| | |||
* | Monoize ASC/DESC | 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 | |
| | |||
* | 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 | |
| | |||
* | Monoize transaction identifiers; improve disjointness prover on irreducible ↵ | 2008-08-31 | |
| | | | | folds; change 'query' type | ||
* | Corify transaction wrappers | 2008-08-31 | |
| | |||
* | Laconic -> Ur | 2008-08-31 | |
| | |||
* | Transactions and queries, at source level | 2008-08-28 | |
| |