urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process	Adam Chlipala	2018-06-03
\|
*	Increase size of string buffer for error messages	Adam Chlipala	2017-02-24
\|
*	Support for <meta> tags	Adam Chlipala	2016-05-15
\|
*	Sqlcache: also record script additions; do a MonoReduce afterward, to help ↵	Adam Chlipala	2016-03-12
\| \| \| \|	Prepare do a better job
*	Remove duplicate typedef declarations.	Ziv Scully	2015-12-30
\|
*	Finish locking, but it's not yet tested rigorously.	Ziv Scully	2015-11-13
\|
*	Fix committing multiple stores/flushes. Locking is WIP.	Ziv Scully	2015-11-12
\|
*	Actually use transactional machinery for flushes this time.	Ziv Scully	2015-11-12
\|
*	Simplify C interface.	Ziv Scully	2015-11-12
\|
*	Rewrite LRU cache. Now uses one big hash table and is less buggy.	Ziv Scully	2015-11-11
\|
*	Start work on pure expression caching.	Ziv Scully	2015-09-13
\|
*	Rename C functions and remove functors nested inside modules.	Ziv Scully	2015-07-19
\|
*	Progress on LRU cache but still more known bugs to fix.	Ziv Scully	2015-06-28
\|
*	Define uw_loggers structure, allow FFI code to access it	Sergey Mironov	2014-02-26
\|
*	Add 'html5' .urp directive	Adam Chlipala	2014-01-09
\|
*	Start SQL transactions as read-only when possible, based on conservative ↵	Adam Chlipala	2013-12-12
\| \| \| \|	program analysis
*	New header file scheme to support FFI code in either of C or C++ [based on ↵	Adam Chlipala	2013-10-11
	suggestion by Ron de Bruijn]