src/HOL/ex/Quickcheck_Examples.thy
Wed, 21 Dec 2011 09:41:16 +0100 bulwahn extending quickcheck example
Tue, 20 Dec 2011 17:40:17 +0100 bulwahn adding quickcheck generator for distinct lists; adding examples
Mon, 05 Dec 2011 12:36:22 +0100 bulwahn making the default behaviour of quickcheck a little bit less verbose;
Mon, 05 Dec 2011 12:36:19 +0100 bulwahn the reporting random testing also returns if the counterexample is genuine or potentially spurious
Thu, 01 Dec 2011 22:14:35 +0100 bulwahn adding examples for quickcheck-random
Wed, 30 Nov 2011 10:07:32 +0100 bulwahn adding examples for the potential counterexamples in the simple scheme
Wed, 30 Nov 2011 09:21:09 +0100 bulwahn adding a exception-safe term reification step in quickcheck; adding examples
Tue, 15 Nov 2011 15:38:50 +0100 bulwahn improved generators for rational numbers to generate negative numbers;
Thu, 10 Nov 2011 17:26:17 +0100 bulwahn adding some test cases for preprocessing and narrowing
Mon, 03 Oct 2011 14:43:15 +0200 bulwahn adding examples with relations to Quickcheck_Examples to show that quickcheck can actually handle operators on relations as well
Sat, 13 Aug 2011 07:39:35 -0700 huffman ex/Quickcheck_Examples.thy: respect distinction between sets and functions
Wed, 20 Jul 2011 08:16:32 +0200 bulwahn only use exhaustive testing in this quickcheck example
Mon, 18 Jul 2011 11:38:14 +0200 bulwahn declare tester in this quickcheck example
Wed, 13 Jul 2011 21:59:54 +0200 bulwahn increasing timeout to avoid spurious failures
Sat, 09 Jul 2011 19:29:25 +0200 bulwahn adding quickcheck examples for evaluating floor and ceiling functions
Thu, 05 May 2011 10:47:33 +0200 bulwahn adding examples for invoking quickcheck with records
Wed, 20 Apr 2011 16:00:45 +0200 bulwahn adding examples for Quickcheck used within locales
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
Wed, 23 Mar 2011 08:50:29 +0100 bulwahn changing timeout behaviour of quickcheck to proceed after command rather than failing; adding a test case for timeout
Fri, 17 Dec 2010 12:14:18 +0100 bulwahn adding exhaustive tester instances for numeric types: code_numeral, nat, rat and real
Fri, 03 Dec 2010 08:40:47 +0100 bulwahn adapting quickcheck examples
Mon, 22 Nov 2010 14:19:03 +0100 bulwahn adding setup for exhaustive testing in example file
Mon, 22 Nov 2010 11:35:02 +0100 bulwahn adding temporary options to the quickcheck examples
Mon, 22 Nov 2010 11:35:00 +0100 bulwahn adapting the quickcheck examples
Mon, 22 Nov 2010 11:34:50 +0100 bulwahn adding test cases for smallcheck and adding examples where exhaustive testing is more successful
Wed, 21 Jul 2010 19:21:07 +0200 bulwahn adding checking of expected result for the tool quickcheck; annotated a few quickcheck examples
Wed, 21 Jul 2010 18:11:51 +0200 bulwahn removing obsolete ID in Quickcheck_Examples
Tue, 23 Sep 2008 18:11:43 +0200 haftmann fixed quickcheck parameter syntax
Mon, 22 Sep 2008 13:56:03 +0200 haftmann TEMPORARY: make batch run happy
Thu, 10 Jan 2008 19:25:08 +0100 berghofe New example involving functions.
Wed, 14 Sep 2005 22:08:08 +0200 wenzelm tuned headers etc.;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Fri, 16 Apr 2004 18:09:24 +0200 berghofe Added theory with examples for quickcheck command.
less more (0) tip