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