Fri, 11 Mar 2011 10:37:37 +0100 | bulwahn | changing invocation of ghc from interactive mode to compilation increases the performance of lazysmallcheck by a factor of twenty; changing Integer type to Int reduces by another 50 percent | changeset | files |
Fri, 11 Mar 2011 10:37:37 +0100 | bulwahn | adding an example theory for Lazysmallcheck prototype | changeset | files |
Fri, 11 Mar 2011 10:37:36 +0100 | bulwahn | adding Lazysmallcheck prototype to HOL-Library | changeset | files |