stevana/quickcheck-state-machine issues and pull requests

#52 - Bump outdated dependencies

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

#51 - Precondition failures can happen in parallel execution

Issue - State: open - Opened by stevana 5 months ago
Labels: bug

#50 - Use `io-classes` instead of `unliftio`

Pull Request - State: open - Opened by jasagredo 5 months ago - 9 comments

#49 - Use `prettyprinter` and rename `forall` to `forAll`

Pull Request - State: closed - Opened by jasagredo 6 months ago

#48 - Release version 0.10.0

Pull Request - State: closed - Opened by jasagredo 6 months ago

#47 - Update to GHC 9.10.1

Pull Request - State: closed - Opened by jasagredo 6 months ago - 3 comments

#46 - `forall` is now a reserved keyword in GHC 9.10

Issue - State: closed - Opened by locallycompact 6 months ago - 2 comments

#45 - Could you release a new version?

Issue - State: closed - Opened by jasagredo 6 months ago - 5 comments

#44 - Fix "Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated" warnings

Issue - State: closed - Opened by stevana 8 months ago - 3 comments
Labels: good first issue

#43 - Replicate parallel executions in `forallParallelCommands`

Pull Request - State: closed - Opened by jasagredo 8 months ago - 3 comments

#42 - Move repetitions of parallel state machine cases upwards in the chain

Issue - State: closed - Opened by jasagredo 8 months ago - 4 comments

#41 - Add 'finalCheck' to SM

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

#40 - Add option to test properties on isolated environment

Issue - State: closed - Opened by RenateEilers 9 months ago - 10 comments

#39 - Try to fix CI so it only publishes to Hackage on merges to master.

Pull Request - State: closed - Opened by stevana 10 months ago

#38 - Prepare for 0.9.0 release.

Pull Request - State: closed - Opened by stevana 10 months ago

#37 - Automate release

Pull Request - State: closed - Opened by stevana 10 months ago

#36 - Release QSM 0.9.0 in Hackage

Issue - State: closed - Opened by jasagredo 10 months ago - 1 comment

#35 - Fix/issue 32

Pull Request - State: closed - Opened by stevana 11 months ago

#34 - Update dependencies

Pull Request - State: closed - Opened by erikd 11 months ago - 2 comments

#33 - Change visibility of sublibrary

Pull Request - State: closed - Opened by jasagredo 11 months ago

#32 - quickcheck-state-machine-0.8.0 test fail to compile

Issue - State: closed - Opened by alaendle 12 months ago

#31 - Split vendored tree-diff into a sublibrary

Pull Request - State: closed - Opened by jasagredo 12 months ago - 8 comments

#30 - Gating upstream `tree-diff` behind an opt-in flag

Issue - State: closed - Opened by jasagredo almost 1 year ago - 3 comments

#29 - Prepare for 0.8.0 release and add badges.

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

#28 - Add upper bounds from cabal gen-bounds.

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

#27 - Remove the tree-diff dependency.

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

#26 - Reenable ProcessRegistry test

Issue - State: open - Opened by stevana about 1 year ago
Labels: good first issue

#25 - Fix build on newer GHC versions and various clean ups:

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

#24 - Update and cleanup

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

#23 - Prepare for 0.7.3 release.

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

#22 - Missing upper bounds

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

#21 - Cleanup improvements

Pull Request - State: closed - Opened by jasagredo over 1 year ago - 4 comments

#20 - Make it build with ghc-9.6

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

#19 - Multiple improvements

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

#18 - Prepare for 0.7.2 release.

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

#17 - Making a release with monadic initialization

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

#16 - Missing opportunities for shrinking

Issue - State: open - Opened by jasagredo almost 2 years ago - 7 comments

#15 - Dot drawing is misaligned

Issue - State: open - Opened by jasagredo almost 2 years ago - 2 comments

#14 - RQLite tests fail on current master

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

#13 - Improve Parallel module documentation and some general cleanup

Pull Request - State: closed - Opened by jasagredo almost 2 years ago - 2 comments

#12 - Provide `WithSetup` variants

Pull Request - State: closed - Opened by jasagredo almost 2 years ago - 13 comments

#11 - Add Constraint type variable to StateMachine

Pull Request - State: closed - Opened by jasagredo about 2 years ago - 5 comments

#10 - Clarify the current use of `mock`

Pull Request - State: closed - Opened by jasagredo about 2 years ago

#9 - Expand parallel property section in the README

Pull Request - State: closed - Opened by jasagredo about 2 years ago

#8 - Add changelog entry for ghc 9 compat fix.

Pull Request - State: closed - Opened by stevana almost 3 years ago

#7 - Compatibility with ghc 9.0 and 9.2

Pull Request - State: closed - Opened by edsko almost 3 years ago - 1 comment

#6 - GHC 9.2.1 compatibility

Issue - State: closed - Opened by locallycompact almost 3 years ago - 2 comments

#5 - Fix function args in README

Pull Request - State: closed - Opened by sdzx-1 about 3 years ago - 1 comment

#4 - Fix link to iohk example in README

Pull Request - State: closed - Opened by srid about 3 years ago - 1 comment

#3 - Change name of `forall` to something else in anticipation for upcoming GHC change

Issue - State: closed - Opened by stevana about 3 years ago - 1 comment
Labels: good first issue

#2 - Generalize Lockstep to allow many-to-many relationship between real and mock handles

Issue - State: open - Opened by edsko about 3 years ago

#1 - Various improvements

Pull Request - State: closed - Opened by edsko about 3 years ago - 3 comments

GitHub / stevana/quickcheck-state-machine issues and pull requests