log src/sources

age author description
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