log src/sources

age author description
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
Sat, 15 Jun 2013 08:18:47 -0400 Adam Chlipala Add Sigcheck phase to avoid issues with signatures in global initializers