| Fri, 11 Mar 2011 10:37:43 +0100 | bulwahn | increasing timeout of example for counterexample generation | changeset | files |
| Fri, 11 Mar 2011 10:37:42 +0100 | bulwahn | adding termination proofs to series functions in LSC; commenting out momentarily unused term refinement functions in LSC | changeset | files |
| Fri, 11 Mar 2011 10:37:41 +0100 | bulwahn | adding lazysmallcheck example theory to HOL-ex session | changeset | files |
| Fri, 11 Mar 2011 10:37:40 +0100 | bulwahn | adding serial instance of finite_4 in lazysmallcheck; changing code equations for implies | changeset | files |
| Fri, 11 Mar 2011 10:37:38 +0100 | bulwahn | replacing strings in generated Code resolves the changing names of Typerep in lazysmallcheck prototype | changeset | files |
| 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 |