[plt-scheme] redex: leveraging generated checks and coverage

From: Casey Klein (clklein at eecs.northwestern.edu)
Date: Fri Dec 11 15:58:56 EST 2009

On Fri, Sep 18, 2009 at 8:37 AM, Eric Tanter <etanter at dcc.uchile.cl> wrote:
>> The space is probably going to the caches Redex uses to speed up
>> matching and metafunction application. Addressing this problem is on
>> my TODO list.
> Ok, great.

This is finally fixed (r17271 in SVN). Sorry for the long delay!

Posted on the users mailing list.