src/HOL/Tools/Quickcheck/narrowing_generators.ML
2012-07-16 wenzelm 2012-07-16 comment;
2012-04-30 bulwahn 2012-04-30 adding configuration to pass options to the ghc call in quickcheck[narrowing]
2012-04-04 bulwahn 2012-04-04 rudimentary handling of products in finitize_functions in Quickcheck-Narrowing
2012-03-02 bulwahn 2012-03-02 choosing longer constant names in Quickcheck_Narrowing to reduce the chances of name clashes in Quickcheck-Narrowing
2012-02-22 bulwahn 2012-02-22 preliminarily switching quickcheck-narrowing off by default (probably it should only be invoked if concrete testing does not work)
2012-01-26 bulwahn 2012-01-26 using fully qualified module names in Haskell source, which seems to be required by GHC 7.0.4
2012-01-23 bulwahn 2012-01-23 support for Ex1 in quickcheck-narrowing
2012-01-20 bulwahn 2012-01-20 catching code generation errors in quickcheck-narrowing
2012-01-14 wenzelm 2012-01-14 discontinued old-style Term.list_abs in favour of plain Term.abs;
2011-12-29 wenzelm 2011-12-29 comments;
2011-12-20 bulwahn 2011-12-20 generalize ensure_sort_datatype to ensure_sort in quickcheck_common to allow generators for abstract types; adding common datatype interpretation to quickcheck_common;
2011-12-15 wenzelm 2011-12-15 clarified module dependencies: Datatype_Data, Datatype_Case, Rep_Datatype;
2011-12-05 bulwahn 2011-12-05 making the default behaviour of quickcheck a little bit less verbose; adapting quickcheck examples
2011-12-05 bulwahn 2011-12-05 inverted flag potential to genuine_only in the quickcheck narrowing Haskell code
2011-12-05 bulwahn 2011-12-05 renaming potential flag to genuine_only flag with an inverse semantics
2011-12-05 bulwahn 2011-12-05 quickcheck narrowing continues searching after found a potentially spurious counterexample
2011-12-01 bulwahn 2011-12-01 compilations return genuine flag to quickcheck framework
2011-12-01 bulwahn 2011-12-01 the narrowing also indicates if counterexample is potentially spurious
2011-11-30 bulwahn 2011-11-30 quickcheck narrowing also shows potential counterexamples
2011-11-09 bulwahn 2011-11-09 more precise messages with the tester's name in quickcheck; tuned
2011-11-09 bulwahn 2011-11-09 quickcheck fails with code generator errors only if one tester is invoked
2011-11-09 bulwahn 2011-11-09 removing extra arguments
2011-11-05 wenzelm 2011-11-05 added Logic.varify_types_global/unvarify_types_global, which avoids somewhat expensive Term.map_types; tuned;
2011-10-17 bulwahn 2011-10-17 moving some common functions from quickcheck to the more HOL-specific quickcheck_common; renamed inductive_SML's configurations to more canonical names; adds automatically left and right hand sides of equations as evaluation terms
2011-09-22 bulwahn 2011-09-22 adding post-processing of terms to narrowing-based Quickcheck
2011-09-19 bulwahn 2011-09-19 removing superfluous definition in the quickcheck narrowing invocation as the code generator now generates valid Haskell code with necessary type annotations without a separate definition
2011-09-14 noschinl 2011-09-14 create central list for language extensions used by the haskell code generator
2011-09-08 noschinl 2011-09-08 call ghc with -XEmptyDataDecls
2011-09-06 bulwahn 2011-09-06 avoid "Code" as structure name (cf. 3bc39cfe27fe)
2011-08-18 noschinl 2011-08-18 do not call ghc with -fglasgow-exts
2011-08-18 bulwahn 2011-08-18 activating narrowing-based quickcheck by default
2011-08-17 wenzelm 2011-08-17 modernized signature of Term.absfree/absdummy; eliminated obsolete Term.list_abs_free;
2011-07-20 bulwahn 2011-07-20 removing inner time limits in quickcheck
2011-07-20 bulwahn 2011-07-20 more information for the user how to deactivate quickcheck_narrowing if he does not want to use it
2011-07-20 bulwahn 2011-07-20 making messages more informative
2011-07-18 bulwahn 2011-07-18 unactivating narrowing-based quickcheck by default
2011-07-18 bulwahn 2011-07-18 making active configuration public in narrowing-based quickcheck
2011-07-18 bulwahn 2011-07-18 changed every tester to have a configuration in quickcheck; enabling parallel testing of different testers in quickcheck
2011-07-16 wenzelm 2011-07-16 moved bash operations to Isabelle_System (cf. Scala version);
2011-07-08 wenzelm 2011-07-08 more abstract Thy_Load.load_file/use_file for external theory resources; prefer Boogie_Loader.parse_b2i on already loaded text, bypassing former File.fold_lines optimization;
2011-07-01 wenzelm 2011-07-01 proper @{binding} antiquotations (relevant for formal references);
2011-06-30 wenzelm 2011-06-30 standardized use of Path operations;
2011-06-28 bulwahn 2011-06-28 adding timeout to quickcheck narrowing
2011-06-14 bulwahn 2011-06-14 quickcheck_narrowing returns some timing information
2011-06-09 wenzelm 2011-06-09 tuned signature: Name.invent and Name.invent_names;
2011-06-09 bulwahn 2011-06-09 fixing code generation test
2011-06-09 bulwahn 2011-06-09 adding a nicer error message for quickcheck_narrowing; hiding fact empty_def
2011-06-09 bulwahn 2011-06-09 compilation of Haskell in its own target for Quickcheck; passing options by arguments in Narrowing_Generators
2011-06-07 bulwahn 2011-06-07 adding finitize_functions and processing of equivalences in existential compilation in quickcheck_narrowing
2011-06-07 bulwahn 2011-06-07 adding compilation that allows existentials in Quickcheck_Narrowing
2011-05-31 bulwahn 2011-05-31 Quickcheck Narrowing only requires one compilation with GHC now
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