| Sat, 13 Jun 2009 10:01:00 +0200 | haftmann | quickcheck using generic code generator | changeset | files |
| Sat, 13 Jun 2009 09:16:25 +0200 | haftmann | quickcheck generators for datatypes with functions | changeset | files |
| Sat, 13 Jun 2009 09:16:24 +0200 | haftmann | more convenient signature for random_fun_lift | changeset | files |
| Sun, 14 Jun 2009 03:02:25 +0200 | wenzelm | improved correctness of get_first (boundary check); | changeset | files |
| Sun, 14 Jun 2009 02:38:09 +0200 | wenzelm | more isatest platforms; | changeset | files |
| Sun, 14 Jun 2009 02:21:46 +0200 | wenzelm | tuned join: produce less garbage while waiting; | changeset | files |
| Sat, 13 Jun 2009 22:01:33 +0200 | wenzelm | improved get_first: check boundary before entering subtrees; | changeset | files |