Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / input-output-hk/quickcheck-dynamic issues and pull requests

#85 - Need more control over distribution of lengths of action sequences

Issue - State: closed - Opened by dcoutts 4 months ago - 2 comments

#83 - Random generation of initial states

Pull Request - State: open - Opened by MaximilianAlgehed 5 months ago - 14 comments

#80 - Move `Error state` to `RunModel`

Pull Request - State: closed - Opened by MaximilianAlgehed 9 months ago - 1 comment

#79 - `postcondition` is now `Postcondition m`

Pull Request - State: open - Opened by jasagredo 10 months ago

#78 - Define phases of execution

Pull Request - State: open - Opened by jasagredo 10 months ago

#77 - `postcondition` is `Property`

Pull Request - State: open - Opened by jasagredo 10 months ago

#76 - remove Realized

Pull Request - State: closed - Opened by MaximilianAlgehed 10 months ago - 9 comments

#75 - Document how generated test cases are validated

Pull Request - State: closed - Opened by abailly-iohk 10 months ago

#74 - Add a haddock to mkVar

Pull Request - State: open - Opened by ch1bo 10 months ago

#73 - An attempt at better documentation for q-d

Pull Request - State: open - Opened by abailly-iohk 10 months ago

#72 - First draft of parallel state machines

Pull Request - State: open - Opened by jasagredo 10 months ago - 22 comments

#71 - Refactor runActions to distinguish more clearly various cases

Pull Request - State: closed - Opened by abailly-iohk 11 months ago - 1 comment

#70 - Expose only the class name for IsPerformResult

Pull Request - State: closed - Opened by jorisdral 11 months ago - 3 comments

#66 - Difference between forAllQ and forAllNonVariableQ?

Issue - State: open - Opened by ch1bo 12 months ago - 8 comments

#65 - Clarify Quantification usage and functions

Pull Request - State: closed - Opened by abailly-iohk about 1 year ago - 6 comments

#64 - Bump IOGX 2024-01-17

Pull Request - State: closed - Opened by zeme-wana about 1 year ago - 1 comment

#63 - Update github output format

Pull Request - State: closed - Opened by MaximilianAlgehed about 1 year ago

#62 - Make dependent actions shrink

Issue - State: open - Opened by MaximilianAlgehed about 1 year ago - 2 comments

#61 - Update nix documentation the README

Pull Request - State: closed - Opened by zeme-wana over 1 year ago

#60 - Bump IOGX to V4

Pull Request - State: closed - Opened by zeme-wana over 1 year ago - 1 comment

#59 - Hide internals of `StateModel` module

Issue - State: open - Opened by MaximilianAlgehed over 1 year ago

#58 - Adding errors to actions to help negative testing

Pull Request - State: closed - Opened by MaximilianAlgehed over 1 year ago - 9 comments

#57 - Putback MonadTrans instance for postcondition

Pull Request - State: closed - Opened by abailly-iohk over 1 year ago

#56 - Add instance of `HasVariables` for `Any f`.

Pull Request - State: closed - Opened by MaximilianAlgehed over 1 year ago

#55 - Relax some dependencies bounds

Pull Request - State: closed - Opened by abailly-iohk over 1 year ago

#54 - Bounds for mtl

Pull Request - State: closed - Opened by jorisdral over 1 year ago - 2 comments

#53 - GHC 9.6 compatible release

Issue - State: closed - Opened by locallycompact over 1 year ago - 2 comments

#52 - Fix workflow badge

Pull Request - State: closed - Opened by MaximilianAlgehed over 1 year ago - 1 comment

#51 - Lightweight double-shrinking

Pull Request - State: closed - Opened by MaximilianAlgehed over 1 year ago - 5 comments

#50 - Bump GHC 927 -> 962

Pull Request - State: closed - Opened by zeme-wana over 1 year ago - 3 comments

#49 - Run CI with `ghc-9.6.2`

Pull Request - State: closed - Opened by jorisdral over 1 year ago - 6 comments

#48 - Add signature to help typeclass resolution

Pull Request - State: closed - Opened by abailly-iohk over 1 year ago - 1 comment

#47 - Compile error using GHC 9.6.2

Issue - State: closed - Opened by ch1bo over 1 year ago - 1 comment

#46 - Bump IOGX V3

Pull Request - State: closed - Opened by zeme-wana over 1 year ago - 2 comments

#45 - Compatibility with `ghc-9.4` and `ghc-9.6`

Pull Request - State: closed - Opened by abailly-iohk over 1 year ago - 1 comment

#44 - Compatibility with `ghc-9.4` and `ghc-9.6`

Pull Request - State: closed - Opened by abailly-iohk over 1 year ago - 1 comment

#43 - Bump IOGX

Pull Request - State: closed - Opened by zeme-wana over 1 year ago - 1 comment

#42 - Remove IO-sim dependency in registry test

