| Sun, 20 Dec 2015 14:18:52 -0500 |
Adam Chlipala |
Merge Sqlcache |
| Fri, 20 Nov 2015 11:51:14 -0500 |
Ziv Scully |
Add read locks around time read in store. |
| Fri, 20 Nov 2015 10:51:43 -0500 |
Ziv Scully |
Tiny concurrency bugfix (race condition on cache->timeNow). |
| Thu, 19 Nov 2015 16:02:04 -0500 |
Adam Chlipala |
Fix condition for installing new cache entries |
| Thu, 19 Nov 2015 13:18:58 -0500 |
Adam Chlipala |
Fix a read-after-free bug using a timestamp check |
| Thu, 19 Nov 2015 10:31:47 -0500 |
Adam Chlipala |
Fix a few C memory bugs |
| Tue, 17 Nov 2015 02:44:37 -0500 |
Ziv Scully |
Make cache flushes happen immediately instead of at end of transaction. |
| Fri, 13 Nov 2015 11:03:09 -0500 |
Ziv Scully |
Finish locking, but it's not yet tested rigorously. |
| Fri, 13 Nov 2015 01:05:22 -0500 |
Ziv Scully |
Remove debugging print statement. |
| 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 10:06:07 -0500 |
Ziv Scully |
Initialize invalidation to NULL! |
| Thu, 12 Nov 2015 09:47:20 -0500 |
Ziv Scully |
Make cache flushes safe for transactions (not sure about LRU bump on read). |
| Thu, 12 Nov 2015 09:15:50 -0500 |
Ziv Scully |
Simplify C interface. |
| Thu, 12 Nov 2015 08:46:51 -0500 |
Ziv Scully |
Merge. |
| Wed, 11 Nov 2015 20:01:48 -0500 |
Ziv Scully |
Rewrite LRU cache. Now uses one big hash table and is less buggy. |
| Sat, 31 Oct 2015 23:35:42 -0400 |
Ziv Scully |
Merge. |
| Mon, 19 Oct 2015 14:42:22 -0400 |
Ziv Scully |
Merge. |
| Wed, 07 Oct 2015 08:58:08 -0400 |
Ziv Scully |
Fix recording bugs to do with nesting and buffer reallocation. Stop MonoFooify printing spurious errors. |
| Sun, 13 Sep 2015 16:02:45 -0400 |
Ziv Scully |
Start work on pure expression caching. |
| Sat, 12 Sep 2015 17:11:33 -0400 |
Ziv Scully |
Merge. |
| Sun, 19 Jul 2015 19:05:16 -0700 |
Ziv Scully |
Merge. |
| 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. |
| Fri, 27 Mar 2015 11:26:06 -0400 |
Ziv Scully |
Merge. |
| Thu, 11 Dec 2014 02:05:41 -0500 |
Ziv Scully |
Merge. |
| Mon, 24 Nov 2014 20:47:38 -0500 |
Ziv Scully |
Merge. |
| Mon, 10 Nov 2014 22:07:51 -0500 |
Ziv Scully |
Merge. |
| Sat, 13 Sep 2014 19:16:07 -0400 |
Ziv Scully |
Merge. |
