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

Refactoring to remove uncontroversial language extensions
#14 by MaximilianAlgehed was merged Sep 6, 2022 Loading…
7
Fourmolu formatting in CI
#13 by MaximilianAlgehed was merged Sep 28, 2022 Loading…
2 tasks
1
Improvements to IOSim compatibility
#12 by MaximilianAlgehed was merged Sep 5, 2022 Loading…
34
Generalize postcondition
#11 by edsko was closed Sep 5, 2022 Loading…
38
Add show instance on monitoring enhancement New feature or request
#10 by ghost was merged Aug 27, 2022 Loading…
4
Add links to 2 papers and fix hackage broken links
#9 by ghost was merged Aug 25, 2022 Loading…
1
2
Some additional info in README
#6 by ThomasArts was merged Aug 18, 2022 Loading…
1
Make Monadic formulae main interface for writing properties
#5 by ghost was merged Aug 18, 2022 Loading…
1
State-model compatibility layer to do IOSim models
#4 by MaximilianAlgehed was merged Aug 18, 2022 Loading…
6
Make compatible with ghc-9.2
#3 by locallycompact was merged Jul 6, 2022 Loading…
Prepare open sourcing
#2 by ghost was merged Jul 8, 2022 Loading…
9
Not require Typable s on DynLogicModel
#1 by ch1bo was merged Jul 4, 2022 Loading…
2
ProTip! Adding no:label will show everything without a label.