byron-spec-chain-1.0.2.0

Synopsis

Executable specification of the Cardano blockchain

Description

Author

IOHK

Maintainer

operations@iohk.io

License

Apache-2.0

Source
https://github.com/IntersectMBO/cardano-ledger
Commit hash
54e24ba4858b5f5cb4c5f6f0adfa3d7cae669b7a
Subdir
eras/byron/chain/executable-spec
Timestamp

2026-10-01T16:59:28Z

Revisions

None

Dependencies
library byron-spec-chain:
  • ["base >=4.18 && <5","bimap >=0.4 && <0.6","byron-spec-ledger >=1.1.1","bytestring","containers","hashable","hedgehog >=1.0.4","microlens >=0.5","microlens-th","small-steps:{small-steps,testlib} >=1.1"]
test-suite chain-rules-test:
  • ["base","byron-spec-chain","byron-spec-ledger","containers","data-ordlist","hedgehog","microlens","small-steps:{small-steps,testlib}","tasty","tasty-hedgehog","tasty-hunit"]