Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Use checkbox in CRUD example | 2008-10-04 | |
* | Merge CDisjoint and TDisjoint | 2008-10-04 | |
* | Crud completed | 2008-09-14 | |
* | Crud update form | 2008-09-14 | |
* | Crud supports INSERT | 2008-09-14 | |
* | SQL sequences | 2008-09-14 | |
* | Crud gets column headings | 2008-09-13 | |
* | queryX | 2008-09-13 | |
* | foldTRX2 | 2008-09-13 | |
* | Remove unneeded 'rec' in Reduce | 2008-09-13 | |
* | foldTR2 | 2008-09-13 | |
* | Fixed a mind-numbing De Bruijn bug | 2008-09-11 | |
* | Crud list works | 2008-09-11 | |
* | Crud listing IDs | 2008-09-11 | |
* | Scratch that change.... | 2008-09-07 | |
* | Remove need to mention table name in expressions for UPDATE and DELETE | 2008-09-07 | |
* | Parsing UPDATE | 2008-09-07 | |
* | Parsing INSERT | 2008-09-07 | |
* | Elaborated 'update' | 2008-09-07 | |
* | Elaborated 'insert' | 2008-09-07 | |
* | Error-parsing ints | 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 | |
* | Monoize ASC/DESC | 2008-08-31 | |
* | Monoize relops | 2008-08-31 | |
* | Add 'ne' to 'eq' type class | 2008-08-31 | |
* | 'eq' type class | 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 f... | 2008-08-31 | |
* | Laconic -> Ur | 2008-08-31 | |
* | Transactions and queries, at source level | 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 | |
* | 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 supp... | 2008-08-21 | |
* | Fields in SQL expressions | 2008-08-16 |