| Wed, 30 Nov 2011 17:30:01 +0100 |
wenzelm |
prefer cpodef without extra definition;
|
changeset |
files
|
| Wed, 30 Nov 2011 16:27:10 +0100 |
wenzelm |
prefer typedef without extra definition and alternative name;
|
changeset |
files
|
| Wed, 30 Nov 2011 16:05:15 +0100 |
wenzelm |
tuned layout;
|
changeset |
files
|
| Wed, 30 Nov 2011 16:03:18 +0100 |
wenzelm |
tuned header;
|
changeset |
files
|
| Wed, 30 Nov 2011 12:09:29 +0100 |
wenzelm |
updated version information;
|
changeset |
files
|
| Wed, 30 Nov 2011 11:36:46 +0100 |
kuncar |
removed outdated comment
|
changeset |
files
|
| Wed, 30 Nov 2011 10:07:32 +0100 |
bulwahn |
adding examples for the potential counterexamples in the simple scheme
|
changeset |
files
|
| Wed, 30 Nov 2011 09:35:58 +0100 |
bulwahn |
also potential counterexamples in the simple exhaustive testing in quickcheck
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:18 +0100 |
bulwahn |
quickcheck does not show evaluation terms of equations if they are simply free variables to avoid duplicated output; tuned
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:15 +0100 |
bulwahn |
adding more verbose messages to exhaustive quickcheck
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:11 +0100 |
bulwahn |
quickcheck narrowing also shows potential counterexamples
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:09 +0100 |
bulwahn |
adding a exception-safe term reification step in quickcheck; adding examples
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:07 +0100 |
bulwahn |
quickcheck returns counterexamples that are potentially spurious due to underspecified code equations and match exceptions
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:04 +0100 |
bulwahn |
adding parsing of potential configuration to quickcheck command
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:02 +0100 |
bulwahn |
adding quickcheck's potential configuration
|
changeset |
files
|