urweb - functional programming language for web programming

	Commit message (Collapse)	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 ↵	Ziv Scully	2014-10-14
\| \| \| \|	eventual HTML output.
*	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
\| \| \| \| \| \| \| \|	"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 ↵	Ziv Scully	2014-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.)	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