summaryrefslogtreecommitdiff
path: root/src/sqlcache.sml
Commit message (Collapse)AuthorAge
* Use IS NOT DISTINCT FROM; improve Sql parserGravatar Adam Chlipala2016-03-12
|
* Sqlcache: also record script additions; do a MonoReduce afterward, to help ↵Gravatar Adam Chlipala2016-03-12
| | | | Prepare do a better job
* 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 ↵Gravatar Ziv Scully2015-10-07
| | | | MonoFooify printing spurious errors.
* 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
|