@cardano byron-spec-chain0.1.0.0

Executable specification of the Cardano blockchain

Categories
- Testing
License
Apache-2.0
Maintainer
formal.methods@iohk.io
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 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, 4 Jul 2023
- 0.1.1.1 Tue, 21 Mar 2023

Installation
In your cabal file:
Dependencies (13)
- base >=4.12 && <4.15
- bytestring
- containers
- bimap >=0.4 && <0.5
- hashable
- microlens
Dependents (5)
@cardano/ouroboros-consensus-cardano, @cardano/ouroboros-consensus-byronspec, @cardano/cardano-ledger-byron, @cardano/ouroboros-consensus-byron-test, @cardano/cardano-ledger-byron-test