| 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 |
| 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. |
| Wed, 14 Oct 2015 00:07:00 -0400 |
Ziv Scully |
Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml. |
| 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, 27 Sep 2015 17:02:14 -0400 |
Ziv Scully |
Fix bug where pure caching didn't treat FFI applications as effectful. |
| 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. |
