| Fri, 03 Dec 2010 09:55:45 +0100 | blanchet | run synchronous Auto Tools in parallel | file | diff | annotate |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | only instantiate type variable if there exists some in quickcheck | file | diff | annotate |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | improving presentation of quickcheck reports | file | diff | annotate |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | checking if parameter is name of a tester which allows e.g. quickcheck[random] | file | diff | annotate |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | moving iteration of tests to the testers in quickcheck | file | diff | annotate |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | removed dead test_term_small function in quickcheck | file | diff | annotate |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | renamed parameter from generator to tester; quickcheck only applies one tester on invocation | file | diff | annotate |