| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
adaptions in generators using the common functions
|
changeset |
files
|
| 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
|
| Fri, 11 Mar 2011 10:37:42 +0100 |
bulwahn |
adding termination proofs to series functions in LSC; commenting out momentarily unused term refinement functions in LSC
|
changeset |
files
|
| Fri, 11 Mar 2011 10:37:41 +0100 |
bulwahn |
adding lazysmallcheck example theory to HOL-ex session
|
changeset |
files
|
| Fri, 11 Mar 2011 10:37:40 +0100 |
bulwahn |
adding serial instance of finite_4 in lazysmallcheck; changing code equations for implies
|
changeset |
files
|
| Fri, 11 Mar 2011 10:37:38 +0100 |
bulwahn |
replacing strings in generated Code resolves the changing names of Typerep in lazysmallcheck prototype
|
changeset |
files
|
| Fri, 11 Mar 2011 10:37:37 +0100 |
bulwahn |
changing invocation of ghc from interactive mode to compilation increases the performance of lazysmallcheck by a factor of twenty; changing Integer type to Int reduces by another 50 percent
|
changeset |
files
|
| Fri, 11 Mar 2011 10:37:37 +0100 |
bulwahn |
adding an example theory for Lazysmallcheck prototype
|
changeset |
files
|
| Fri, 11 Mar 2011 10:37:36 +0100 |
bulwahn |
adding Lazysmallcheck prototype to HOL-Library
|
changeset |
files
|
| Fri, 11 Mar 2011 10:37:35 +0100 |
bulwahn |
adding files for prototype of lazysmallcheck
|
changeset |
files
|