src/HOL/Tools/Quickcheck/narrowing_generators.ML
Fri, 18 Mar 2011 18:19:42 +0100 bulwahn handling a quite restricted set of functions in Quickcheck_Narrowing by an easy transformation
Fri, 18 Mar 2011 18:19:42 +0100 bulwahn adding minimalistic setup and transformation to handle functions as data to enable naive function generation for Quickcheck_Narrowing
Fri, 18 Mar 2011 18:19:42 +0100 bulwahn translating bash output in quickcheck_narrowing to handle special characters; adding simple test cases
Fri, 18 Mar 2011 18:19:42 +0100 bulwahn adding size as static argument in quickcheck_narrowing compilation
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)
Sun, 13 Mar 2011 19:27:39 +0100 wenzelm slightly more robust bash exec, which fails on empty executable;
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;
Sun, 13 Mar 2011 16:30:02 +0100 wenzelm proper File.shell_path;
Sun, 13 Mar 2011 14:51:38 +0100 wenzelm allow spaces in executable names;
Sun, 13 Mar 2011 13:53:54 +0100 wenzelm tuned headers;
Fri, 11 Mar 2011 15:21:13 +0100 bulwahn renaming tester from lazy_exhaustive to narrowing
Fri, 11 Mar 2011 15:21:13 +0100 bulwahn adapting Main file generation for Quickcheck_Narrowing
Fri, 11 Mar 2011 15:21:13 +0100 bulwahn adapting Quickcheck_Narrowing and example file to new names
Fri, 11 Mar 2011 15:21:13 +0100 bulwahn renaming lazysmallcheck ML file to Quickcheck_Narrowing
Fri, 11 Mar 2011 15:21:13 +0100 bulwahn moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better
less more (0) tip