Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
adding size as static argument in quickcheck_narrowing compilation
|
file |
diff |
annotate
|
Mon, 14 Mar 2011 12:34:10 +0100 |
bulwahn |
tuned exhaustive generator compilation; added narrowing generator compilation; removed exec as does not work properly here (reverting changeset 994d088fbfbc)
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 19:27:39 +0100 |
wenzelm |
slightly more robust bash exec, which fails on empty executable;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 19:16:19 +0100 |
wenzelm |
cleanup of former settings GHC_PATH, EXEC_GHC, EXEC_OCAML, EXEC_SWIPL, EXEC_YAP -- discontinued implicit detection;
|
file |
diff |
annotate
|
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
|