| Tue, 11 Nov 2008 15:12:24 -0500 |
Adam Chlipala |
Get preliminary ThreadedBlog working |
| Tue, 11 Nov 2008 11:49:51 -0500 |
Adam Chlipala |
Get threadedBlog to work |
| Sun, 09 Nov 2008 18:19:47 -0500 |
Adam Chlipala |
Remove some allocation |
| Sun, 09 Nov 2008 17:27:34 -0500 |
Adam Chlipala |
Prevent overzealous Especialization |
| Sun, 09 Nov 2008 16:54:42 -0500 |
Adam Chlipala |
Defunctionalization gets CommentBlog working |
| Sun, 09 Nov 2008 12:41:34 -0500 |
Adam Chlipala |
Remove an extra line |
| Sun, 09 Nov 2008 11:53:52 -0500 |
Adam Chlipala |
Especialize working reasonably well; need to add new closure representation pass |
| Sat, 08 Nov 2008 16:47:04 -0500 |
Adam Chlipala |
Better detection of [let] substitution opportunities |
| Sat, 08 Nov 2008 16:02:59 -0500 |
Adam Chlipala |
Especialize handles records better |
| Sat, 08 Nov 2008 14:42:52 -0500 |
Adam Chlipala |
Broaden set of possible especializations |
| Sat, 08 Nov 2008 13:15:00 -0500 |
Adam Chlipala |
Some small changes while failing to write [restrict] |
| Sat, 08 Nov 2008 12:24:23 -0500 |
Adam Chlipala |
Add help text for generated web servers |
| Sat, 08 Nov 2008 12:12:50 -0500 |
Adam Chlipala |
Handle EError returning a function; handle multiple cookies in one input header |
| Sat, 08 Nov 2008 10:58:59 -0500 |
Adam Chlipala |
Fix parsing of last input header |
| Sat, 08 Nov 2008 10:46:14 -0500 |
Adam Chlipala |
[getCookie] reads cookie settings from current page generation |
| Sat, 08 Nov 2008 10:33:58 -0500 |
Adam Chlipala |
Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files |
