debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	Iflow tested with positive and negative cases	Adam Chlipala	2010-04-04
\|
*	Generating a good Iflow condition for a test query	Adam Chlipala	2010-04-04
\|
*	Generated basic dummy Iflow conditions	Adam Chlipala	2010-04-04