| 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 |
| Tue, 29 Nov 2011 22:45:21 +0100 | wenzelm | more conventional file name; | changeset | files |
| Tue, 29 Nov 2011 21:50:00 +0100 | wenzelm | merged | changeset | files |