Sat, 11 Dec 2010 15:16:04 -0500 |
Adam Chlipala |
minHeap option in .urp files |
Sun, 28 Nov 2010 15:06:11 -0500 |
Adam Chlipala |
More accurate/conservative leaky type detection in CjrPrint |
Sun, 21 Nov 2010 15:43:24 -0500 |
Adam Chlipala |
Fix a bug in C list unurlification |
Sat, 20 Nov 2010 09:48:03 -0500 |
Adam Chlipala |
In FastCGI, signal 304 with a header, not the usual HTTP/1.1 line |
Thu, 14 Oct 2010 11:06:26 -0400 |
Adam Chlipala |
Interface for setting memory limits |
Thu, 09 Sep 2010 12:42:25 -0400 |
Adam Chlipala |
Support empty datatypes, which can now be generated via 'variant []' |
Tue, 07 Sep 2010 09:06:13 -0400 |
Adam Chlipala |
'tryDml' works with Postgres |