| Mon, 19 Sep 2011 14:24:53 +0200 | bulwahn | increasing quickcheck timeout to reduce spurious test failures due to massive parallel invocations and bad scheduling | file | diff | annotate |
| Fri, 09 Sep 2011 00:22:18 +0200 | krauss | added syntactic classes for "inf" and "sup" | file | diff | annotate |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | adapting an experimental setup to changes in quickcheck's infrastructure | file | diff | annotate |
| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Wed, 21 Jul 2010 19:21:07 +0200 | bulwahn | adding checking of expected result for the tool quickcheck; annotated a few quickcheck examples | file | diff | annotate |
| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | adding Quickcheck examples for other quickcheck default types | file | diff | annotate |