cardano-ledger-shelley-0.1.0.0

Synopsis

Description

Shelley Ledger Executable Model

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
c7c63dabdb215ebdaed8b63274965966f2bf408f
Subdir
eras/shelley/impl
Timestamp

2022-10-17T00:00:00Z

Revisions

2023-03-24T11:36:32Z

2023-03-21T14:37:40Z

2023-03-21T14:28:59Z

Dependencies
library cardano-ledger-shelley:
  • ["base >=4.12 && <4.15","aeson >=2","base16-bytestring >=1","bytestring","cardano-binary","cardano-crypto","cardano-crypto-class","cardano-crypto-wrapper","cardano-data <0.1.1.0","cardano-ledger-byron","cardano-ledger-core","cardano-prelude","cardano-slotting","cborg","vector-map <1","constraints","containers","data-default-class","deepseq","groups","iproute","mtl","microlens","nothunks","quiet","set-algebra","small-steps","strict-containers","text","time","transformers","validation-selective"]