Sun, 28 Jun 2015 12:46:51 -0700 |
Ziv Scully |
Progress on LRU cache but still more known bugs to fix. |
Wed, 06 May 2015 23:11:30 -0400 |
Ziv Scully |
More work factoring out Sqlcache back end. |
Wed, 06 May 2015 14:50:29 -0400 |
Ziv Scully |
Factor out cache implementation from Sqlcache. |
Mon, 10 Nov 2014 22:04:40 -0500 |
Ziv Scully |
Progress towards invalidation based on equalities of fields. |
Fri, 31 Oct 2014 09:25:03 -0400 |
Ziv Scully |
Mostly finish effectfulness analysis. |
Tue, 14 Oct 2014 18:05:09 -0400 |
Ziv Scully |
Complete overhaul: cache queries based on immediate query result, not eventual HTML output. |
Sat, 13 Sep 2014 19:16:07 -0400 |
Ziv Scully |
Merge. |
Sat, 31 May 2014 03:08:16 -0400 |
Ziv Scully |
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. |
Tue, 27 May 2014 21:14:13 -0400 |
Ziv Scully |
Finishes initial prototype, caching parameterless pages with table-match-based invalidation. Still has problems parsing non-Postgres SQL dialects properly. |
Sun, 17 Aug 2014 13:07:56 -0400 |
Adam Chlipala |
New phase: Dbmodecheck |
Thu, 20 Feb 2014 10:27:15 -0500 |
Adam Chlipala |
Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors |
Fri, 22 Nov 2013 09:36:14 -0500 |
Anders Kaseorg |
Allow building in a separate build directory |