| 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 |
| Mon, 14 Mar 2011 12:34:09 +0100 | bulwahn | correcting names in Narrowing_Engine and example theory for Quickcheck_Narrowing | file | diff | annotate |
| Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | adapting example file to renaming of the quickcheck tester | file | diff | annotate |
| Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | renaming example file correctly | file | diff | annotate | base |