log

age author description
Sat, 04 Apr 2009 14:03:39 -0400 Adam Chlipala _Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
Sat, 04 Apr 2009 12:54:39 -0400 Adam Chlipala Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active
Sat, 04 Apr 2009 11:46:24 -0400 Adam Chlipala Checking spans in dyns