log

age author description
Thu, 17 Sep 2009 19:15:10 -0400 Adam Chlipala Pseudo-sort working with filters
Thu, 17 Sep 2009 19:01:04 -0400 Adam Chlipala Grid changed to use Dlist.replace; filters stopped working
Thu, 17 Sep 2009 17:17:49 -0400 Adam Chlipala Don't try to check if functions are already tail-recursive
Thu, 17 Sep 2009 17:11:23 -0400 Adam Chlipala tail example working
Thu, 17 Sep 2009 16:35:11 -0400 Adam Chlipala Basic tail recursion introduction seems to be working
Thu, 17 Sep 2009 14:57:38 -0400 Adam Chlipala Bad sort functions tested
Thu, 17 Sep 2009 14:42:02 -0400 Adam Chlipala Insert dummy Sort parameter
Thu, 17 Sep 2009 14:27:00 -0400 Adam Chlipala Make filter argument to render, not create
Thu, 17 Sep 2009 13:44:08 -0400 Adam Chlipala Don't try to compile sigString() calls to JavaScript
Thu, 17 Sep 2009 13:30:56 -0400 Adam Chlipala Disable GCC inlining to stop goofy errors
Thu, 17 Sep 2009 12:55:22 -0400 Adam Chlipala Find more opportunities for 'let' inlining with better purity information
Thu, 17 Sep 2009 09:25:03 -0400 Adam Chlipala Print char patterns in C
Tue, 15 Sep 2009 16:27:24 -0400 Adam Chlipala Filters displaying properly
Tue, 15 Sep 2009 16:06:12 -0400 Adam Chlipala Filters displaying awfully
Tue, 15 Sep 2009 15:48:53 -0400 Adam Chlipala Filters implementation type-checking
Tue, 15 Sep 2009 13:07:57 -0400 Adam Chlipala Fix JavaScript char literals; don't generate demo links to nonexistent files
Tue, 15 Sep 2009 12:41:54 -0400 Adam Chlipala Escape character constants; lift indices properly in Reduce 'case' simplification
Tue, 15 Sep 2009 12:23:42 -0400 Adam Chlipala Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
Tue, 15 Sep 2009 11:18:20 -0400 Adam Chlipala Selection working, but switching it on isn't
Tue, 15 Sep 2009 10:50:49 -0400 Adam Chlipala Fix Postgres timestamp round-tripping
Tue, 15 Sep 2009 10:43:01 -0400 Adam Chlipala Fix MySQL timestamp input
Tue, 15 Sep 2009 10:18:56 -0400 Adam Chlipala Summary row with aggregates
Tue, 15 Sep 2009 09:45:46 -0400 Adam Chlipala Include 'key' type in Grid
Tue, 15 Sep 2009 09:40:51 -0400 Adam Chlipala Dropped in initial aggregate types
Mon, 14 Sep 2009 19:04:38 -0400 Adam Chlipala Fix a bug in Jscomp environment calculation for EQuery; smarter embedding of record projection in JavaScript
Sun, 13 Sep 2009 15:33:11 -0400 Adam Chlipala Fix some MySQL bugs
Sun, 13 Sep 2009 13:25:09 -0400 Adam Chlipala Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce
Sun, 13 Sep 2009 12:00:34 -0400 Adam Chlipala Have nullable columns working with Dbgrid