31
I Use This!
Activity Not Available

Commits : Listings

Analyzed almost 1 year ago. based on code collected about 1 year ago.
Jan 16, 2023 — Jan 16, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Removed unused imports More... about 14 years ago
Update documentation More... about 14 years ago
Haddock More... about 14 years ago
Added more verboseCheck-like functions More... about 14 years ago
Added verboseCheck function More... about 14 years ago
Made conjunction and disjunction work with verbose More... about 14 years ago
Added a replacement for verboseCheck More... about 14 years ago
Record which callbacks are for printing counterexamples More... about 14 years ago
Fix the strictness bug in a nicer way by using pattern matching instead of seq More... about 14 years ago
Fix space leak which might retain old results from generators More... about 14 years ago
Remove needless references to RandomGen class More... over 14 years ago
Added more checks against expectFailure More... over 14 years ago
Skipping inside conjunction and disjunction More... over 14 years ago
Add a conjunction and disjunction example More... over 14 years ago
Remove labels from conjoin and disjoin More... over 14 years ago
Export whenFailPrint More... over 14 years ago
Remove some spurious calls to property More... over 14 years ago
heap properties generated by programs and algebraically specified More... over 14 years ago
resolved conflict in Heap.hs More... over 14 years ago
Version bump for API changes More... over 14 years ago
addQuickCheckAll doesn't exist any more More... over 14 years ago
Tweak the weird examples a bit More... over 14 years ago
Reimplement within More... over 14 years ago
Added the new operators to Test.QuickCheck More... over 14 years ago
Fixed a printout bug More... over 14 years ago
Weird examples More... over 14 years ago
Rejigged exception handling again (within is broken for now) More... over 14 years ago
more fiddle More... over 14 years ago
fiddle More... over 14 years ago
fixed quickcheckall More... over 14 years ago