Robby Findler 8cee5a09da improve the redundancy checking for class contracts ... In particular, when there isn't any redundancy detected, then just make a single call into the projection and create just a single class. This seems to help on at least one of the configurations of dungeon, which completes in about 6 minutes with this commit and I gave up waiting after 15 minutes for the version of racket that didn't have it		2018-11-20 21:30:39 -06:00
..
tests	improve the redundancy checking for class contracts	2018-11-20 21:30:39 -06:00
info.rkt	Tests for option contract instrumentation.	2016-01-25 16:36:04 -06:00
LICENSE.txt	update copyright year to 2018	2018-01-12 15:44:07 -06:00