| 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] |
