Fri, 18 Mar 2011 18:19:42 +0100 | bulwahn | extending the test data generators to take the evaluation terms as arguments | file | diff | annotate |
Mon, 14 Mar 2011 12:34:12 +0100 | bulwahn | tuned exhaustive_generators | file | diff | annotate |
Mon, 14 Mar 2011 12:34:10 +0100 | bulwahn | tuned exhaustive generator compilation; added narrowing generator compilation; removed exec as does not work properly here (reverting changeset 994d088fbfbc) | file | diff | annotate |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | minor corrections for renaming; moved postprocessing of terms to Quickcheck_Common | file | diff | annotate |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | adaptions in generators using the common functions | file | diff | annotate |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | renaming signatures and structures; correcting header | file | diff | annotate |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | moving exhaustive_generators.ML to Quickcheck directory | file | diff | annotate | base |