aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/sqlcache.sml
Commit message (Expand)AuthorAge
* Fix possible formula simplification bug with extra formula' type.Gravatar Ziv Scully2015-07-20
* Rename C functions and remove functors nested inside modules.Gravatar Ziv Scully2015-07-19
* Add limited support for parsing SQL arithmetic.Gravatar Ziv Scully2015-07-07
* Fix bug in redundancy checking and use finer formula for UPDATE statements.Gravatar Ziv Scully2015-07-05
* Major DNF-calculation performance decrapification.Gravatar Ziv Scully2015-06-30
* Refactored a lot and fixed an and/or swap, but still not good on current test.Gravatar Ziv Scully2015-06-29
* Progress on LRU cache but still more known bugs to fix.Gravatar Ziv Scully2015-06-28
* More work factoring out Sqlcache back end.Gravatar Ziv Scully2015-05-06
* Factor out cache implementation from Sqlcache.Gravatar Ziv Scully2015-05-06
* Fix type in flush FFI call to option string (rather than string).Gravatar Ziv Scully2015-03-31
* Remove Sqlcache urlification hack.Gravatar Ziv Scully2014-11-29
* Basic field-resolution invalidation.Gravatar Ziv Scully2014-11-29
* Add interface to UnionFind.Gravatar Ziv Scully2014-11-24
* More invalidation progress.Gravatar Ziv Scully2014-11-11
* Progress towards invalidation based on equalities of fields.Gravatar Ziv Scully2014-11-10
* Mostly finish effectfulness analysis.Gravatar Ziv Scully2014-10-31
* Complete overhaul: cache queries based on immediate query result, not eventua...Gravatar Ziv Scully2014-10-14
* Small cleanup.Gravatar Ziv Scully2014-09-15
* Cleans up interface (it's now a command line option) and renames project to "...Gravatar Ziv Scully2014-05-31