byron-spec-chain-0.1.1.2

Synopsis

Executable specification of the Cardano blockchain

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
760a73e89ef040d3ad91b4b0386b3bbace9431a9
Subdir
eras/byron/chain/executable-spec
Timestamp

2022-11-14T13:25:11Z

Revisions

2023-07-04T07:18:29Z

2023-03-21T14:36:05Z

Dependencies
library byron-spec-chain:
  • ["base >=4.12 && <4.17","bimap >=0.4 && <0.5","bytestring","cardano-data","containers","byron-spec-ledger >=0.1.1.2","goblins","hashable","hedgehog >=1.0.4 && <1.3","microlens","microlens-th","small-steps","small-steps-test"]
test-suite chain-rules-test:
  • ["base >=4.12 && <4.17","containers","cardano-data","data-ordlist","hedgehog >=1.0.4","microlens","tasty","tasty-hedgehog","tasty-hunit","byron-spec-chain","byron-spec-ledger","small-steps","small-steps-test"]