src/HOL/Tools/Quickcheck/Narrowing_Engine.hs
2011-12-05 bulwahn 2011-12-05 inverted flag potential to genuine_only in the quickcheck narrowing Haskell code
2011-12-05 bulwahn 2011-12-05 quickcheck narrowing continues searching after found a potentially spurious counterexample
2011-12-01 bulwahn 2011-12-01 the narrowing also indicates if counterexample is potentially spurious
2011-11-30 bulwahn 2011-11-30 quickcheck narrowing also shows potential counterexamples
2011-09-26 bulwahn 2011-09-26 importing the Generated_Code module qualified to reduce the probability of name clashes between the static code and the generated code in the narrowing-based Quickcheck
2011-09-19 bulwahn 2011-09-19 catch PatternMatchFail exceptions in narrowing-based quickcheck
2011-09-06 bulwahn 2011-09-06 avoid "Code" as structure name (cf. 3bc39cfe27fe)
2011-05-30 bulwahn 2011-05-30 improving overlord option and partial_term_of derivation; changing Narrowing_Engine to print partial terms
2011-05-30 bulwahn 2011-05-30 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
2011-03-23 bulwahn 2011-03-23 changing Quickcheck_Narrowing's main function to enumerate the depth instead upto the depth
2011-03-14 bulwahn 2011-03-14 correcting names in Narrowing_Engine and example theory for Quickcheck_Narrowing
2011-03-11 bulwahn 2011-03-11 adapting Main file generation for Quickcheck_Narrowing
2011-03-11 bulwahn 2011-03-11 moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better