Mon, 18 Jul 2011 10:34:21 +0200 |
bulwahn |
adapting SML_Quickcheck to new quickcheck infrastructure
|
file |
diff |
annotate
|
Mon, 18 Jul 2011 10:34:21 +0200 |
bulwahn |
parametrized test_term functions in quickcheck
|
file |
diff |
annotate
|
Mon, 18 Jul 2011 10:34:21 +0200 |
bulwahn |
adding random, exhaustive and SML quickcheck as testers
|
file |
diff |
annotate
|
Wed, 20 Apr 2011 15:55:34 +0200 |
wenzelm |
eliminated global references / critical sections via context data;
|
file |
diff |
annotate
|
Wed, 30 Mar 2011 10:31:02 +0200 |
bulwahn |
adding a regression test for SML_Quickcheck; putting SML_Quickcheck back in shape
|
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 |
adapting SML_Quickcheck
|
file |
diff |
annotate
|
Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adapting SML_Quickcheck to recent changes
|
file |
diff |
annotate
|
Thu, 09 Sep 2010 16:43:57 +0200 |
bulwahn |
changing the container for the quickcheck options to a generic data
|
file |
diff |
annotate
|
Thu, 10 Jun 2010 12:24:02 +0200 |
haftmann |
moved inductive_codegen to place where product type is available; tuned structure name
|
file |
diff |
annotate
|
Thu, 19 Nov 2009 16:07:53 +0100 |
berghofe |
Added new counterexample generator SML_inductive for goals involving
|
file |
diff |
annotate
|
Fri, 23 Oct 2009 17:12:36 +0200 |
haftmann |
turned off old quickcheck
|
file |
diff |
annotate
|