src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs
2014-02-23 haftmann 2014-02-23 avoid ad-hoc patching of generated code
2012-09-10 bulwahn 2012-09-10 replacing own dummy value by Haskell's Prelude.undefined
2012-09-07 bulwahn 2012-09-07 clearer names for functions in Quickcheck's narrowing engine
2012-03-23 bulwahn 2012-03-23 adjusting to longer names in PNF_Narrowing_Engine, which was overlooked in 4106258260b3
2012-03-02 bulwahn 2012-03-02 choosing longer constant names in Quickcheck_Narrowing to reduce the chances of name clashes in Quickcheck-Narrowing
2012-02-04 bulwahn 2012-02-04 using fully qualified module names in Haskell source, which seems to be required by GHC 7.0.4 (also cf. 0fd9ab902b5a)
2011-12-05 bulwahn 2011-12-05 inverted flag potential to genuine_only in the quickcheck narrowing Haskell code
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-06-09 bulwahn 2011-06-09 adding narrowing engine for existentials