log src/monoize.sml

age author description
Sun, 14 Sep 2008 11:02:18 -0400 Adam Chlipala SQL sequences
Thu, 11 Sep 2008 17:41:52 -0400 Adam Chlipala Crud listing IDs
Tue, 09 Sep 2008 12:36:13 -0400 Adam Chlipala Termination checking allows anything in links and actions
Sun, 07 Sep 2008 15:40:42 -0400 Adam Chlipala Rename 'lw' prefixes to 'uw'
Sun, 07 Sep 2008 15:16:10 -0400 Adam Chlipala First DELETE works
Sun, 07 Sep 2008 15:12:47 -0400 Adam Chlipala First UPDATE works
Sun, 07 Sep 2008 15:05:52 -0400 Adam Chlipala First INSERT works
Sun, 07 Sep 2008 13:29:01 -0400 Adam Chlipala pquery working with all four types of columns
Sun, 07 Sep 2008 12:15:46 -0400 Adam Chlipala Error-parsing ints
Sun, 07 Sep 2008 11:53:30 -0400 Adam Chlipala 'read' type class
Sun, 07 Sep 2008 11:33:13 -0400 Adam Chlipala Converting string to int
Sun, 07 Sep 2008 10:48:51 -0400 Adam Chlipala 'show' type class; htmlification optimizations
Sun, 07 Sep 2008 10:02:27 -0400 Adam Chlipala 'error' function
Tue, 02 Sep 2008 15:29:45 -0400 Adam Chlipala First query execution (not retrieving results yet)
Tue, 02 Sep 2008 13:44:54 -0400 Adam Chlipala Generating SQL files
Tue, 02 Sep 2008 13:09:54 -0400 Adam Chlipala Table declarations pushed to Cjr
Tue, 02 Sep 2008 10:51:41 -0400 Adam Chlipala 'database' declaration threaded through compiler
Sun, 31 Aug 2008 16:54:13 -0400 Adam Chlipala Monoize ASC/DESC
Sun, 31 Aug 2008 16:32:49 -0400 Adam Chlipala Changed EQuery not to use a function in its body
Sun, 31 Aug 2008 16:26:50 -0400 Adam Chlipala Monoize aggregates
Sun, 31 Aug 2008 16:20:34 -0400 Adam Chlipala Monoize COUNT(*)
Sun, 31 Aug 2008 16:13:07 -0400 Adam Chlipala Monoize unops
Sun, 31 Aug 2008 16:11:15 -0400 Adam Chlipala Monoize OFFSET
Sun, 31 Aug 2008 16:10:20 -0400 Adam Chlipala Monoize LIMIT
Sun, 31 Aug 2008 16:03:43 -0400 Adam Chlipala Monoize ORDER BY
Sun, 31 Aug 2008 15:47:32 -0400 Adam Chlipala Monoize relops
Sun, 31 Aug 2008 15:36:15 -0400 Adam Chlipala Monoize HAVING
Sun, 31 Aug 2008 15:32:31 -0400 Adam Chlipala Avoid unnecessary WHERE clause
Sun, 31 Aug 2008 15:04:10 -0400 Adam Chlipala Monoized GROUP BY
Sun, 31 Aug 2008 14:33:22 -0400 Adam Chlipala Monoized binary operators