Mon, 30 May 2011 17:55:34 +0200 | bulwahn | improving overlord option and partial_term_of derivation; changing Narrowing_Engine to print partial terms | file | diff | annotate |
Mon, 30 May 2011 13:57:59 +0200 | bulwahn | automatic derivation of partial_term_of functions; renaming type and term to longer names narrowing_type and narrowing_term; hiding constant C; adding overlord option | file | diff | annotate |
Wed, 23 Mar 2011 08:50:39 +0100 | bulwahn | changing Quickcheck_Narrowing's main function to enumerate the depth instead upto the depth | 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 Main file generation for Quickcheck_Narrowing | file | diff | annotate |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better | file | diff | annotate | base |