log

age author description
Tue, 11 Nov 2008 20:24:55 -0500 Adam Chlipala Fix type calculation for applying-a-case optimization
Tue, 11 Nov 2008 19:58:25 -0500 Adam Chlipala Map distributivity rule in hnormCon
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti
Tue, 11 Nov 2008 18:39:38 -0500 Adam Chlipala Handle nullary transaction pages; avoid marking up headers array when reading cookies
Tue, 11 Nov 2008 16:51:45 -0500 Adam Chlipala Fix demo regression
Tue, 11 Nov 2008 16:27:51 -0500 Adam Chlipala More ThreadedBlog progress
Tue, 11 Nov 2008 15:32:10 -0500 Adam Chlipala Ignore UseRel effects in [let] expansions
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
Sat, 08 Nov 2008 09:55:36 -0500 Adam Chlipala Generated web servers use getopt()