| Mon, 22 Nov 2010 10:42:07 +0100 | bulwahn | changed old-style quickcheck configurations to new Config.T configurations | file | diff | annotate |
| Mon, 22 Nov 2010 10:42:03 +0100 | bulwahn | moving the error handling to the right scope in smallvalue_generators | file | diff | annotate |
| Mon, 22 Nov 2010 10:42:01 +0100 | bulwahn | removing clone from function package and using the clean interface from Function_Relation instead | 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 |
| 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 |