log

age author description
Sat, 29 Nov 2014 03:38:26 -0500 Ziv Scully Merge.
Sat, 29 Nov 2014 03:37:59 -0500 Ziv Scully Basic field-resolution invalidation.
Mon, 24 Nov 2014 20:47:38 -0500 Ziv Scully Merge.
Mon, 24 Nov 2014 20:41:24 -0500 Ziv Scully Add interface to UnionFind.
Tue, 11 Nov 2014 04:25:20 -0500 Ziv Scully More invalidation progress.
Mon, 10 Nov 2014 22:07:51 -0500 Ziv Scully Merge.
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:07:09 -0400 Ziv Scully Add mono_inline.sml (which was left out of last commit).
Tue, 14 Oct 2014 18:05:09 -0400 Ziv Scully Complete overhaul: cache queries based on immediate query result, not eventual HTML output.
Mon, 15 Sep 2014 20:01:16 -0400 Ziv Scully Small cleanup.
Sat, 13 Sep 2014 19:16:07 -0400 Ziv Scully Merge.
Sat, 31 May 2014 22:23:25 -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.
Fri, 30 May 2014 12:00:44 -0400 Ziv Scully Merge.
Fri, 30 May 2014 12:00:00 -0400 Ziv Scully Removes DBMS choice override from compiler.sml (which was there for debugging).
Tue, 27 May 2014 21:38:01 -0400 Ziv Scully Merge.
Tue, 27 May 2014 21:15:53 -0400 Ziv Scully Forgets deleted files.
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.
Tue, 25 Mar 2014 02:04:06 -0400 Ziv Scully ML half of initial prototype. (Doesn't compile because there's no C yet.)
Sat, 08 Mar 2014 05:06:22 -0500 Ziv Scully Identifies tables read or touched by queries.
Sun, 20 Dec 2015 13:41:35 -0500 Adam Chlipala Unnest properly in presence of kind polymorphism
Tue, 15 Dec 2015 19:58:52 -0500 Adam Chlipala Fixing dynClass for <tr>s
Tue, 08 Dec 2015 17:29:24 -0500 Adam Chlipala Change Postgres schema-checking code to account properly for namespaces
Sat, 05 Dec 2015 12:12:40 -0500 Adam Chlipala Document jsFile
Sat, 05 Dec 2015 12:04:06 -0500 Adam Chlipala New .urp directive: jsFile
Fri, 27 Nov 2015 15:28:12 -0500 Adam Chlipala Fix tricky case of functor signature subsumption
Wed, 25 Nov 2015 18:48:17 -0500 Adam Chlipala Reduce: add reduction in some spots previously missed, associated with 'case' return types
Sun, 22 Nov 2015 10:25:22 -0500 Adam Chlipala Return to working version mode
Sun, 22 Nov 2015 10:09:16 -0500 Adam Chlipala New release