| 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 |
| Sat, 08 Nov 2008 09:55:36 -0500 |
Adam Chlipala |
Generated web servers use getopt() |
| Thu, 06 Nov 2008 19:43:48 -0500 |
Adam Chlipala |
Tree demo working (and other assorted regressions fixed) |
| Thu, 06 Nov 2008 18:49:38 -0500 |
Adam Chlipala |
Tree demo works |
| Thu, 06 Nov 2008 17:09:53 -0500 |
Adam Chlipala |
About to begin optimization of recursive transaction functions |
| Thu, 06 Nov 2008 15:52:13 -0500 |
Adam Chlipala |
Ensql'ing nullables |
| Thu, 06 Nov 2008 15:37:38 -0500 |
Adam Chlipala |
Inserted a NULL value |
| Thu, 06 Nov 2008 14:03:50 -0500 |
Adam Chlipala |
Cookies work across pages |
| Thu, 06 Nov 2008 12:46:45 -0500 |
Adam Chlipala |
Cookie prose; fix bugs that broke demo compilation |
| Thu, 06 Nov 2008 12:22:50 -0500 |
Adam Chlipala |
Cookie demo code; fix error message display |
| Thu, 06 Nov 2008 12:08:41 -0500 |
Adam Chlipala |
Reading cookies works |
| Thu, 06 Nov 2008 11:29:16 -0500 |
Adam Chlipala |
Setting a cookie |
| Thu, 06 Nov 2008 10:48:02 -0500 |
Adam Chlipala |
Cookies through shake2 |
| Thu, 06 Nov 2008 10:43:48 -0500 |
Adam Chlipala |
Cookies through explify |
| Thu, 06 Nov 2008 10:29:55 -0500 |
Adam Chlipala |
Cookies through elaborate |
| Thu, 06 Nov 2008 10:04:03 -0500 |
Adam Chlipala |
Avoid allocating strings for requestHeader |
| Thu, 06 Nov 2008 09:47:16 -0500 |
Adam Chlipala |
Request header reading works |
| Thu, 06 Nov 2008 09:21:34 -0500 |
Adam Chlipala |
Monoizing FFI transactions correctly |
