summaryrefslogtreecommitdiff
path: root/src/lru_cache.sml
Commit message (Expand)AuthorAge
* Sqlcache: also record script additions; do a MonoReduce afterward, to help Pr...Gravatar Adam Chlipala2016-03-12
* Fix condition for installing new cache entriesGravatar Adam Chlipala2015-11-19
* Fix a read-after-free bug using a timestamp checkGravatar Adam Chlipala2015-11-19
* Fix a few C memory bugsGravatar Adam Chlipala2015-11-19
* Fix bugs for lock calculation and SQL parsing and add support for tasks.Gravatar Ziv Scully2015-11-15
* Finish locking, but it's not yet tested rigorously.Gravatar Ziv Scully2015-11-13
* Fix issue with one-element caches. Locking still WIP.Gravatar Ziv Scully2015-11-13
* Fix committing multiple stores/flushes. Locking is WIP.Gravatar Ziv Scully2015-11-12
* Actually use transactional machinery for flushes this time.Gravatar Ziv Scully2015-11-12
* Simplify C interface.Gravatar Ziv Scully2015-11-12
* Rewrite LRU cache. Now uses one big hash table and is less buggy.Gravatar Ziv Scully2015-11-11
* Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.Gravatar Ziv Scully2015-10-14
* Fix recording bugs to do with nesting and buffer reallocation. Stop MonoFooif...Gravatar Ziv Scully2015-10-07
* Fix bug where pure caching didn't treat FFI applications as effectful.Gravatar Ziv Scully2015-09-27
* Start work on pure expression caching.Gravatar Ziv Scully2015-09-13
* Rename C functions and remove functors nested inside modules.Gravatar Ziv Scully2015-07-19
* Progress on LRU cache but still more known bugs to fix.Gravatar Ziv Scully2015-06-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-17 19:21:59 +0000