ledger-state-0.1.1.2

Synopsis

Description

This is a tool that helps us experiment with the Ledger State

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
libs/ledger-state
Timestamp

2022-11-14T13:25:11Z

Revisions

None

Dependencies
library ledger-state:
  • ["base >=4.12 && <4.17","bytestring","cardano-binary","cardano-data","cardano-crypto-class","cardano-ledger-core","cardano-ledger-alonzo","cardano-ledger-shelley","cardano-ledger-shelley-ma","conduit","containers","vector-map","deepseq","foldl","vector","microlens","persistent","persistent-sqlite","prettyprinter","set-algebra","cardano-strict-containers","text","transformers"]
executable ledger-state:
  • ["base >=4.12 && <4.17","cardano-ledger-shelley","ledger-state","optparse-applicative","text"]
test-suite memory:
  • ["base","deepseq","weigh","ledger-state","optparse-applicative","text"]
test-suite performance:
  • ["base >=4.12 && <4.17","base","aeson >=2","bytestring","base16-bytestring","cardano-binary","cardano-data","cardano-ledger-alonzo","cardano-ledger-core","cardano-ledger-shelley","cardano-slotting","containers","criterion","data-default-class","deepseq","ledger-state","microlens","random"]
test-suite address:
  • ["base >=4.12 && <4.17","base","bytestring","cardano-binary","cardano-crypto-class","cardano-ledger-core","cardano-slotting","criterion","deepseq","cardano-strict-containers","text"]