src/HOL/Tools/Quickcheck/exhaustive_generators.ML
Fri, 08 Apr 2011 16:31:14 +0200 bulwahn deactivating other compilations in quickcheck_exhaustive momentarily that only interesting for my benchmarks and experiments
Fri, 08 Apr 2011 16:31:14 +0200 bulwahn generalizing instantiate_datatype in quickcheck_exhaustive to remove clones for different compilations
Fri, 08 Apr 2011 16:31:14 +0200 bulwahn correcting constant name in exhaustive_generators
Fri, 08 Apr 2011 16:31:14 +0200 bulwahn switching fast compilation off by default for now in exhaustive quickcheck
Fri, 08 Apr 2011 16:31:14 +0200 bulwahn ensuring datatype limitations before the instantiation in quickcheck_exhaustive
Fri, 08 Apr 2011 16:31:14 +0200 bulwahn splitting exhaustive and full_exhaustive into separate type classes
Fri, 08 Apr 2011 16:31:14 +0200 bulwahn removing duplicate code
Fri, 08 Apr 2011 16:31:14 +0200 bulwahn revisiting mk_equation functions and refactoring them in exhaustive quickcheck
Fri, 08 Apr 2011 16:31:14 +0200 bulwahn creating a general mk_equation_terms for the different compilations
Fri, 08 Apr 2011 16:31:14 +0200 bulwahn adding an even faster compilation scheme
Fri, 08 Apr 2011 16:31:14 +0200 bulwahn new compilation for exhaustive quickcheck
Thu, 07 Apr 2011 14:51:25 +0200 bulwahn correcting bounded_forall construction; tuned
Tue, 05 Apr 2011 09:38:23 +0200 bulwahn deriving bounded_forall instances in quickcheck_exhaustive
Tue, 05 Apr 2011 08:53:52 +0200 bulwahn generalizing ensure_sort_datatype for bounded_forall instances
Mon, 04 Apr 2011 14:44:11 +0200 bulwahn refactoring generator definition in quickcheck and removing clone
Fri, 01 Apr 2011 13:49:38 +0200 bulwahn adding an exhaustive validator for quickcheck's batch validating; moving strip_imp; minimal setup for bounded_forall
Wed, 30 Mar 2011 19:09:57 +0200 bulwahn removing dead code in exhaustive_generators
Wed, 30 Mar 2011 09:44:16 +0200 bulwahn 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
Fri, 18 Mar 2011 18:19:42 +0100 bulwahn 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
Fri, 18 Mar 2011 18:19:42 +0100 bulwahn extending the test data generators to take the evaluation terms as arguments
Mon, 14 Mar 2011 12:34:12 +0100 bulwahn tuned exhaustive_generators
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)
Fri, 11 Mar 2011 15:21:13 +0100 bulwahn minor corrections for renaming; moved postprocessing of terms to Quickcheck_Common
Fri, 11 Mar 2011 15:21:13 +0100 bulwahn adaptions in generators using the common functions
Fri, 11 Mar 2011 15:21:13 +0100 bulwahn renaming signatures and structures; correcting header
Fri, 11 Mar 2011 15:21:13 +0100 bulwahn moving exhaustive_generators.ML to Quickcheck directory
less more (0) tip