changeset | 8428c534913a |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Use new refactored urlification in Sqlcache. |
files |
changeset | e843a04499d4 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Revert to revision 2222. |
files |
changeset | 25874084bf1f |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Make Mono.file a record for readability upon extension. |
files |
changeset | c275bbc41194 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Start work on pure expression caching. |
files |
changeset | e09c3dc102ef |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Rewrite effectfulness analysis using MonoUtil. |
files |
changeset | e4a7e3cd6f11 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Use uniform representation of comparisons for better simplification. |
files |
changeset | da7d026d1a94 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Fix possible formula simplification bug with extra formula' type. |
files |
changeset | 88cc0f44c940 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Rename C functions and remove functors nested inside modules. |
files |
changeset | f70a91f7810d |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Add limited support for parsing SQL arithmetic. |
files |
changeset | e79ef5792c8b |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Fix bug in redundancy checking and use finer formula for UPDATE statements. |
files |
changeset | fab8c1f131a5 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Major DNF-calculation performance decrapification. |
files |
changeset | 0aae15c2a05a |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Refactored a lot and fixed an and/or swap, but still not good on current test. |
files |
changeset | 2f7ed04332a0 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Progress on LRU cache but still more known bugs to fix. |
files |
changeset | af1585e7d645 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | More work factoring out Sqlcache back end. |
files |
changeset | a749acc51ae4 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Factor out cache implementation from Sqlcache. |
files |
changeset | adb49db02af4 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Fix type in flush FFI call to option string (rather than string). |
files |
changeset | 9410959d296f |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Remove Sqlcache urlification hack. |
files |
changeset | 278e10629ba1 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Basic field-resolution invalidation. |
files |
changeset | ff38b3e0cdfd |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Add interface to UnionFind. |
files |
changeset | f7113855f3b7 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | More invalidation progress. |
files |
changeset | 70ec9bb337be |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Progress towards invalidation based on equalities of fields. |
files |
changeset | 639e62ca2530 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Mostly finish effectfulness analysis. |
files |
changeset | 365727ff68f4 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Complete overhaul: cache queries based on immediate query result, not eventual HTML output. |
files |
changeset | 388ba4dc7c96 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Small cleanup. |
files |
changeset | 0ca11d57c175 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Cleans up interface (it's now a command line option) and renames project to "sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects. |
files |