summaryrefslogtreecommitdiff
path: root/src/sqlcache.sml
Commit message (Expand)AuthorAge
* Fix recording bugs to do with nesting and buffer reallocation. Stop MonoFooif...Gravatar Ziv Scully2015-10-07
* Fix SQL-parsing and declaration-ordering bugs.Gravatar Ziv Scully2015-09-30
* Begin work on cache merging.Gravatar Ziv Scully2015-09-28
* Fix effectfulness registration toy cache.Gravatar Ziv Scully2015-09-27
* Fix bug where pure caching didn't treat FFI applications as effectful.Gravatar Ziv Scully2015-09-27
* Use referenced (rather than all) free variables as keys for pure caches.Gravatar Ziv Scully2015-09-27
* Pure caching sort of works.Gravatar Ziv Scully2015-09-27
* Use new refactored urlification in Sqlcache.Gravatar Ziv Scully2015-09-21
* Revert to revision 2222.Gravatar Ziv Scully2015-09-21
* Make Mono.file a record for readability upon extension.Gravatar Ziv Scully2015-09-13
* Start work on pure expression caching.Gravatar Ziv Scully2015-09-13
* Rewrite effectfulness analysis using MonoUtil.Gravatar Ziv Scully2015-08-15
* Use uniform representation of comparisons for better simplification.Gravatar Ziv Scully2015-07-20
* 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