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
|