search

IntersectMBO / ouroboros-consensus

Implementation of a Consensus Layer for the Ouroboros family of protocols
https://ouroboros-consensus.cardano.intersectmbo.org
Apache License 2.0
30 stars 22 forks source link

switch to `quickcheck-dynamic` and/or upstream the `io-sim`-based QSM module #1149

Open jasagredo opened 2 months ago

jasagredo commented 2 months ago

https://github.com/stevana/quickcheck-state-machine/pull/50