Skip to content

Pull requests: input-output-hk/quickcheck-dynamic

New pull request New
Clear current search query, filters, and sorts
7 Open 62 Closed
7 Open 62 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

support QuickCheck-2.16
#91 by fraser-iohk was merged Jul 10, 2025 Loading…
1 task done
2
Support QuickCheck-2.16
#90 by coot was closed Jul 10, 2025 Loading…
3
Drop now-unrelated quickcheck-dynamic-iosim
#89 by ch1bo was merged Mar 12, 2025 Loading…
Allow running the action sequence from a user supplied initial state
#88 by geo2a was closed Mar 6, 2025 Loading…
5
Fix links to the Registry example
#87 by geo2a was merged Mar 6, 2025 Loading…
1
Introduce a QuickCheck-style MoreActions type modifier to make it easier to increase the number of actions on average in tests
#84 by MaximilianAlgehed was merged Oct 24, 2024 Loading…
1 task done
1
22
Move Error state to RunModel
#80 by MaximilianAlgehed was merged May 24, 2024 Loading…
2
remove Realized
#76 by MaximilianAlgehed was merged Apr 17, 2024 Loading…
1 task
18
Document how generated test cases are validated
#75 by ghost was merged Apr 5, 2024 Loading…
1 task done
2
Add a haddock to mkVar
#74 by ch1bo was merged Mar 12, 2025 Loading…
1 task
8
Refactor runActions to distinguish more clearly various cases
#71 by ghost was merged Mar 18, 2024 Loading…
1 task done
16
Expose only the class name for IsPerformResult
#70 by jorisdral was merged Mar 13, 2024 Loading…
1 task done
3
Clarify Quantification usage and functions
#65 by ghost was merged Feb 24, 2024 Loading…
1 task done
12
Bump IOGX 2024-01-17
#64 by zeme-wana was merged Jan 18, 2024 Loading…
1
Update github output format
#63 by MaximilianAlgehed was merged Jan 16, 2024 Loading…
1 task done
1
Update nix documentation the README
#61 by zeme-wana was merged Nov 10, 2023 Loading…
Bump IOGX to V4
#60 by zeme-wana was merged Nov 8, 2023 Loading…
1
Adding errors to actions to help negative testing
#58 by MaximilianAlgehed was merged Feb 16, 2024 Loading…
1 task done
17
Putback MonadTrans instance for postcondition
#57 by ghost was merged Sep 21, 2023 Loading…
1 task done
3
Add instance of HasVariables for Any f.
#56 by MaximilianAlgehed was merged Sep 13, 2023 Loading…
1 task done
1
Relax some dependencies bounds
#55 by ghost was merged Sep 6, 2023 Loading…
1 task
2
Bounds for mtl
#54 by jorisdral was closed Sep 6, 2023 Loading…
2
Fix workflow badge
#52 by MaximilianAlgehed was merged Aug 24, 2023 Loading…
1
Lightweight double-shrinking
#51 by MaximilianAlgehed was merged Aug 24, 2023 Loading…
5
Bump GHC 927 -> 962
#50 by zeme-wana was merged Aug 25, 2023 Loading…
5
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.