| Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
avoid ad-hoc patching of generated code
|
file |
diff |
annotate
|
| Mon, 10 Sep 2012 14:52:22 +0200 |
bulwahn |
replacing own dummy value by Haskell's Prelude.undefined
|
file |
diff |
annotate
|
| Fri, 07 Sep 2012 14:15:46 +0200 |
bulwahn |
clearer names for functions in Quickcheck's narrowing engine
|
file |
diff |
annotate
|
| Fri, 23 Mar 2012 12:03:59 +0100 |
bulwahn |
adjusting to longer names in PNF_Narrowing_Engine, which was overlooked in 4106258260b3
|
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
|
| Sat, 04 Feb 2012 07:40:02 +0100 |
bulwahn |
using fully qualified module names in Haskell source, which seems to be required by GHC 7.0.4 (also cf. 0fd9ab902b5a)
|
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
|
| 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
|