log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/sources
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
-30
-10
-8
tip
age
author
description
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
Thu, 02 Aug 2012 18:12:37 -0400
Adam Chlipala
New NameJs phase, still needing some debugging
Sun, 29 Apr 2012 13:17:31 -0400
Adam Chlipala
Initial support for reusing elaboration results
less
more
|
(0)
-30
-10
-8
tip