ouroboros-consensus-protocol-0.1.0.1

Synopsis

Cardano consensus protocols.

Description

Author

IOHK Formal methods team

Maintainer

[email protected]

License

Apache-2.0

Source
https://github.com/input-output-hk/ouroboros-network
Commit hash
b6ab4ca226ba541ee89374a30824351a91285226
Subdir
ouroboros-consensus-protocol
Timestamp

2022-10-25T17:33:07Z

Revisions

None

Dependencies
library ouroboros-consensus-protocol:
  • ["base","bytestring","cardano-binary","cardano-crypto-class","cardano-data","cardano-ledger-core","cardano-ledger-shelley","cardano-protocol-tpraos","cardano-slotting","cborg","containers","mtl","nothunks","ouroboros-consensus","serialise","small-steps","text"]
library ouroboros-consensus-protocol-test:
  • ["base","bytestring","cardano-crypto-class","cardano-crypto-tests","cardano-ledger-core","cardano-ledger-shelley-test","cardano-protocol-tpraos","cardano-slotting","ouroboros-consensus-protocol","QuickCheck"]