@cardano small-steps1.1.4.0
Small step semantics
Installation
Dependencies (25)
- aeson
- base >=4.18 && <5
- containers
- data-default
- free
- mtl Show all…
Dependents (31)
@cardano/ouroboros-consensus-shelley, @cardano/ouroboros-consensus-shelley-test, @cardano/byron-spec-ledger, @cardano/cardano-ledger-core, @cardano/ouroboros-consensus-cardano, @cardano/cardano-ledger-alonzo-test, Show all…
Package Flags
sts_assert
(off by default)
Enable STS assertions by default