Fri, 11 Nov 2011 08:32:48 +0100 | bulwahn | renaming example invocations: tester predicate_compile is renamed to smart_exhaustive | changeset | files |
Fri, 11 Nov 2011 08:32:45 +0100 | bulwahn | adding CPS compilation to predicate compiler; | changeset | files |
Fri, 11 Nov 2011 08:32:44 +0100 | bulwahn | adding option allow_function_inversion to quickcheck options | changeset | files |