small-steps-1.1.0.0
- Synopsis
-
Small step semantics
- Description
-
- Author
-
IOHK
- Maintainer
-
operations@iohk.io
- License
-
Apache-2.0
- Source
-
-
https://github.com/input-output-hk/cardano-ledger
- Commit hash
- ed6d38b0bf0a54504c781b3c274745846476ca3c
- Subdir
- libs/small-steps
- Timestamp
-
2024-03-29T00:54:16Z
- Revisions
-
None
- Dependencies
-
- library small-steps:
-
- ["aeson","base >=4.14 && <5","containers","data-default-class","free","mtl","nothunks","cardano-strict-containers","text","transformers >=0.5","validation-selective"]
- library testlib:
-
- ["base >=4.14 && <5","deepseq","cardano-ledger-binary:testlib ^>=1.3","hedgehog >=1.0.4","tasty-hunit","microlens","microlens-th","mtl","nothunks","transformers >=0.5","QuickCheck","small-steps >=1.0","cardano-strict-containers"]
- test-suite tests:
-
- ["base","containers","hedgehog >=1.0.4","mtl","tasty","tasty-hedgehog","tasty-expected-failure","QuickCheck","tasty-quickcheck","tasty-hunit","Unique","cardano-crypto-class","cardano-ledger-binary","small-steps","small-steps:testlib"]