| Tue, 08 Feb 2011 08:58:24 +0100 |
bulwahn |
improving sum type and option type term constructions for correct presentation in Smallcheck
|
file |
diff |
annotate
|
| Mon, 07 Feb 2011 15:46:58 +0100 |
bulwahn |
improving term construction of product types in Smallcheck which enables correct presentation of counterexamples
|
file |
diff |
annotate
|
| Fri, 17 Dec 2010 12:14:18 +0100 |
bulwahn |
adding exhaustive tester instances for numeric types: code_numeral, nat, rat and real
|
file |
diff |
annotate
|
| Wed, 15 Dec 2010 17:46:46 +0100 |
bulwahn |
adding postprocessing for maps in term construction of quickcheck; fixed check_all_option definition
|
file |
diff |
annotate
|
| Wed, 15 Dec 2010 17:46:46 +0100 |
bulwahn |
added enum_term_of to correct present nested functions
|
file |
diff |
annotate
|
| Fri, 10 Dec 2010 11:42:05 +0100 |
bulwahn |
adding check_all instances for a few more finite types in smallcheck
|
file |
diff |
annotate
|
| Fri, 10 Dec 2010 11:42:04 +0100 |
bulwahn |
removing unneccassary sort constraints
|
file |
diff |
annotate
|
| Wed, 08 Dec 2010 18:07:03 +0100 |
bulwahn |
adding a smarter enumeration scheme for finite functions
|
file |
diff |
annotate
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
declaring quickcheck testers as default after their setup
|
file |
diff |
annotate
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
activating construction of exhaustive testing combinators
|
file |
diff |
annotate
|
| Fri, 03 Dec 2010 08:40:46 +0100 |
bulwahn |
improving readability of Smallcheck theory; adding constant orelse to improve performance of the function package
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 10:41:58 +0100 |
bulwahn |
adding function generation to SmallCheck; activating exhaustive search space testing
|
file |
diff |
annotate
|
| Wed, 17 Nov 2010 11:39:44 -0800 |
huffman |
section -> subsection
|
file |
diff |
annotate
|
| Mon, 08 Nov 2010 09:25:43 +0100 |
bulwahn |
adding code and theory for smallvalue generators, but do not setup the interpretation yet
|
file |
diff |
annotate
|