Sun, 13 Mar 2011 16:30:02 +0100 | wenzelm | proper File.shell_path; | file | diff | annotate |
Sun, 13 Mar 2011 14:51:38 +0100 | wenzelm | allow spaces in executable names; | file | diff | annotate |
Sun, 13 Mar 2011 13:53:54 +0100 | wenzelm | tuned headers; | file | diff | annotate |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | renaming tester from lazy_exhaustive to narrowing | file | diff | annotate |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | adapting Main file generation for Quickcheck_Narrowing | file | diff | annotate |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | adapting Quickcheck_Narrowing and example file to new names | file | diff | annotate |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | renaming lazysmallcheck ML file to Quickcheck_Narrowing | file | diff | annotate |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better | file | diff | annotate | base |