src/HOL/Tools/Quickcheck/exhaustive_generators.ML
2011-04-08 bulwahn 2011-04-08 deactivating other compilations in quickcheck_exhaustive momentarily that only interesting for my benchmarks and experiments
2011-04-08 bulwahn 2011-04-08 generalizing instantiate_datatype in quickcheck_exhaustive to remove clones for different compilations
2011-04-08 bulwahn 2011-04-08 correcting constant name in exhaustive_generators
2011-04-08 bulwahn 2011-04-08 switching fast compilation off by default for now in exhaustive quickcheck
2011-04-08 bulwahn 2011-04-08 ensuring datatype limitations before the instantiation in quickcheck_exhaustive
2011-04-08 bulwahn 2011-04-08 splitting exhaustive and full_exhaustive into separate type classes
2011-04-08 bulwahn 2011-04-08 removing duplicate code
2011-04-08 bulwahn 2011-04-08 revisiting mk_equation functions and refactoring them in exhaustive quickcheck
2011-04-08 bulwahn 2011-04-08 creating a general mk_equation_terms for the different compilations
2011-04-08 bulwahn 2011-04-08 adding an even faster compilation scheme
2011-04-08 bulwahn 2011-04-08 new compilation for exhaustive quickcheck
2011-04-07 bulwahn 2011-04-07 correcting bounded_forall construction; tuned
2011-04-05 bulwahn 2011-04-05 deriving bounded_forall instances in quickcheck_exhaustive
2011-04-05 bulwahn 2011-04-05 generalizing ensure_sort_datatype for bounded_forall instances
2011-04-04 bulwahn 2011-04-04 refactoring generator definition in quickcheck and removing clone
2011-04-01 bulwahn 2011-04-01 adding an exhaustive validator for quickcheck's batch validating; moving strip_imp; minimal setup for bounded_forall
2011-03-30 bulwahn 2011-03-30 removing dead code in exhaustive_generators
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-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-14 bulwahn 2011-03-14 tuned exhaustive_generators
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-11 bulwahn 2011-03-11 minor corrections for renaming; moved postprocessing of terms to Quickcheck_Common
2011-03-11 bulwahn 2011-03-11 adaptions in generators using the common functions
2011-03-11 bulwahn 2011-03-11 renaming signatures and structures; correcting header
2011-03-11 bulwahn 2011-03-11 moving exhaustive_generators.ML to Quickcheck directory