urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	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
\|
*	Pushing policies through	Adam Chlipala	2010-04-04
\|
*	Relational operators portability	Adam Chlipala	2010-04-01
\|
*	Make SELECT FROM clauses optional	Adam Chlipala	2010-03-28
\|
*	'AS' clauses for expression columns may be omitted	Adam Chlipala	2010-03-25
\|
*	Subquery FROM items	Adam Chlipala	2010-03-25
\|
*	Subquery expressions	Adam Chlipala	2010-03-25
\|
*	More informative tag mismatch error message	Adam Chlipala	2010-03-16
\|
*	COUNT(col)	Adam Chlipala	2010-03-16
\|
*	Remove unpoly1	Adam Chlipala	2010-03-16
\|
*	Undo an Especialize change that turned out to be unecessary	Adam Chlipala	2010-03-16
\|
*	Re-add accidentally-removed parsing case for 'effectful'	Adam Chlipala	2010-03-09
\|
*	safeGet	Adam Chlipala	2010-03-09
\|
*	Spiffed-up Split1; remove spurious error message triggered by 'open'ing a ↵	Adam Chlipala	2010-03-09
\| \| \| \|	module containing a functor
*	Got split1 working, but noticed a nasty type inference bug with transplanted ↵	Adam Chlipala	2010-03-06
\| \| \| \|	unification variables
*	Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly	Adam Chlipala	2010-03-06
\|
*	Dead code elimination in Reduce code	Adam Chlipala	2010-03-04
\|
*	-verbose	Adam Chlipala	2010-03-04
\|
*	Louder jscomp; toUpper/Lower fix for JavaScript	Adam Chlipala	2010-03-04
\|
*	Tone down Reduce and compensate with a new push-lambda-inside-case rule in ↵	Adam Chlipala	2010-03-02
\| \| \| \|	MonoOpt; expand more Basis synonyms in Monoize
*	Fix parsing of space-free .urp directives; use 'class' for 'c*' tags	Adam Chlipala	2010-02-28
\|
*	benignEffectful	Adam Chlipala	2010-02-27
\|
*	Basic analysis of tag and CSS class usage	Adam Chlipala	2010-02-27
\|
*	Normalize URLs to deal with page names that contain apostrophes	Adam Chlipala	2010-02-25
\|
*	Use COALESCE to hide NULL results of aggregate functions; fix bug with ↵	Adam Chlipala	2010-02-25
\| \| \| \|	improper ordering of query result columns
*	'configure' checks for libmhash and MLton	Adam Chlipala	2010-02-11
\|
*	sigfile directive	Adam Chlipala	2010-02-11
\|
*	Fix .urp parsing for real	Adam Chlipala	2010-02-07
\|
*	Fix detection of blank lines in .urp	Adam Chlipala	2010-02-07
\|
*	Remove debug prints	Adam Chlipala	2010-02-07
\|
*	Call access() with F_OK	Adam Chlipala	2010-02-07
\|
*	More fixes for NetBSD support	Adam Chlipala	2010-02-06
\|
*	More is*() casts	Adam Chlipala	2010-02-06
\|
*	Prototype memmem()	Adam Chlipala	2010-02-06
\|
*	Allow .urp files without initial blank lines	Adam Chlipala	2010-02-06
\|
*	More casting of isprint() arguments	Adam Chlipala	2010-02-06
\|
*	AC_USE_SYSTEM_EXTENSIONS replaces the need for hacky #defines at starts of C ↵	Adam Chlipala	2010-02-06
\| \| \| \|	files