small-steps-1.2.0.0
- Synopsis
-
Small step semantics
- Description
-
- Author
-
IOHK
- Maintainer
-
operations@iohk.io
- License
-
Apache-2.0
- Source
-
-
https://github.com/IntersectMBO/cardano-ledger
- Commit hash
- 54e24ba4858b5f5cb4c5f6f0adfa3d7cae669b7a
- Subdir
- libs/small-steps
- Timestamp
-
2026-10-01T16:59:28Z
- Revisions
-
None
- Dependencies
-
- library small-steps:
-
- ["aeson","base >=4.18 && <5","cardano-data >=1.4","cardano-strict-containers","containers","data-default","free","mtl","nothunks","text","transformers >=0.5","validation-selective"]
- library testlib:
-
- ["QuickCheck","base >=4.18 && <5","cardano-ledger-binary:testlib >=1.4","cardano-strict-containers","deepseq","hedgehog >=1.0.4","hspec","microlens","microlens-th","mtl","nothunks","small-steps","transformers >=0.5"]
- test-suite tests:
-
- ["QuickCheck","Unique","base","cardano-base:testlib >=0.1.5.0","cardano-crypto-class","cardano-ledger-binary","containers","hedgehog >=1.0.4","hspec","mtl","small-steps","small-steps:testlib"]