| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
|
| |
Ignore-this: 44ebbee2683f50bc0728458f4babcce
Now the number of runs each can be set, and the failures and successes are
summarized in the same way as the core Properties.hs. There is some duplicated
code which could be avoided by modifying Properties.hs.
darcs-hash:20110609040722-1499c-206640f8199e58688298069c98e373ab82ce3999.gz
|
|
|
|
|
|
|
|
|
| |
Ignore-this: 31d51fae83d88e15cdb69f29da003bf7
The change to use a newtype for RectC is kind of ugly, but this way instances
are less likely to conflict in the tests.
darcs-hash:20110609040220-1499c-3a64ffa1d978d1dcebf648774619b192b3b244e3.gz
|
|
|
|
|
|
| |
Ignore-this: 1745e6f1052e84e40153b5b1c0a6e15a
darcs-hash:20100419014946-1499c-4705ec3d27ad26df038a7d72e978e5a137d712b5.gz
|
|
|
|
|
|
| |
Ignore-this: 804bee14960064b4e4efd33d07a60a2b
darcs-hash:20100414211947-f7719-3e59a219595be3fc05fe2dfac75145dc93565d3e.gz
|
|
|
|
|
|
| |
Ignore-this: ded6711134658fe371f19a909037c9cb
darcs-hash:20100414204612-1499c-c56256e7e61dcba729ff5ded1d7b9a8984eb47fa.gz
|
|
|
|
|
|
| |
Ignore-this: 80e2b5d8658dc053c66993be970e6247
darcs-hash:20091001155853-a5338-0520bb8e07f2ac797f4970730f414a36e3fdf4b0.gz
|
|
|
|
|
|
| |
Ignore-this: 51d6e9da4a6a4f683cd145371e90be17
darcs-hash:20091014202213-a5338-1896e12a9c253692e03c0ac1d624fe0e26312e21.gz
|
|
|
|
|
|
| |
Ignore-this: 340b2a1465b9fc98cdc386b511ce26bb
darcs-hash:20090929163139-a5338-41aff4fdfbefe3c50a528bdf1a0c798a90b80381.gz
|
|
|
|
|
|
| |
Ignore-this: 6636f2f2d5aa15a6d0ef6d45ee38aa42
darcs-hash:20090929160420-a5338-e359279c8accbf1db6210b862f319e283d0c8bf3.gz
|
|
|
|
|
|
| |
Ignore-this: ded23208563ca8c8d411916d01351132
darcs-hash:20090929160207-a5338-8da17faae1182548259cb9d304533c6239673710.gz
|
|
|
|
| |
darcs-hash:20071101201059-a5988-fc1f1262bec1b69e13ba18ae7cefeafc8c4471d4.gz
|
|
|
|
| |
darcs-hash:20071019205830-ae588-536b101a46c01318fa5120e055c07327f3b3937d.gz
|
|
|
|
|
|
| |
run with -i..:../tests
darcs-hash:20071004081534-78224-05059d9d2798bd3fccd6080876ad590d0c6976d6.gz
|
|
darcs-hash:20070817155634-32816-85ed226b544cf1ca2946b1bc1ae1ea61f5301339.gz
|