31
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 5 hours ago. based on code collected about 9 hours ago.
Apr 20, 2023 — Apr 20, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
react to comments More... 2 days ago
rename withWitness to witness and rename Cex to Wit More... 2 days ago
remove block comment to get rid of annoying warning from quickCheckAll More... 9 days ago
Slightly nicer approach More... 11 days ago
fix sample interacting poorly with discard More... 11 days ago
Minor improving comment for coverTable More... 11 days ago
simplify More... 16 days ago
abstraction More... 16 days ago
also fix the underflow issue in the Ratio instance More... 16 days ago
Hack to get around underflow issues in `arbitrarySizedIntegral` More... 16 days ago
wip More... 16 days ago
Counterexample -> Witness More... 16 days ago
More detailed warning More... 16 days ago
fix overflow bug More... 23 days ago
fix discard not showing up as a failure More... 23 days ago
uncomfortale note More... 23 days ago
refactor test loop to make coverage checking logic clearer More... 23 days ago
collect non-covered classes More... 24 days ago
silence warning for partial functions on ghc >=9.8 More... 24 days ago
Add a strictness test for Arbitrary (Map k v) More... 25 days ago
Fix maxSuccess and coverage interacting poorly + fix bug in discard and coverage interaction More... 25 days ago
more comments cleanup More... 25 days ago
comment typo fix More... 25 days ago
add withMaxSize and withMaxShrinks modifiers More... 25 days ago
Make Arbitrary Map instances strict More... 26 days ago
wip More... 28 days ago
wip More... 28 days ago
WIP documentation warning about the instances of `Arbitrary` for `Set` and `Map` More... 28 days ago
bump splitmix dependency More... 28 days ago
Make Negative's arbitrary instance work like that of Positive More... 29 days ago