src/HOL/Tools/Quickcheck/narrowing_generators.ML
2011-05-30 bulwahn 2011-05-30 improving overlord option and partial_term_of derivation; changing Narrowing_Engine to print partial terms
2011-05-30 bulwahn 2011-05-30 automatic derivation of partial_term_of functions; renaming type and term to longer names narrowing_type and narrowing_term; hiding constant C; adding overlord option
2011-05-02 wenzelm 2011-05-02 added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory; proper name bindings;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2011-04-06 bulwahn 2011-04-06 changing ensure_sort_datatype call in narrowing quickcheck (missed in 1491b7209e76)
2011-04-04 bulwahn 2011-04-04 refactoring generator definition in quickcheck and removing clone
2011-03-31 bulwahn 2011-03-31 adapting Quickcheck_Narrowing (overseen in 234ec7011e5d); commenting out some examples temporarily
2011-03-30 bulwahn 2011-03-30 generalizing compilation scheme of quickcheck generators to multiple arguments; changing random and exhaustive tester to use one code invocation for polymorphic instances with multiple cardinalities
2011-03-23 bulwahn 2011-03-23 changing Quickcheck_Narrowing's main function to enumerate the depth instead upto the depth
2011-03-21 wenzelm 2011-03-21 another attempt to exec ISABELLE_GHC robustly (cf. d8c3b26b3da4, 994d088fbfbc);
2011-03-18 bulwahn 2011-03-18 passing a term with free variables to the quickcheck tester functions instead of an lambda expression because this is more natural with passing further evaluation terms; added output of evaluation terms; added evaluation of terms in the exhaustive testing
2011-03-18 bulwahn 2011-03-18 extending the test data generators to take the evaluation terms as arguments
2011-03-18 bulwahn 2011-03-18 handling a quite restricted set of functions in Quickcheck_Narrowing by an easy transformation
2011-03-18 bulwahn 2011-03-18 adding minimalistic setup and transformation to handle functions as data to enable naive function generation for Quickcheck_Narrowing
2011-03-18 bulwahn 2011-03-18 translating bash output in quickcheck_narrowing to handle special characters; adding simple test cases
2011-03-18 bulwahn 2011-03-18 adding size as static argument in quickcheck_narrowing compilation
2011-03-14 bulwahn 2011-03-14 tuned exhaustive generator compilation; added narrowing generator compilation; removed exec as does not work properly here (reverting changeset 994d088fbfbc)
2011-03-13 wenzelm 2011-03-13 slightly more robust bash exec, which fails on empty executable;
2011-03-13 wenzelm 2011-03-13 cleanup of former settings GHC_PATH, EXEC_GHC, EXEC_OCAML, EXEC_SWIPL, EXEC_YAP -- discontinued implicit detection; determine swipl_version at runtime;
2011-03-13 wenzelm 2011-03-13 proper File.shell_path;
2011-03-13 wenzelm 2011-03-13 allow spaces in executable names; simplified generated bash scripts;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2011-03-11 bulwahn 2011-03-11 renaming tester from lazy_exhaustive to narrowing
2011-03-11 bulwahn 2011-03-11 adapting Main file generation for Quickcheck_Narrowing
2011-03-11 bulwahn 2011-03-11 adapting Quickcheck_Narrowing and example file to new names
2011-03-11 bulwahn 2011-03-11 renaming lazysmallcheck ML file to Quickcheck_Narrowing
2011-03-11 bulwahn 2011-03-11 moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better