summaryrefslogtreecommitdiff
path: root/src/sqlcache.sml
Commit message (Expand)AuthorAge
* Use IS NOT DISTINCT FROM; improve Sql parserGravatar Adam Chlipala2016-03-12
* Sqlcache: also record script additions; do a MonoReduce afterward, to help Pr...Gravatar Adam Chlipala2016-03-12
* Make Sql compatible with unmanglingGravatar Adam Chlipala2016-03-11
* Tweak cache consolidation and choose better default.Gravatar Ziv Scully2015-11-20
* More work on heuristics.Gravatar Ziv Scully2015-11-19
* Add consolidation heuristic options.Gravatar Ziv Scully2015-11-19
* Fix SQL parser JOIN bug and fix ON clause logic in Sqlcache.Gravatar Ziv Scully2015-11-19
* Support nested queries but disable UrFlow for now.Gravatar Ziv Scully2015-11-19
* Make cache flushes happen immediately instead of at end of transaction.Gravatar Ziv Scully2015-11-17
* 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 bug in and clean up free path code.Gravatar Ziv Scully2015-11-10
* Progress on free paths, but consolidation seems to fail more with them.Gravatar Ziv Scully2015-11-09
* Fix some table renaming issues.Gravatar Ziv Scully2015-11-07
* First draft of more specific formulas for queries.Gravatar Ziv Scully2015-11-05
* Consildation of caches understands sqlification.Gravatar Ziv Scully2015-11-04
* First draft of cache consolidation.Gravatar Ziv Scully2015-10-21
* Make SQL caches use more of the pure caching machinery, but it's brittle.Gravatar Ziv Scully2015-10-15
* Thread state through addCaching more carefully.Gravatar Ziv Scully2015-10-14
* Factor out SQL simplification.Gravatar Ziv Scully2015-10-14
* Do SQL and pure caching in the same pass.Gravatar Ziv Scully2015-10-14
* Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.Gravatar Ziv Scully2015-10-14
* Fix another mismatch between expunger SQL generation and SQL parser.Gravatar Ziv Scully2015-10-13
* 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