Pull Request - State: closed - Opened by MaximilianAlgehed over 1 year ago - 1 comment

#41 - Conservative extension for negative testing

Pull Request - State: closed - Opened by MaximilianAlgehed over 1 year ago - 8 comments

#40 - Bump IOGX

Pull Request - State: closed - Opened by zeme-wana over 1 year ago - 2 comments

#39 - Bump IOGX

Pull Request - State: closed - Opened by zeme-wana over 1 year ago - 2 comments

#38 - Compatibility with `ghc-9.4` and `ghc-9.6`

Pull Request - State: closed - Opened by jorisdral over 1 year ago - 6 comments

#37 - Bump IOGX to 04ef47

Pull Request - State: closed - Opened by zeme-wana over 1 year ago

#36 - Bump IOGX

Pull Request - State: closed - Opened by zeme-wana over 1 year ago

#34 - Upgrade nix install action

Pull Request - State: closed - Opened by abailly-iohk over 1 year ago - 1 comment

#33 - IOGX Integration

Pull Request - State: closed - Opened by zeme-iohk almost 2 years ago - 7 comments

#32 - `main` doesn't build on recent versions of GHC

Issue - State: closed - Opened by MaximilianAlgehed almost 2 years ago - 4 comments

#31 - No shrinking happening when checking a DL formula

Issue - State: open - Opened by abailly-iohk about 2 years ago - 20 comments

#30 - DevX upgrading from 2.0.0 to latest main is problematic

Issue - State: closed - Opened by abailly-iohk about 2 years ago - 17 comments
Labels: help wanted

#29 - Minor issues converting code to 2.0.0

Issue - State: closed - Opened by abailly-iohk about 2 years ago - 11 comments

#28 - DL and StateModel improvements

Pull Request - State: closed - Opened by MaximilianAlgehed over 2 years ago - 9 comments

#27 - Pr pr template

Pull Request - State: closed - Opened by MaximilianAlgehed over 2 years ago

#26 - PR template

Pull Request - State: closed - Opened by MaximilianAlgehed over 2 years ago

#25 - Coercive Pattern for EnvEntry

Pull Request - State: closed - Opened by MaximilianAlgehed over 2 years ago - 6 comments

#24 - Bump `io-sim` dependency and fix registry test

Pull Request - State: closed - Opened by MaximilianAlgehed over 2 years ago - 2 comments

#23 - sentence rewording

Pull Request - State: closed - Opened by ThomasArts over 2 years ago

#22 - Update 2022-09-28-introduce-q-d.md

Pull Request - State: closed - Opened by ThomasArts over 2 years ago

#21 - Introductory blog post about q-d library

Pull Request - State: closed - Opened by abailly-iohk over 2 years ago - 3 comments

#20 - Add link to Edsko's blog post

Pull Request - State: closed - Opened by abailly-iohk over 2 years ago - 1 comment

#19 - Feedback from `BadPrecondition` is hard to understand

Issue - State: closed - Opened by abailly-iohk over 2 years ago - 6 comments
Labels: enhancement, good first issue

#16 - Add `Typeable` constraint to `nextState`

Pull Request - State: closed - Opened by edsko over 2 years ago - 2 comments

#14 - Refactoring to remove uncontroversial language extensions

Pull Request - State: closed - Opened by MaximilianAlgehed over 2 years ago - 2 comments

#13 - Fourmolu formatting in CI

Pull Request - State: closed - Opened by MaximilianAlgehed over 2 years ago - 1 comment

#12 - Improvements to IOSim compatibility

Pull Request - State: closed - Opened by MaximilianAlgehed over 2 years ago - 14 comments

#11 - Generalize `postcondition`

Pull Request - State: closed - Opened by edsko over 2 years ago - 29 comments

#10 - Add show instance on monitoring

Pull Request - State: closed - Opened by ghost over 2 years ago - 2 comments
Labels: enhancement

#9 - Add links to 2 papers and fix hackage broken links

Pull Request - State: closed - Opened by abailly-iohk over 2 years ago - 2 comments

#8 - Compare with quickcheck-state-machine?

Issue - State: closed - Opened by Bodigrim over 2 years ago - 1 comment

#6 - Some additional info in README

Pull Request - State: closed - Opened by ThomasArts over 2 years ago

#5 - Make Monadic formulae main interface for writing properties

Pull Request - State: closed - Opened by abailly-iohk over 2 years ago - 1 comment

#4 - State-model compatibility layer to do IOSim models

Pull Request - State: closed - Opened by MaximilianAlgehed over 2 years ago - 6 comments

#3 - Make compatible with ghc-9.2

Pull Request - State: closed - Opened by locallycompact over 2 years ago

#2 - Prepare open sourcing

Pull Request - State: closed - Opened by abailly-iohk over 2 years ago - 1 comment

#1 - Not require Typable s on DynLogicModel

Pull Request - State: closed - Opened by ch1bo over 2 years ago - 1 comment