Fri, 11 Mar 2011 10:37:43 +0100 | bulwahn | increasing timeout of example for counterexample generation | file | diff | annotate |
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 | file | diff | annotate |
Fri, 11 Mar 2011 10:37:40 +0100 | bulwahn | adding serial instance of finite_4 in lazysmallcheck; changing code equations for implies | file | diff | annotate |
Fri, 11 Mar 2011 10:37:37 +0100 | bulwahn | adding an example theory for Lazysmallcheck prototype | file | diff | annotate |