summaryrefslogtreecommitdiff
path: root/src/sql.sml
Commit message (Collapse)AuthorAge
* Use IS NOT DISTINCT FROM; improve Sql parserGravatar Adam Chlipala2016-03-12
|
* Make Sql compatible with unmanglingGravatar Adam Chlipala2016-03-11
|
* Fix SQL parser JOIN bug and fix ON clause logic in Sqlcache.Gravatar Ziv Scully2015-11-19
|
* Support nested queries but disable UrFlow for now.Gravatar Ziv Scully2015-11-19
|
* Fix SQL-parsing and declaration-ordering bugs.Gravatar Ziv Scully2015-09-30
|
* Fix NONE capitalization typo.Gravatar Ziv Scully2015-08-02
|
* Sqlcache allows any expression injected into SQL.Gravatar Ziv Scully2015-08-02
|
* Add limited support for parsing SQL arithmetic.Gravatar Ziv Scully2015-07-07
|
* Only use string (rather than numeric, etc.) primitives in parsed SQL statements.Gravatar Ziv Scully2015-07-06
|
* Refactored a lot and fixed an and/or swap, but still not good on current test.Gravatar Ziv Scully2015-06-29
|
* Progress towards invalidation based on equalities of fields.Gravatar Ziv Scully2014-11-10
|
* Mostly finish effectfulness analysis.Gravatar Ziv Scully2014-10-31
|
* Complete overhaul: cache queries based on immediate query result, not ↵Gravatar Ziv Scully2014-10-14
| | | | eventual HTML output.
* Merge.Gravatar Ziv Scully2014-09-13
|\
| * Differentiate between HTML and normal string literalsGravatar Adam Chlipala2014-08-01
| |
* | Cleans up interface (it's now a command line option) and renames project to ↵Gravatar Ziv Scully2014-05-31
| | | | | | | | "sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects.
* | Finishes initial prototype, caching parameterless pages with ↵Gravatar Ziv Scully2014-05-27
| | | | | | | | table-match-based invalidation. Still has problems parsing non-Postgres SQL dialects properly.
* | ML half of initial prototype. (Doesn't compile because there's no C yet.)Gravatar Ziv Scully2014-03-25
| |
* | Identifies tables read or touched by queries.Gravatar Ziv Scully2014-03-08
|/
* Refactor SQL parsing code from Iflow to Sql, add querydml parser.Gravatar Edward Z. Yang2012-03-12