Fri, 13 Nov 2015 11:03:09 -0500 |
Ziv Scully |
Finish locking, but it's not yet tested rigorously. |
Thu, 12 Nov 2015 16:36:35 -0500 |
Ziv Scully |
Fix committing multiple stores/flushes. Locking is WIP. |
Thu, 12 Nov 2015 11:44:21 -0500 |
Ziv Scully |
Actually use transactional machinery for flushes this time. |
Thu, 12 Nov 2015 09:15:50 -0500 |
Ziv Scully |
Simplify C interface. |
Wed, 11 Nov 2015 20:01:48 -0500 |
Ziv Scully |
Rewrite LRU cache. Now uses one big hash table and is less buggy. |
Sun, 13 Sep 2015 16:02:45 -0400 |
Ziv Scully |
Start work on pure expression caching. |
Sun, 19 Jul 2015 19:03:11 -0700 |
Ziv Scully |
Rename C functions and remove functors nested inside modules. |
Sun, 28 Jun 2015 12:46:51 -0700 |
Ziv Scully |
Progress on LRU cache but still more known bugs to fix. |
Wed, 26 Feb 2014 08:21:52 +0000 |
Sergey Mironov |
Define uw_loggers structure, allow FFI code to access it |
Thu, 09 Jan 2014 17:27:24 -0500 |
Adam Chlipala |
Add 'html5' .urp directive |
Thu, 12 Dec 2013 17:42:48 -0500 |
Adam Chlipala |
Start SQL transactions as read-only when possible, based on conservative program analysis |
Fri, 11 Oct 2013 17:15:28 -0400 |
Adam Chlipala |
New header file scheme to support FFI code in either of C or C++ [based on suggestion by Ron de Bruijn] |