Thu, 15 Mar 2012 20:07:00 +0100 | wenzelm | prefer formally checked @{keyword} parser; | file | diff | annotate |
Tue, 21 Feb 2012 12:20:33 +0100 | bulwahn | subtype preprocessing in Quickcheck; | file | diff | annotate |
Tue, 21 Feb 2012 11:25:48 +0100 | bulwahn | adding parsing of an optional predicate with quickcheck_generator command | file | diff | annotate |
Wed, 21 Dec 2011 09:21:35 +0100 | bulwahn | quickcheck_generator command also creates random generators | file | diff | annotate |
Tue, 20 Dec 2011 17:39:56 +0100 | bulwahn | quickcheck generators for abstract types; tuned | file | diff | annotate |