ouroboros-consensus-protocol-0.1.0.0

Synopsis

Cardano consensus protocols.

Description

Author

IOHK Formal methods team

Maintainer

operations@iohk.io

License

Apache-2.0

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

2022-10-17T00:00:00Z

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"]