isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

src/HOL/Tools/Quickcheck/random_generators.ML

Sat, 16 Apr 2011 16:15:37 +0200	wenzelm	modernized structure Proof_Context;	file \| diff \| annotate
Tue, 05 Apr 2011 08:53:52 +0200	bulwahn	generalizing ensure_sort_datatype for bounded_forall instances	file \| diff \| annotate
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	file \| diff \| annotate
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	file \| diff \| annotate
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	file \| diff \| annotate
Fri, 18 Mar 2011 18:19:42 +0100	bulwahn	extending the test data generators to take the evaluation terms as arguments	file \| diff \| annotate
Fri, 11 Mar 2011 15:21:13 +0100	bulwahn	adaptions in generators using the common functions	file \| diff \| annotate
Fri, 11 Mar 2011 15:21:13 +0100	bulwahn	adding file quickcheck_common to carry common functions of all quickcheck generators	file \| diff \| annotate
Fri, 11 Mar 2011 15:21:13 +0100	bulwahn	renaming signatures and structures; correcting header	file \| diff \| annotate
Fri, 11 Mar 2011 15:21:13 +0100	bulwahn	moving quickcheck_generators.ML to Quickcheck directory and renaming it random_generators.ML	file \| diff \| annotate \| base

less more (0) tip

isabelle