| 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 |
