urweb - functional programming language for web programming

	Commit message (Expand)	Author	Age
*	Use IS NOT DISTINCT FROM; improve Sql parser	Adam Chlipala	2016-03-12
*	Make Sql compatible with unmangling	Adam Chlipala	2016-03-11
*	Fix SQL parser JOIN bug and fix ON clause logic in Sqlcache.	Ziv Scully	2015-11-19
*	Support nested queries but disable UrFlow for now.	Ziv Scully	2015-11-19
*	Fix SQL-parsing and declaration-ordering bugs.	Ziv Scully	2015-09-30
*	Fix NONE capitalization typo.	Ziv Scully	2015-08-02
*	Sqlcache allows any expression injected into SQL.	Ziv Scully	2015-08-02
*	Add limited support for parsing SQL arithmetic.	Ziv Scully	2015-07-07
*	Only use string (rather than numeric, etc.) primitives in parsed SQL statements.	Ziv Scully	2015-07-06
*	Refactored a lot and fixed an and/or swap, but still not good on current test.	Ziv Scully	2015-06-29
*	Progress towards invalidation based on equalities of fields.	Ziv Scully	2014-11-10
*	Mostly finish effectfulness analysis.	Ziv Scully	2014-10-31
*	Complete overhaul: cache queries based on immediate query result, not eventua...	Ziv Scully	2014-10-14
*	Merge.	Ziv Scully	2014-09-13
\|\
\| *	Differentiate between HTML and normal string literals	Adam Chlipala	2014-08-01
* \|	Cleans up interface (it's now a command line option) and renames project to "...	Ziv Scully	2014-05-31
* \|	Finishes initial prototype, caching parameterless pages with table-match-base...	Ziv Scully	2014-05-27
* \|	ML half of initial prototype. (Doesn't compile because there's no C yet.)	Ziv Scully	2014-03-25
* \|	Identifies tables read or touched by queries.	Ziv Scully	2014-03-08
\|/
*	Refactor SQL parsing code from Iflow to Sql, add querydml parser.	Edward Z. Yang	2012-03-12