urweb - functional programming language for web programming

	Commit message (Expand)	Author	Age
*	Merge PVar and PWild, to get more reasonable type-class resolution	Adam Chlipala	2016-02-07
*	Merge Sqlcache	Adam Chlipala	2015-12-20
\|\
\| *	Use new refactored urlification in Sqlcache.	Ziv Scully	2015-09-21
\| *	Revert to revision 2222.	Ziv Scully	2015-09-21
\| *	Make Mono.file a record for readability upon extension.	Ziv Scully	2015-09-13
\| *	Basic field-resolution invalidation.	Ziv Scully	2014-11-29
\| *	Progress towards invalidation based on equalities of fields.	Ziv Scully	2014-11-10
\|/
*	Differentiate between HTML and normal string literals	Adam Chlipala	2014-08-01
*	Change handling of returned text blobs, to activate the normal EWrite optimiz...	Adam Chlipala	2013-12-11
*	Get Iflow working again	Adam Chlipala	2013-04-21
*	Make Scriptcheck catch more script/message-passing uses, and move the phase e...	Adam Chlipala	2013-03-15
*	Refactor SQL parsing code from Iflow to Sql, add querydml parser.	Edward Z. Yang	2012-03-12
*	First part of changes to avoid depending on C function call argument order of...	Adam Chlipala	2012-01-07
*	[De]serialization of times in JavaScript; proper integer division in JavaScri...	Adam Chlipala	2010-12-23
*	tryDml	Adam Chlipala	2010-09-05
*	Roll back WHERE checking	Adam Chlipala	2010-07-27
*	equalAny policies	Adam Chlipala	2010-07-27
*	Initial version of equalKnown working for secret	Adam Chlipala	2010-07-27
*	Some Iflow improvements for gradebook	Adam Chlipala	2010-05-06
*	Safe unmodeled SQL expressions marked as known	Adam Chlipala	2010-05-01
*	Basic handling of recursive functions in Iflow	Adam Chlipala	2010-05-01
*	Add rand to Basis and handle it in Iflow	Adam Chlipala	2010-04-29
*	Complain about DValRec; optimizations for unit-valued ECase and forgetting of...	Adam Chlipala	2010-04-29
*	Avoid state space explosion with ECase that just writes a constant in each case	Adam Chlipala	2010-04-18
*	Fix innappropriate removal of duplicate tables from DML policies	Adam Chlipala	2010-04-18
*	Better handling of DELETE and UPDATE	Adam Chlipala	2010-04-18
*	Take advantage of equalities between get_cookie calls	Adam Chlipala	2010-04-18
*	Use key information in more places, and catch cases where one key completion ...	Adam Chlipala	2010-04-18
*	Parsing boolean SQL constants and fixing a related prover bug	Adam Chlipala	2010-04-18
*	At loop heads, havoc relations that might be changed by the loop	Adam Chlipala	2010-04-17
*	Check for implicit flows via expressions injected into SQL	Adam Chlipala	2010-04-15
*	Parsing ORDER BY	Adam Chlipala	2010-04-15
*	Get refurbished Iflow working with calendar	Adam Chlipala	2010-04-14
*	More descriptive info flow error message	Adam Chlipala	2010-04-13
*	Completely redid main Iflow logic; so far, policy and policy2 work	Adam Chlipala	2010-04-13
*	Command-line use of Iflow	Adam Chlipala	2010-04-13
*	Catching lame FFI applications	Adam Chlipala	2010-04-13
*	Fix problem with overly weak ambients for queries; fix known-related bug in a...	Adam Chlipala	2010-04-13
*	When applying multiple policies at once, filter the policy set at the beginni...	Adam Chlipala	2010-04-13
*	Avoid pointless rebuilding of hypothesis E-graphs	Adam Chlipala	2010-04-13
*	Havoc relations that have been updated	Adam Chlipala	2010-04-13
*	sendOwnIds policies	Adam Chlipala	2010-04-11
*	Using multiple policies to check a written value	Adam Chlipala	2010-04-11
*	Iflow working with a UNION	Adam Chlipala	2010-04-11
*	Use functional dependency information	Adam Chlipala	2010-04-11
*	Complete update records with fields that are not being set	Adam Chlipala	2010-04-11
*	Update policies	Adam Chlipala	2010-04-11
*	Express all query outputs using record literals	Adam Chlipala	2010-04-11
*	Delete policies	Adam Chlipala	2010-04-11
*	Insert policies	Adam Chlipala	2010-04-11