byron-spec-ledger-1.0.0.1

Synopsis

Executable specification of Cardano ledger

Description

Author

IOHK

Maintainer

operations@iohk.io

License

Apache-2.0

Source
https://github.com/input-output-hk/cardano-ledger
Commit hash
9b3a09485f1ba14ce8dc267d5596f85116ce5330
Subdir
eras/byron/ledger/executable-spec
Timestamp

2023-07-05T12:27:25Z

Revisions

None

Dependencies
library byron-spec-ledger:
  • ["base >=4.14 && <4.19","bimap >=0.4 && <0.6","bytestring","cardano-crypto-class","cardano-ledger-binary >=1.0","containers","cryptonite","hashable","hedgehog >=1.0.4","microlens","microlens-th","nothunks","small-steps","small-steps-test","Unique >=0.4.7.6"]
test-suite byron-spec-ledger-test:
  • ["base","bimap","containers","hedgehog","microlens","microlens-th","tasty","tasty-hunit","tasty-hedgehog","Unique","byron-spec-ledger","small-steps","small-steps-test"]