@cardano small-steps1.0.1.0

Small step semantics

Categories
License
Apache-2.0
Maintainer
operations@iohk.io
Links
Versions
- 1.1.0.1 Wed, 9 Oct 2024
- 1.1.0.0 Fri, 29 Mar 2024
- 1.0.1.0 Fri, 26 Jan 2024

Installation
In your cabal file:
Dependencies (10)
- base >=4.14 && <5
- containers
- mtl
- text
- transformers >=0.5
- aeson
Dependents (18)
@cardano/byron-spec-ledger, @cardano/cardano-ledger-core, @cardano/ouroboros-consensus-cardano, @cardano/cardano-ledger-alonzo-test, @cardano/cardano-ledger-shelley-test, @cardano/cardano-ledger-shelley, Show all…

Package Flags

sts_assert

(off by default)

Enable STS assertions by default