summaryrefslogtreecommitdiff
path: root/src/sql.sml
Commit message (Expand)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 eventua...Gravatar Ziv Scully2014-10-14
* 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
* | Finishes initial prototype, caching parameterless pages with table-match-base...Gravatar Ziv Scully2014-05-27
* | 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