Sat, 18 Dec 2010 14:17:45 -0500 |
Adam Chlipala |
Change tasks to support parametric code; add clientLeaves |
Sat, 18 Dec 2010 10:56:31 -0500 |
Adam Chlipala |
postBody type |
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 []' |