| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | adding code equations for partial_term_of for rational numbers | changeset | files |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | adapting an experimental setup to changes in quickcheck's infrastructure | changeset | files |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | adding narrowing instances for real and rational | changeset | files |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | adapting quickcheck based on the analysis of the predicate compiler | changeset | files |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | adapting prolog-based tester | changeset | files |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | quickcheck does not deactivate testers if none are given | changeset | files |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | adapting mutabelle to latest changes in quickcheck; removing unused code in mutabelle | changeset | files |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | renaming quickcheck_tester to quickcheck_batch_tester; tuned | changeset | files |