| Sun, 23 Feb 2014 10:33:43 +0100 | haftmann | avoid ad-hoc patching of generated code | file | diff | annotate |
| Fri, 02 Mar 2012 09:35:35 +0100 | bulwahn | choosing longer constant names in Quickcheck_Narrowing to reduce the chances of name clashes in Quickcheck-Narrowing | file | diff | annotate |
| Thu, 26 Jan 2012 10:59:47 +0100 | bulwahn | using fully qualified module names in Haskell source, which seems to be required by GHC 7.0.4 | file | diff | annotate |
| Mon, 05 Dec 2011 12:36:05 +0100 | bulwahn | inverted flag potential to genuine_only in the quickcheck narrowing Haskell code | file | diff | annotate |
| Mon, 05 Dec 2011 12:35:58 +0100 | bulwahn | quickcheck narrowing continues searching after found a potentially spurious counterexample | file | diff | annotate |
| Thu, 01 Dec 2011 22:14:35 +0100 | bulwahn | the narrowing also indicates if counterexample is potentially spurious | file | diff | annotate |
| Wed, 30 Nov 2011 09:21:11 +0100 | bulwahn | quickcheck narrowing also shows potential counterexamples | file | diff | annotate |