log src/lru_cache.sml

age author description
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
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.