| Mon, 21 Mar 2011 12:43:23 +0100 |
krauss |
mirabelle: create modified theory file in original location, to ensure that its dependencies can be found (cf. aa8dce9ab8a9)
|
changeset |
files
|
| Mon, 21 Mar 2011 08:29:16 +0100 |
bulwahn |
merged
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
adapting predicate_compile_quickcheck; tuned
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
adapting mutabelle
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
adapting SML_Quickcheck
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
passing a term with free variables to the quickcheck tester functions instead of an lambda expression because this is more natural with passing further evaluation terms; added output of evaluation terms; added evaluation of terms in the exhaustive testing
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
extending the test data generators to take the evaluation terms as arguments
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
adding option of evaluating terms after invocation in quickcheck
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
adding eval option to quickcheck
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
handling a quite restricted set of functions in Quickcheck_Narrowing by an easy transformation
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
adding minimalistic setup and transformation to handle functions as data to enable naive function generation for Quickcheck_Narrowing
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
adding a simple datatype for representing functions in Quickcheck_Narrowing
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
extending code_int type more; adding narrowing instance for type int; added test case for int instance
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
translating bash output in quickcheck_narrowing to handle special characters; adding simple test cases
|
changeset |
files
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
adding size as static argument in quickcheck_narrowing compilation
|
changeset |
files
|