| 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
|