Mon, 05 Dec 2011 12:36:05 +0100 | bulwahn | inverted flag potential to genuine_only in the quickcheck narrowing Haskell code | file | diff | annotate |
Wed, 30 Nov 2011 09:21:11 +0100 | bulwahn | quickcheck narrowing also shows potential counterexamples | file | diff | annotate |
Mon, 26 Sep 2011 10:30:37 +0200 | bulwahn | importing the Generated_Code module qualified to reduce the probability of name clashes between the static code and the generated code in the narrowing-based Quickcheck | file | diff | annotate |
Mon, 19 Sep 2011 16:18:34 +0200 | bulwahn | catch PatternMatchFail exceptions in narrowing-based quickcheck | file | diff | annotate |
Tue, 06 Sep 2011 16:40:22 +0200 | bulwahn | avoid "Code" as structure name (cf. 3bc39cfe27fe) | file | diff | annotate |
Thu, 09 Jun 2011 08:32:18 +0200 | bulwahn | adding narrowing engine for existentials | file | diff | annotate |