byron-spec-ledger-0.1.1.1

Synopsis

Executable specification of Cardano ledger

Description

Author

IOHK Formal Methods Team

Maintainer

formal.methods@iohk.io

License

Apache-2.0

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

2022-11-11T00:24:50Z

Revisions

2023-03-21T14:35:27Z

Dependencies
library byron-spec-ledger:
  • ["base >=4.12 && <4.15","bimap >=0.4 && <0.5","cardano-data","containers","filepath","goblins","hashable","hedgehog >=1.0.4","microlens","microlens-th","nothunks","template-haskell","Unique >=0.4.7.6","cardano-binary","cardano-prelude >=0.1.0.1","small-steps","small-steps-test"]
test-suite byron-spec-ledger-test:
  • ["base >=4.12 && <4.15","bimap >=0.4 && <0.5","cardano-data","containers","hedgehog >=1.0.4","microlens","microlens-th","tasty","tasty-hunit","tasty-hedgehog","Unique >=0.4.7.6","byron-spec-ledger","small-steps","small-steps-test"]