| Fri, 08 Apr 2011 17:13:49 +0200 | bulwahn | merged | changeset | files |
| Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | deactivating other compilations in quickcheck_exhaustive momentarily that only interesting for my benchmarks and experiments | changeset | files |
| Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | generalizing instantiate_datatype in quickcheck_exhaustive to remove clones for different compilations | changeset | files |
| Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | correcting constant name in exhaustive_generators | changeset | files |
| Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | switching fast compilation off by default for now in exhaustive quickcheck | changeset | files |
| Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | ensuring datatype limitations before the instantiation in quickcheck_exhaustive | changeset | files |