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