| Mon, 30 Apr 2012 13:48:30 +0200 |
bulwahn |
adding configuration to pass options to the ghc call in quickcheck[narrowing]
|
file |
diff |
annotate
|
| Wed, 04 Apr 2012 10:17:54 +0200 |
bulwahn |
rudimentary handling of products in finitize_functions in Quickcheck-Narrowing
|
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
|
| Wed, 22 Feb 2012 09:35:01 +0100 |
bulwahn |
preliminarily switching quickcheck-narrowing off by default (probably it should only be invoked if concrete testing does not work)
|
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, 23 Jan 2012 15:23:02 +0100 |
bulwahn |
support for Ex1 in quickcheck-narrowing
|
file |
diff |
annotate
|
| Fri, 20 Jan 2012 09:28:54 +0100 |
bulwahn |
catching code generation errors in quickcheck-narrowing
|
file |
diff |
annotate
|
| Sat, 14 Jan 2012 21:16:15 +0100 |
wenzelm |
discontinued old-style Term.list_abs in favour of plain Term.abs;
|
file |
diff |
annotate
|
| Thu, 29 Dec 2011 15:54:37 +0100 |
wenzelm |
comments;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2011 17:22:31 +0100 |
bulwahn |
generalize ensure_sort_datatype to ensure_sort in quickcheck_common to allow generators for abstract types;
|
file |
diff |
annotate
|
| Thu, 15 Dec 2011 18:08:40 +0100 |
wenzelm |
clarified module dependencies: Datatype_Data, Datatype_Case, Rep_Datatype;
|
file |
diff |
annotate
|
| Mon, 05 Dec 2011 12:36:22 +0100 |
bulwahn |
making the default behaviour of quickcheck a little bit less verbose;
|
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:36:00 +0100 |
bulwahn |
renaming potential flag to genuine_only flag with an inverse semantics
|
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 |
compilations return genuine flag to quickcheck framework
|
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
|
| Wed, 09 Nov 2011 11:35:09 +0100 |
bulwahn |
more precise messages with the tester's name in quickcheck; tuned
|
file |
diff |
annotate
|
| Wed, 09 Nov 2011 11:34:59 +0100 |
bulwahn |
quickcheck fails with code generator errors only if one tester is invoked
|
file |
diff |
annotate
|
| Wed, 09 Nov 2011 11:34:57 +0100 |
bulwahn |
removing extra arguments
|
file |
diff |
annotate
|
| Sat, 05 Nov 2011 15:00:49 +0100 |
wenzelm |
added Logic.varify_types_global/unvarify_types_global, which avoids somewhat expensive Term.map_types;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2011 10:19:01 +0200 |
bulwahn |
moving some common functions from quickcheck to the more HOL-specific quickcheck_common; renamed inductive_SML's configurations to more canonical names; adds automatically left and right hand sides of equations as evaluation terms
|
file |
diff |
annotate
|
| Thu, 22 Sep 2011 07:26:53 +0200 |
bulwahn |
adding post-processing of terms to narrowing-based Quickcheck
|
file |
diff |
annotate
|
| Mon, 19 Sep 2011 16:18:33 +0200 |
bulwahn |
removing superfluous definition in the quickcheck narrowing invocation as the code generator now generates valid Haskell code with necessary type annotations without a separate definition
|
file |
diff |
annotate
|
| Wed, 14 Sep 2011 10:24:22 +0200 |
noschinl |
create central list for language extensions used by the haskell code generator
|
file |
diff |
annotate
|
| Thu, 08 Sep 2011 12:23:11 +0200 |
noschinl |
call ghc with -XEmptyDataDecls
|
file |
diff |
annotate
|
| Tue, 06 Sep 2011 16:40:22 +0200 |
bulwahn |
avoid "Code" as structure name (cf. 3bc39cfe27fe)
|
file |
diff |
annotate
|
| Thu, 18 Aug 2011 13:37:41 +0200 |
noschinl |
do not call ghc with -fglasgow-exts
|
file |
diff |
annotate
|
| Thu, 18 Aug 2011 12:06:17 +0200 |
bulwahn |
activating narrowing-based quickcheck by default
|
file |
diff |
annotate
|