| 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
|
| 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
|
| Mon, 30 May 2011 17:55:34 +0200 |
bulwahn |
improving overlord option and partial_term_of derivation; changing Narrowing_Engine to print partial terms
|
file |
diff |
annotate
|
| Mon, 30 May 2011 13:57:59 +0200 |
bulwahn |
automatic derivation of partial_term_of functions; renaming type and term to longer names narrowing_type and narrowing_term; hiding constant C; adding overlord option
|
file |
diff |
annotate
|
| Wed, 23 Mar 2011 08:50:39 +0100 |
bulwahn |
changing Quickcheck_Narrowing's main function to enumerate the depth instead upto the depth
|
file |
diff |
annotate
|
| Mon, 14 Mar 2011 12:34:09 +0100 |
bulwahn |
correcting names in Narrowing_Engine and example theory for Quickcheck_Narrowing
|
file |
diff |
annotate
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
adapting Main file generation for Quickcheck_Narrowing
|
file |
diff |
annotate
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better
|
file |
diff |
annotate
| base
|