Thu, 01 Dec 2011 22:16:26 +0100 |
bulwahn |
hiding internal constants and facts more properly
|
file |
diff |
annotate
|
Thu, 01 Dec 2011 22:16:23 +0100 |
bulwahn |
removing catch_match' now that catch_match is polymorphic
|
file |
diff |
annotate
|
Thu, 01 Dec 2011 22:14:35 +0100 |
bulwahn |
the simple exhaustive compilation also indicates if counterexample is potentially spurious;
|
file |
diff |
annotate
|
Thu, 01 Dec 2011 22:14:35 +0100 |
bulwahn |
changing the exhaustive generator signatures;
|
file |
diff |
annotate
|
Thu, 01 Dec 2011 22:14:35 +0100 |
bulwahn |
quickcheck random can also find potential counterexamples;
|
file |
diff |
annotate
|
Wed, 30 Nov 2011 15:07:10 +0100 |
bulwahn |
more stable introduction of the internally used unknown term
|
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
|
Fri, 11 Nov 2011 08:32:45 +0100 |
bulwahn |
adding CPS compilation to predicate compiler;
|
file |
diff |
annotate
|
Mon, 18 Jul 2011 10:34:21 +0200 |
bulwahn |
renaming quickcheck_tester to quickcheck_batch_tester; tuned
|
file |
diff |
annotate
|
Fri, 08 Apr 2011 16:31:14 +0200 |
bulwahn |
splitting exhaustive and full_exhaustive into separate type classes
|
file |
diff |
annotate
|
Fri, 08 Apr 2011 16:31:14 +0200 |
bulwahn |
theory definitions for fast exhaustive quickcheck compilation
|
file |
diff |
annotate
|
Fri, 08 Apr 2011 16:31:14 +0200 |
bulwahn |
new compilation for exhaustive quickcheck
|
file |
diff |
annotate
|
Thu, 07 Apr 2011 14:51:26 +0200 |
bulwahn |
removing instantiation exhaustive for unit in Quickcheck_Exhaustive
|
file |
diff |
annotate
|
Tue, 05 Apr 2011 09:38:23 +0200 |
bulwahn |
deriving bounded_forall instances in quickcheck_exhaustive
|
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
|
Fri, 25 Mar 2011 16:03:49 +0100 |
bulwahn |
changing iteration scheme of functions to use minimal number of function updates for exhaustive testing
|
file |
diff |
annotate
|
Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
moving exhaustive_generators.ML to Quickcheck directory
|
file |
diff |
annotate
|
Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
replacing naming of small by exhaustive
|
file |
diff |
annotate
|
Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
renaming constants in Quickcheck_Exhaustive theory
|
file |
diff |
annotate
|
Fri, 11 Mar 2011 15:21:12 +0100 |
bulwahn |
renaming Smallcheck to Quickcheck_Exhaustive
|
file |
diff |
annotate
| base
|