| Wed, 20 Jul 2011 08:16:41 +0200 | bulwahn | removing inner time limits in quickcheck | changeset | files |
| Wed, 20 Jul 2011 08:16:39 +0200 | bulwahn | updating documentation about quickcheck; adding information about try | changeset | files |
| Wed, 20 Jul 2011 08:16:38 +0200 | bulwahn | adapting example in Predicate_Compile_Examples | changeset | files |
| 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 |