Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs
Fri, 23 Mar 2012 12:03:59 +0100
bulwahn
adjusting to longer names in PNF_Narrowing_Engine, which was overlooked in 4106258260b3
file
|
diff
|
annotate
Fri, 02 Mar 2012 09:35:35 +0100
bulwahn
choosing longer constant names in Quickcheck_Narrowing to reduce the chances of name clashes in Quickcheck-Narrowing
file
|
diff
|
annotate
Sat, 04 Feb 2012 07:40:02 +0100
bulwahn
using fully qualified module names in Haskell source, which seems to be required by GHC 7.0.4 (also cf. 0fd9ab902b5a)
file
|
diff
|
annotate
Mon, 05 Dec 2011 12:36:05 +0100
bulwahn
inverted flag potential to genuine_only in the quickcheck narrowing Haskell code
file
|
diff
|
annotate
Wed, 30 Nov 2011 09:21:11 +0100
bulwahn
quickcheck narrowing also shows potential counterexamples
file
|
diff
|
annotate
Mon, 26 Sep 2011 10:30:37 +0200
bulwahn
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
file
|
diff
|
annotate
Mon, 19 Sep 2011 16:18:34 +0200
bulwahn
catch PatternMatchFail exceptions in narrowing-based quickcheck
file
|
diff
|
annotate
Tue, 06 Sep 2011 16:40:22 +0200
bulwahn
avoid "Code" as structure name (cf. 3bc39cfe27fe)
file
|
diff
|
annotate
Thu, 09 Jun 2011 08:32:18 +0200
bulwahn
adding narrowing engine for existentials
file
|
diff
|
annotate
less
more
(0)
tip