log src/sources

age author description
2015-07-20 Ziv Scully Rename C functions and remove functors nested inside modules.
2015-06-28 Ziv Scully Progress on LRU cache but still more known bugs to fix.
2015-05-07 Ziv Scully More work factoring out Sqlcache back end.
2015-05-06 Ziv Scully Factor out cache implementation from Sqlcache.
2014-11-11 Ziv Scully Progress towards invalidation based on equalities of fields.
2014-10-31 Ziv Scully Mostly finish effectfulness analysis.
2014-10-14 Ziv Scully Complete overhaul: cache queries based on immediate query result, not eventual HTML output.
2014-09-13 Ziv Scully Merge.
2014-05-31 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.
2014-05-28 Ziv Scully Finishes initial prototype, caching parameterless pages with table-match-based invalidation. Still has problems parsing non-Postgres SQL dialects properly.
2014-08-17 Adam Chlipala New phase: Dbmodecheck
2014-02-20 Adam Chlipala Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors
2013-11-22 Anders Kaseorg Allow building in a separate build directory
2013-06-15 Adam Chlipala Add Sigcheck phase to avoid issues with signatures in global initializers
2012-08-02 Adam Chlipala New NameJs phase, still needing some debugging