| Wed, 20 Jul 2011 08:16:36 +0200 | bulwahn | exporting function in quickcheck; adapting mutabelle script | changeset | files |
| Wed, 20 Jul 2011 08:16:35 +0200 | bulwahn | more information for the user how to deactivate quickcheck_narrowing if he does not want to use it | changeset | files |
| Wed, 20 Jul 2011 08:16:33 +0200 | bulwahn | making messages more informative | changeset | files |
| Wed, 20 Jul 2011 08:16:32 +0200 | bulwahn | only use exhaustive testing in this quickcheck example | changeset | files |
| Wed, 20 Jul 2011 00:37:42 +0200 | blanchet | parse equalities correctly in Nitrox parser | changeset | files |
| Wed, 20 Jul 2011 00:37:42 +0200 | blanchet | pass type arguments to lambda-lifted Frees, to account for polymorphism | changeset | files |