@cardano byron-spec-ledger0.1.0.0

Executable specification of Cardano ledger

Categories
- Testing
License
Apache-2.0
Maintainer
formal.methods@iohk.io
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 1.1.0.0 Fri, 21 Mar 2025
- 1.0.1.0 Fri, 29 Mar 2024
- 1.0.0.2 Fri, 26 Jan 2024
- 1.0.0.1 Wed, 5 Jul 2023
- 1.0.0.0 Thu, 23 Feb 2023
- 0.1.1.2 Tue, 21 Mar 2023

Installation
In your cabal file:
Dependencies (16)
- base >=4.12 && <4.15
- containers
- filepath
- template-haskell
- Unique >=0.4.7.6
- bimap >=0.4 && <0.5
Dependents (6)
@cardano/ouroboros-consensus-cardano, @cardano/ouroboros-consensus-byronspec, @cardano/cardano-ledger-byron, @cardano/ouroboros-consensus-byron-test, @cardano/byron-spec-chain, @cardano/cardano-ledger-byron-test