| 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
|