Thu, 19 Nov 2015 10:31:47 -0500 |
Adam Chlipala |
Fix a few C memory bugs |
Sun, 15 Nov 2015 14:18:35 -0500 |
Ziv Scully |
Fix bugs for lock calculation and SQL parsing and add support for tasks. |
Fri, 13 Nov 2015 11:03:09 -0500 |
Ziv Scully |
Finish locking, but it's not yet tested rigorously. |
Fri, 13 Nov 2015 01:04:32 -0500 |
Ziv Scully |
Fix issue with one-element caches. Locking still WIP. |
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. |