| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
adding file quickcheck_common to carry common functions of all quickcheck generators
|
changeset |
files
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
adapting record package to renaming of quickcheck's structures
|
changeset |
files
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better
|
changeset |
files
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
correcting dependencies in IsaMakefile
|
changeset |
files
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
renaming signatures and structures; correcting header
|
changeset |
files
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
adapting Quickcheck theory after moving ML files
|
changeset |
files
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
moving quickcheck_generators.ML to Quickcheck directory and renaming it random_generators.ML
|
changeset |
files
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
moving exhaustive_generators.ML to Quickcheck directory
|
changeset |
files
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
correcting dependencies after renaming
|
changeset |
files
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
replacing naming of small by exhaustive
|
changeset |
files
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
renaming smallvalue_generators.ML to exhaustive_generators.ML
|
changeset |
files
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
renaming constants in Quickcheck_Exhaustive theory
|
changeset |
files
|
| Fri, 11 Mar 2011 15:21:12 +0100 |
bulwahn |
renaming Smallcheck to Quickcheck_Exhaustive
|
changeset |
files
|
| Fri, 11 Mar 2011 10:37:45 +0100 |
bulwahn |
only testing theory LSC_Examples when GHC is installed on the machine
|
changeset |
files
|
| Fri, 11 Mar 2011 10:37:43 +0100 |
bulwahn |
increasing timeout of example for counterexample generation
|
changeset |
files
|