| Fri, 18 Mar 2011 18:19:42 +0100 | bulwahn | adding option of evaluating terms after invocation in quickcheck | file | diff | annotate |
| Fri, 18 Mar 2011 18:19:42 +0100 | bulwahn | adding eval option to quickcheck | file | diff | annotate |
| Sun, 20 Mar 2011 22:08:12 +0100 | wenzelm | simplified various cpu_time clones (!): eliminated odd Exn.capture/Exn.release (no need to "stop" timing); | file | diff | annotate |
| Sun, 20 Mar 2011 21:28:11 +0100 | wenzelm | structure Timing: covers former start_timing/end_timing and Output.timeit etc; | file | diff | annotate |
| Mon, 28 Feb 2011 19:06:24 +0100 | bulwahn | adding function Quickcheck.test_terms to provide checking a batch of terms | file | diff | annotate |
| Fri, 11 Feb 2011 11:47:43 +0100 | bulwahn | quickcheck can be invoked with its internal timelimit or without | file | diff | annotate |
| Fri, 11 Feb 2011 11:47:42 +0100 | bulwahn | quickcheck invokes TimeLimit.timeLimit only in one separate function | file | diff | annotate |