Merge pull request #4965 from IntersectMBO/js/expose-byron-cddls

Author: jasagredo

README.md

@@ -20,7 +20,7 @@ following links:
 
 Era | Design Documents | Formal Specification | CDDL
 ----|------------------|----------------------|-----
-Byron | | [Chain Spec](https://github.com/intersectmbo/cardano-ledger/releases/latest/download/byron-blockchain.pdf "Specification of the Blockchain Layer"), [Ledger Spec](https://github.com/intersectmbo/cardano-ledger/releases/latest/download/byron-ledger.pdf "A Formal Specification of the Cardano Ledger") | [CDDL](https://github.com/intersectmbo/cardano-ledger/tree/master/eras/byron/cddl-spec/byron.cddl), [PDF](https://github.com/intersectmbo/cardano-ledger/releases/latest/download/byron-binary.pdf)
+Byron | | [Chain Spec](https://github.com/intersectmbo/cardano-ledger/releases/latest/download/byron-blockchain.pdf "Specification of the Blockchain Layer"), [Ledger Spec](https://github.com/intersectmbo/cardano-ledger/releases/latest/download/byron-ledger.pdf "A Formal Specification of the Cardano Ledger") | [CDDL](https://github.com/intersectmbo/cardano-ledger/tree/master/eras/byron/ledger/impl/cddl-spec/byron.cddl), [PDF](https://github.com/intersectmbo/cardano-ledger/releases/latest/download/byron-binary.pdf)
 Shelley | [Design](https://github.com/intersectmbo/cardano-ledger/releases/latest/download/shelley-delegation.pdf "Design Specification for Delegation and Incentives in Cardano") | [Spec](https://github.com/intersectmbo/cardano-ledger/releases/latest/download/shelley-ledger.pdf "A Formal Specification of the Cardano Ledger") | [CDDL](https://github.com/intersectmbo/cardano-ledger/tree/master/eras/shelley/impl/cddl-files)
 Allegra | Same as Mary era below | Same as Mary era below | [CDDL](https://github.com/intersectmbo/cardano-ledger/tree/master/eras/allegra/impl/cddl-files)
 Mary | [Multi-Currency](https://eprint.iacr.org/2020/895 "Multi-Currency Ledgers"), [UTXOma](https://iohk.io/en/research/library/papers/utxoma-utxo-with-multi-asset-support/ "UTXOma:UTXO with Multi-Asset Support") | [Spec](https://github.com/intersectmbo/cardano-ledger/releases/latest/download/mary-ledger.pdf "A Formal Specification of the Cardano Ledger with a Native Multi-Asset Implementation") | [CDDL](https://github.com/intersectmbo/cardano-ledger/tree/master/eras/mary/impl/cddl-files)
@@ -49,10 +49,10 @@ The directory structure of this repository is as follows:
     - [formal-spec](./eras/byron/ledger/formal-spec)
     - [executable-spec](./eras/byron/ledger/executable-spec)
     - [implementation](./eras/byron/ledger/impl)
+    - [cddl](./eras/byron/ledger/impl/cddl-spec)
   - [chain](./eras/byron/chain)
     - [formal-spec](./eras/byron/chain/formal-spec)
     - [executable-spec](./eras/byron/chain/executable-spec)
-  - [cddl](./eras/byron/cddl-spec)
 - [Shelley](./eras/shelley)
   - [design-spec](./eras/shelley/design-spec)
   - [formal-spec](./eras/shelley/formal-spec)

eras/byron/cddl-spec

@@ -0,0 +1 @@
+ledger/impl/cddl-spec

eras/byron/ledger/impl/CHANGELOG.md

@@ -2,6 +2,8 @@
 
 ## 1.2.0.0
 
+* Added `Test.Cardano.Chain.Binary.Cddl` module
+
 ### `testlib`
 
 * Added `testlib` sublibrary as replacement of `cardano-ledger-byron-test` package

eras/byron/ledger/impl/cardano-ledger-byron.cabal

@@ -9,6 +9,7 @@ description: The blockchain layer of Cardano during the Byron era
 category: Currency
 build-type: Simple
 data-files:
+  cddl-spec/byron.cddl
   golden/cbor/block/BlockSignature
   golden/cbor/block/Body
   golden/cbor/block/BoundaryBlockHeader
@@ -265,6 +266,7 @@ library
 
 library testlib
   exposed-modules:
+    Test.Cardano.Chain.Binary.Cddl
     Test.Cardano.Chain.Block.CBOR
     Test.Cardano.Chain.Block.Gen
     Test.Cardano.Chain.Block.Model