| Mon, 28 Feb 2011 19:06:24 +0100 | bulwahn | adding function Quickcheck.test_terms to provide checking a batch of terms | changeset | files |
| Mon, 28 Feb 2011 19:06:23 +0100 | bulwahn | adding a function to compile a batch of terms for quickcheck with one code generation invocation | changeset | files |
| Mon, 28 Feb 2011 17:53:10 +0100 | blanchet | improved "is_special_eligible_arg" further, by approximating the cardinality of the argument (as is done quite successfully elsewhere) | changeset | files |