log src/compiler.sig

age author description
Sun, 09 Nov 2008 16:54:42 -0500 Adam Chlipala Defunctionalization gets CommentBlog working
Sat, 01 Nov 2008 21:24:43 -0400 Adam Chlipala Nested save compiles
Sat, 01 Nov 2008 15:58:55 -0400 Adam Chlipala First Unnest tests working
Thu, 30 Oct 2008 16:58:54 -0400 Adam Chlipala Especialize
Sun, 26 Oct 2008 08:41:17 -0400 Adam Chlipala Avoid using libpq when unneeded
Sun, 19 Oct 2008 15:47:47 -0400 Adam Chlipala Support for URL prefixes that works with local demo
Sun, 19 Oct 2008 12:12:59 -0400 Adam Chlipala Proper generation of relation names; checking that sequences exist
Sat, 04 Oct 2008 15:54:03 -0400 Adam Chlipala Small clean-ups in crud; Compiler.check
Thu, 11 Sep 2008 09:36:47 -0400 Adam Chlipala Unpoly non-recursive function
Tue, 09 Sep 2008 11:46:33 -0400 Adam Chlipala Termination checking
Sun, 07 Sep 2008 09:28:13 -0400 Adam Chlipala Ran a prepared statement with one string parameter
Tue, 02 Sep 2008 13:44:54 -0400 Adam Chlipala Generating SQL files
Tue, 02 Sep 2008 10:31:16 -0400 Adam Chlipala Parsing jobs
Sun, 31 Aug 2008 16:54:13 -0400 Adam Chlipala Monoize ASC/DESC
Sun, 31 Aug 2008 15:32:31 -0400 Adam Chlipala Avoid unnecessary WHERE clause
Sun, 31 Aug 2008 08:32:18 -0400 Adam Chlipala Laconic -> Ur