| Sun, 05 Feb 2012 08:57:03 +0100 |
bulwahn |
adding a quickcheck example about functions and sets
|
file |
diff |
annotate
|
| Thu, 02 Feb 2012 10:16:10 +0100 |
bulwahn |
adding an example for finite and cofinite sets
|
file |
diff |
annotate
|
| Fri, 27 Jan 2012 19:08:48 +0100 |
bulwahn |
adding some more examples for quickcheck; replaced FIXME comments
|
file |
diff |
annotate
|
| Fri, 27 Jan 2012 10:31:31 +0100 |
bulwahn |
corrected expectation; added an example for quickcheck
|
file |
diff |
annotate
|
| Thu, 26 Jan 2012 12:04:05 +0100 |
bulwahn |
adding quickcheck example with THE
|
file |
diff |
annotate
|
| Tue, 10 Jan 2012 10:18:08 +0100 |
bulwahn |
adding quickcheck examples with multisets
|
file |
diff |
annotate
|
| Mon, 26 Dec 2011 22:17:10 +0100 |
haftmann |
incorporated More_Set and More_List into the Main body -- to be consolidated later
|
file |
diff |
annotate
|
| Sat, 24 Dec 2011 15:53:11 +0100 |
haftmann |
commented out examples which choke on strict set/pred distinction
|
file |
diff |
annotate
|
| Wed, 21 Dec 2011 09:41:16 +0100 |
bulwahn |
extending quickcheck example
|
file |
diff |
annotate
|
| Tue, 20 Dec 2011 17:40:17 +0100 |
bulwahn |
adding quickcheck generator for distinct lists; adding examples
|
file |
diff |
annotate
|
| Mon, 05 Dec 2011 12:36:22 +0100 |
bulwahn |
making the default behaviour of quickcheck a little bit less verbose;
|
file |
diff |
annotate
|
| Mon, 05 Dec 2011 12:36:19 +0100 |
bulwahn |
the reporting random testing also returns if the counterexample is genuine or potentially spurious
|
file |
diff |
annotate
|
| Thu, 01 Dec 2011 22:14:35 +0100 |
bulwahn |
adding examples for quickcheck-random
|
file |
diff |
annotate
|
| Wed, 30 Nov 2011 10:07:32 +0100 |
bulwahn |
adding examples for the potential counterexamples in the simple scheme
|
file |
diff |
annotate
|
| Wed, 30 Nov 2011 09:21:09 +0100 |
bulwahn |
adding a exception-safe term reification step in quickcheck; adding examples
|
file |
diff |
annotate
|
| Tue, 15 Nov 2011 15:38:50 +0100 |
bulwahn |
improved generators for rational numbers to generate negative numbers;
|
file |
diff |
annotate
|
| Thu, 10 Nov 2011 17:26:17 +0100 |
bulwahn |
adding some test cases for preprocessing and narrowing
|
file |
diff |
annotate
|
| 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
|
file |
diff |
annotate
|
| Sat, 13 Aug 2011 07:39:35 -0700 |
huffman |
ex/Quickcheck_Examples.thy: respect distinction between sets and functions
|
file |
diff |
annotate
|
| Wed, 20 Jul 2011 08:16:32 +0200 |
bulwahn |
only use exhaustive testing in this quickcheck example
|
file |
diff |
annotate
|
| Mon, 18 Jul 2011 11:38:14 +0200 |
bulwahn |
declare tester in this quickcheck example
|
file |
diff |
annotate
|
| Wed, 13 Jul 2011 21:59:54 +0200 |
bulwahn |
increasing timeout to avoid spurious failures
|
file |
diff |
annotate
|
| Sat, 09 Jul 2011 19:29:25 +0200 |
bulwahn |
adding quickcheck examples for evaluating floor and ceiling functions
|
file |
diff |
annotate
|
| Thu, 05 May 2011 10:47:33 +0200 |
bulwahn |
adding examples for invoking quickcheck with records
|
file |
diff |
annotate
|
| Wed, 20 Apr 2011 16:00:45 +0200 |
bulwahn |
adding examples for Quickcheck used within locales
|
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
|
| 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
|
file |
diff |
annotate
|
| Fri, 17 Dec 2010 12:14:18 +0100 |
bulwahn |
adding exhaustive tester instances for numeric types: code_numeral, nat, rat and real
|
file |
diff |
annotate
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adapting quickcheck examples
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 14:19:03 +0100 |
bulwahn |
adding setup for exhaustive testing in example file
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 11:35:02 +0100 |
bulwahn |
adding temporary options to the quickcheck examples
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 11:35:00 +0100 |
bulwahn |
adapting the quickcheck examples
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 11:34:50 +0100 |
bulwahn |
adding test cases for smallcheck and adding examples where exhaustive testing is more successful
|
file |
diff |
annotate
|
| Wed, 21 Jul 2010 19:21:07 +0200 |
bulwahn |
adding checking of expected result for the tool quickcheck; annotated a few quickcheck examples
|
file |
diff |
annotate
|
| Wed, 21 Jul 2010 18:11:51 +0200 |
bulwahn |
removing obsolete ID in Quickcheck_Examples
|
file |
diff |
annotate
|
| Tue, 23 Sep 2008 18:11:43 +0200 |
haftmann |
fixed quickcheck parameter syntax
|
file |
diff |
annotate
|
| Mon, 22 Sep 2008 13:56:03 +0200 |
haftmann |
TEMPORARY: make batch run happy
|
file |
diff |
annotate
|
| Thu, 10 Jan 2008 19:25:08 +0100 |
berghofe |
New example involving functions.
|
file |
diff |
annotate
|
| Wed, 14 Sep 2005 22:08:08 +0200 |
wenzelm |
tuned headers etc.;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Fri, 16 Apr 2004 18:09:24 +0200 |
berghofe |
Added theory with examples for quickcheck command.
|
file |
diff |
annotate
|