| 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
|