Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 prog... | Adam Chlipala | 2013-12-12 |
* | New header file scheme to support FFI code in either of C or C++ [based on su... | Adam Chlipala | 2013-10-11 |