urweb - functional programming language for web programming

	Commit message (Expand)	Author	Age
...
* \|	Merge.	Ziv Scully	2014-12-11
\|\ \
* \| \|	Remove Sqlcache urlification hack.	Ziv Scully	2014-11-29
* \| \|	Merge.	Ziv Scully	2014-11-29
\|\ \ \
* \| \| \|	Basic field-resolution invalidation.	Ziv Scully	2014-11-29
* \| \| \|	Merge.	Ziv Scully	2014-11-24
\|\ \ \ \
* \| \| \| \|	Add interface to UnionFind.	Ziv Scully	2014-11-24
* \| \| \| \|	More invalidation progress.	Ziv Scully	2014-11-11
* \| \| \| \|	Merge.	Ziv Scully	2014-11-10
\|\ \ \ \ \
* \| \| \| \| \|	Progress towards invalidation based on equalities of fields.	Ziv Scully	2014-11-10
* \| \| \| \| \|	Mostly finish effectfulness analysis.	Ziv Scully	2014-10-31
\| \| \| \| \| *	Add 'download' attribute to <a/>, part of HTML5	Sergey Mironov	2014-10-26
\| \| \| \| \| *	Return to working version mode	Adam Chlipala	2015-02-14
\| \| \| \| \| *	New release	Adam Chlipala	2015-02-14
\| \| \| \| \| *	The 2nd half of proper CSRF protection related to environment variables	Adam Chlipala	2015-02-12
\| \| \| \| \| *	An Emacs urweb-mode optimization contributed by John Wiegley	Adam Chlipala	2015-02-11
\| \| \| \| \| *	Merge	Adam Chlipala	2015-02-10
\| \| \| \| \| \|\
\| \| \| \| \| * \|	Fix resolution of 'file' paths	Adam Chlipala	2015-02-10
\| \| \| \| \| \| *	Treat getHeader and getenv as vectors for reading request data supplied impli...	Adam Chlipala	2015-02-05
\| \| \| \| \| \|/
\| \| \| \| \| *	Don't allow singleton <button> tags	Adam Chlipala	2015-02-01
\| \| \| \| \| *	A new MonoReduce optimization for lifting 'let' out of field projection; Java...	Adam Chlipala	2015-02-01
\| \| \| \| \| *	Improve wildification for records of type-class witnesses	Adam Chlipala	2015-01-28
\| \| \| \| \| *	Fix case issue in name mangling for MySQL	Adam Chlipala	2015-01-22
\| \| \| \| \| *	Reference manual: fix rendering of field removal operators	Adam Chlipala	2015-01-22
\| \| \| \| \| *	Fix a potential memory bug in fastcgi.c	Adam Chlipala	2015-01-22
\| \| \| \| \| *	Fix silly mistake from last commit; also switch away from rand() in openssl.c	Adam Chlipala	2015-01-22
\| \| \| \| \| *	Switch to using OpenSSL PRNG for the one remaining rand()	Adam Chlipala	2015-01-12
\| \| \| \| \| *	Fix arguments to PQprepare()	Adam Chlipala	2015-01-07
\| \| \| \| \| *	Return to working version mode	Adam Chlipala	2015-01-03
\| \| \| \| \| *	Fixing one small issue with changes to signature matching (grandfathered into...	Adam Chlipala	2015-01-03
\| \| \| \| \| *	New release	Adam Chlipala	2015-01-03
\| \| \| \| \| *	Fix a bug in subsignature checking for submodules	Adam Chlipala	2014-12-30
\| \| \| \| \| *	Add to .hgignore	Adam Chlipala	2014-12-26
\| \| \| \| \| *	Client-side conversion of string to bool	Adam Chlipala	2014-12-25
\| \| \| \| \| *	Broaden handling of wildcard rewrites	Adam Chlipala	2014-12-24
\| \| \| \| \| *	List.mem	Adam Chlipala	2014-12-23
\| \| \| \| \| *	Improve wildify heuristic for finding record type-class witnesses	Adam Chlipala	2014-12-23
\| \| \| \| \| *	New antiquote syntax for ORDER BY	Adam Chlipala	2014-12-23
\| \| \| \| \| *	Another try at a proper fix for constraint matching in subsignature checking	Adam Chlipala	2014-12-23
\| \| \| \| \| *	Compatibility fix in header file	Adam Chlipala	2014-12-21
\| \| \| \| \| *	Fix XML syntax for closing <input> tags	Adam Chlipala	2014-12-18
\| \| \| \| \|/
\| \| \| \| *	Return to working version mode	Adam Chlipala	2014-12-06
\| \| \| \| *	New release	Adam Chlipala	2014-12-06
\| \| \| \| *	Move code from last changeset, to improve performance	Adam Chlipala	2014-12-05
\| \| \| \| *	In checking signature subsumption, be sure to try constraints last.	Adam Chlipala	2014-12-04
\| \| \| \| *	Optimizing writes of single characters	Adam Chlipala	2014-12-04
\| \| \| \| *	More aggressive inlining of 'let' with record literals, plus some changes to ...	Adam Chlipala	2014-12-04
\| \| \| \| *	MonoOpt: remove concatenation with empty string	Adam Chlipala	2014-12-03
\| \| \| \| *	Some more optimization of string expressions showing up in JSON generation (M...	Adam Chlipala	2014-12-03
\| \| \| \|/
\| \| \| *	Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)	Adam Chlipala	2014-11-25
\| \| \|/
\| \| *	More HTML5 AJAX widgets	Adam Chlipala	2014-11-16