debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Sqlcache: also record script additions; do a MonoReduce afterward, to help ↵	Adam Chlipala	2016-03-12
\| \| \| \|	Prepare do a better job
*	Fix condition for installing new cache entries	Adam Chlipala	2015-11-19
\|
*	Fix a read-after-free bug using a timestamp check	Adam Chlipala	2015-11-19
\|
*	Fix a few C memory bugs	Adam Chlipala	2015-11-19
\|
*	Fix bugs for lock calculation and SQL parsing and add support for tasks.	Ziv Scully	2015-11-15
\|
*	Finish locking, but it's not yet tested rigorously.	Ziv Scully	2015-11-13
\|
*	Fix issue with one-element caches. Locking still WIP.	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
\|
*	Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.	Ziv Scully	2015-10-14
\|
*	Fix recording bugs to do with nesting and buffer reallocation. Stop ↵	Ziv Scully	2015-10-07
\| \| \| \|	MonoFooify printing spurious errors.
*	Fix bug where pure caching didn't treat FFI applications as effectful.	Ziv Scully	2015-09-27
\|
*	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