Thu, 11 Sep 2008 18:32:41 -0400 |
Adam Chlipala |
Crud list works |
Thu, 11 Sep 2008 17:41:52 -0400 |
Adam Chlipala |
Crud listing IDs |
Thu, 11 Sep 2008 13:06:51 -0400 |
Adam Chlipala |
More opportunities to use regions and lack of string copying |
Thu, 11 Sep 2008 12:40:40 -0400 |
Adam Chlipala |
Region memory allocation for query parameters |
Thu, 11 Sep 2008 12:22:06 -0400 |
Adam Chlipala |
Improve detection of opportunities for prepared statements with bool parameters |
Thu, 11 Sep 2008 12:12:22 -0400 |
Adam Chlipala |
Fix memory management bug |
Thu, 11 Sep 2008 11:53:33 -0400 |
Adam Chlipala |
Expand scope of base type conversion coalesce optimizations |
Thu, 11 Sep 2008 11:44:46 -0400 |
Adam Chlipala |
Improve linear-let optimization |