debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	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 ↵	Adam Chlipala	2010-04-29
\| \| \| \|	of path conditions across ESeq
*	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
\| \| \| \|	depends on another having happened already
*	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
\|
*	'also' policies and policy reduction; calendar in good shape	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 ↵	Adam Chlipala	2010-04-13
\| \| \| \|	assert for Dt1
*	When applying multiple policies at once, filter the policy set at the ↵	Adam Chlipala	2010-04-13
\| \| \| \|	beginning, removing unmatchable policies
*	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
\|
*	Tweaks to table signatures and MonoOpt summarizing	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
\|
*	Constants are known	Adam Chlipala	2010-04-10
\|
*	Path conditions, used to track implicit flows	Adam Chlipala	2010-04-10
\|
*	Abstract type for evalExp state; handle WHERE conditions soundly	Adam Chlipala	2010-04-10
\|
*	Some serious debugging of the new Cc	Adam Chlipala	2010-04-08
\|
*	Implemented proper congruence closure, to the point where tests/policy works	Adam Chlipala	2010-04-08
\|
*	Change query_policy to sendClient; all arguments passed to SQL predicates ↵	Adam Chlipala	2010-04-08
\| \| \| \|	are variables
*	secret logon	Adam Chlipala	2010-04-06
\|
*	Replaced Select predicate with special-case handling for one-or-no-rows queries	Adam Chlipala	2010-04-06
\|
*	About to try removing Select predicate	Adam Chlipala	2010-04-06
\|
*	Parsing more comparison operators	Adam Chlipala	2010-04-06
\|
*	Parsing float and string SQL literals	Adam Chlipala	2010-04-06
\|
*	Checking known() correctly, according to a pair of examples	Adam Chlipala	2010-04-06
\|
*	Introduced the known() predicate	Adam Chlipala	2010-04-06
\|
*	Parsing more of WHERE	Adam Chlipala	2010-04-04
\|
*	WHERE-dependent checking	Adam Chlipala	2010-04-04
\|
*	Parsed a WHERE clause	Adam Chlipala	2010-04-04
\|
*	Relax checking of table implications	Adam Chlipala	2010-04-04
\|