Move all era specific projects into ./eras/

Quviq · Sep 23, 2021 · 9537ad1 · 9537ad1
1 parent f76102b
commit 9537ad1
Show file tree

Hide file tree

Showing 753 changed files with 31 additions and 33 deletions.
diff --git a/byron/ledger/formal-spec/.dir-locals.el b/byron/ledger/formal-spec/.dir-locals.el
diff --git a/cabal.project b/cabal.project
@@ -1,14 +1,18 @@
 index-state: 2021-02-15T00:00:00Z
 
 packages:
-  alonzo/impl
-  alonzo/test-suite
-  byron/chain/executable-spec
-  byron/ledger/executable-spec
-  byron/ledger/impl
-  byron/ledger/impl/test
-  byron/crypto
-  byron/crypto/test
+  eras/alonzo/impl
+  eras/alonzo/test-suite
+  eras/byron/chain/executable-spec
+  eras/byron/ledger/executable-spec
+  eras/byron/ledger/impl
+  eras/byron/ledger/impl/test
+  eras/byron/crypto
+  eras/byron/crypto/test
+  eras/shelley/impl
+  eras/shelley/test-suite
+  eras/shelley-ma/impl
+  eras/shelley-ma/test-suite
   libraries/cardano-ledger-core
   libraries/cardano-ledger-example-shelley
   libraries/cardano-ledger-test
@@ -17,10 +21,6 @@ packages:
   libraries/shelley-spec-non-integral
   libraries/small-steps
   libraries/small-steps-test
-  shelley/impl
-  shelley/test-suite
-  shelley-ma/impl
-  shelley-ma/test-suite
 
 -- Always write GHC env files, because they are needed by the doctests.
 write-ghc-environment-files: always

diff --git a/default.nix b/default.nix
@@ -56,16 +56,16 @@ let
     #  nix-build -A specs -o spec
     #
     specs = recurseIntoAttrs {
-      byron-ledger = pkgs.callPackage ./byron/ledger/formal-spec/default.nix {};
-      byron-chain = pkgs.callPackage ./byron/chain/formal-spec/default.nix {};
-      shelley-ledger = pkgs.callPackage ./shelley/formal-spec/default.nix {};
-      shelley-ma = pkgs.callPackage ./shelley-ma/formal-spec/default.nix {};
-      alonzo-ledger = pkgs.callPackage ./alonzo/formal-spec/default.nix {};
-      delegation-design = pkgs.callPackage ./shelley/design-spec/default.nix {};
+      byron-ledger = pkgs.callPackage ./eras/byron/ledger/formal-spec/default.nix {};
+      byron-chain = pkgs.callPackage ./eras/byron/chain/formal-spec/default.nix {};
+      shelley-ledger = pkgs.callPackage ./eras/shelley/formal-spec/default.nix {};
+      shelley-ma = pkgs.callPackage ./eras/shelley-ma/formal-spec/default.nix {};
+      alonzo-ledger = pkgs.callPackage ./eras/alonzo/formal-spec/default.nix {};
+      delegation-design = pkgs.callPackage ./eras/shelley/design-spec/default.nix {};
       small-step-semantics = pkgs.callPackage ./docs/small-step-semantics/default.nix {};
       pool-ranking = pkgs.callPackage ./docs/pool-ranking/default.nix {};
       non-integer-calculations = pkgs.callPackage ./docs/non-integer-calculations/default.nix {};
-      blocks-cddl = pkgs.callPackage ./byron/cddl-spec/default.nix {};
+      blocks-cddl = pkgs.callPackage ./eras/byron/cddl-spec/default.nix {};
     };
 
     doc = {

diff --git a/docs/non-integer-calculations/references.bib b/docs/non-integer-calculations/references.bib
@@ -66,7 +66,7 @@ @misc{shelley_spec
   author = {{IOHK Formal Methods Team}},
   title  = {{A Formal Specification of the Cardano Ledger, IOHK Deliverable SL-D5}},
   year   = {2019},
-  url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/shelley/chain-and-ledger/formal-spec/ledger-spec.tex}
+  url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/eras/shelley/formal-spec/ledger-spec.tex}
 }
 
 @misc{shelley_multisig,

diff --git a/...ec with Plutus Integration - Review 1.rtf → ...ec with Plutus Integration - Review 1.rtf b/...ec with Plutus Integration - Review 1.rtf → ...ec with Plutus Integration - Review 1.rtf
diff --git a/...ec with Plutus Integration - Review 2.rtf → ...ec with Plutus Integration - Review 2.rtf b/...ec with Plutus Integration - Review 2.rtf → ...ec with Plutus Integration - Review 2.rtf
diff --git a/...ec with Plutus Integration - Review 3.rtf → ...ec with Plutus Integration - Review 3.rtf b/...ec with Plutus Integration - Review 3.rtf → ...ec with Plutus Integration - Review 3.rtf
diff --git a/...ec with Plutus Integration - Review 4.rtf → ...ec with Plutus Integration - Review 4.rtf b/...ec with Plutus Integration - Review 4.rtf → ...ec with Plutus Integration - Review 4.rtf
diff --git a/...ec with Plutus Integration - Review 5.rtf → ...ec with Plutus Integration - Review 5.rtf b/...ec with Plutus Integration - Review 5.rtf → ...ec with Plutus Integration - Review 5.rtf
diff --git a/...ec with Plutus Integration - Review 6.rtf → ...ec with Plutus Integration - Review 6.rtf b/...ec with Plutus Integration - Review 6.rtf → ...ec with Plutus Integration - Review 6.rtf
diff --git a/alonzo/formal-spec/IOHKCoverPage.sty → eras/alonzo/formal-spec/IOHKCoverPage.sty b/alonzo/formal-spec/IOHKCoverPage.sty → eras/alonzo/formal-spec/IOHKCoverPage.sty
diff --git a/alonzo/formal-spec/alonzo-changes.tex → eras/alonzo/formal-spec/alonzo-changes.tex b/alonzo/formal-spec/alonzo-changes.tex → eras/alonzo/formal-spec/alonzo-changes.tex
diff --git a/alonzo/formal-spec/chain.tex → eras/alonzo/formal-spec/chain.tex b/alonzo/formal-spec/chain.tex → eras/alonzo/formal-spec/chain.tex
diff --git a/alonzo/formal-spec/comments.sty → eras/alonzo/formal-spec/comments.sty b/alonzo/formal-spec/comments.sty → eras/alonzo/formal-spec/comments.sty
diff --git a/alonzo/formal-spec/constants.tex → eras/alonzo/formal-spec/constants.tex b/alonzo/formal-spec/constants.tex → eras/alonzo/formal-spec/constants.tex
diff --git a/alonzo/formal-spec/default.nix → eras/alonzo/formal-spec/default.nix b/alonzo/formal-spec/default.nix → eras/alonzo/formal-spec/default.nix
diff --git a/alonzo/formal-spec/frontmatter.tex → eras/alonzo/formal-spec/frontmatter.tex b/alonzo/formal-spec/frontmatter.tex → eras/alonzo/formal-spec/frontmatter.tex
diff --git a/alonzo/formal-spec/introduction.tex → eras/alonzo/formal-spec/introduction.tex b/alonzo/formal-spec/introduction.tex → eras/alonzo/formal-spec/introduction.tex
diff --git a/alonzo/formal-spec/iohk-share-logo.jpg → eras/alonzo/formal-spec/iohk-share-logo.jpg b/alonzo/formal-spec/iohk-share-logo.jpg → eras/alonzo/formal-spec/iohk-share-logo.jpg
diff --git a/alonzo/formal-spec/iohk.sty → eras/alonzo/formal-spec/iohk.sty b/alonzo/formal-spec/iohk.sty → eras/alonzo/formal-spec/iohk.sty
diff --git a/alonzo/formal-spec/ledger.tex → eras/alonzo/formal-spec/ledger.tex b/alonzo/formal-spec/ledger.tex → eras/alonzo/formal-spec/ledger.tex
diff --git a/alonzo/formal-spec/properties.tex → eras/alonzo/formal-spec/properties.tex b/alonzo/formal-spec/properties.tex → eras/alonzo/formal-spec/properties.tex
diff --git a/alonzo/formal-spec/protocol-parameters.tex → ...lonzo/formal-spec/protocol-parameters.tex b/alonzo/formal-spec/protocol-parameters.tex → ...lonzo/formal-spec/protocol-parameters.tex
diff --git a/alonzo/formal-spec/references.bib → eras/alonzo/formal-spec/references.bib b/alonzo/formal-spec/references.bib → eras/alonzo/formal-spec/references.bib
@@ -51,15 +51,15 @@ @misc{shelley_spec
   author = {{Formal Methods Team, IOHK}},
   title  = {{A Formal Specification of the Cardano Ledger}},
   year   = {2019},
-  url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/shelley/chain-and-ledger/formal-spec/ledger-spec.tex}
+  url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/eras/shelley/formal-spec/ledger-spec.tex}
 }
 
 @misc{shelley_ma_spec,
   label = {CdoLedger},
   author = {{Formal Methods Team, IOHK}},
   title  = {{A Formal Specification of the Cardano Ledger with a Native Multi-Asset Implementation}},
   year   = {2019},
-  url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/shelley-ma/formal-spec/shelley-ma.tex}
+  url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/eras/shelley-ma/formal-spec/shelley-ma.tex}
 }
 
 @misc{ouroboros,
@@ -86,15 +86,15 @@ @misc{formal_multicur
 author = {{Plutus Team, Ledger Team, IOHK}},
 title = {{A Formal Specification of a UTxO Ledger with Scripts and Multi-Currency}},
 year  = {2019},
-url = {https://github.com/input-output-hk/cardano-ledger-specs/blob/master/shelley/chain-and-ledger/formal-spec/scripts-multicurrency.tex}
+url = {https://github.com/input-output-hk/cardano-ledger-specs/blob/master/eras/shelley/formal-spec/scripts-multicurrency.tex}
 }
 
 @misc{multi_sig,
   label = {CdoMSIG},
   author = {{Formal Methods Team, IOHK}},
   title = {{A Formal Specification of a Multi-Signature Scheme using Scripts}},
   year  = {2019},
-  url = {https://github.com/input-output-hk/cardano-ledger-specs/blob/master/shelley/chain-and-ledger/formal-spec/multi-sig.tex}
+  url = {https://github.com/input-output-hk/cardano-ledger-specs/blob/master/eras/shelley/formal-spec/multi-sig.tex}
 }
 
 @misc{non_int,

diff --git a/alonzo/formal-spec/transactions.tex → eras/alonzo/formal-spec/transactions.tex b/alonzo/formal-spec/transactions.tex → eras/alonzo/formal-spec/transactions.tex
diff --git a/alonzo/formal-spec/txinfo.tex → eras/alonzo/formal-spec/txinfo.tex b/alonzo/formal-spec/txinfo.tex → eras/alonzo/formal-spec/txinfo.tex
diff --git a/alonzo/formal-spec/utxo.tex → eras/alonzo/formal-spec/utxo.tex b/alonzo/formal-spec/utxo.tex → eras/alonzo/formal-spec/utxo.tex
diff --git a/alonzo/formal-spec/value-size.tex → eras/alonzo/formal-spec/value-size.tex b/alonzo/formal-spec/value-size.tex → eras/alonzo/formal-spec/value-size.tex
diff --git a/alonzo/impl/.ghcid → eras/alonzo/impl/.ghcid b/alonzo/impl/.ghcid → eras/alonzo/impl/.ghcid
diff --git a/alonzo/impl/Setup.hs → eras/alonzo/impl/Setup.hs b/alonzo/impl/Setup.hs → eras/alonzo/impl/Setup.hs
diff --git a/alonzo/impl/cardano-ledger-alonzo.cabal → eras/alonzo/impl/cardano-ledger-alonzo.cabal b/alonzo/impl/cardano-ledger-alonzo.cabal → eras/alonzo/impl/cardano-ledger-alonzo.cabal
diff --git a/alonzo/impl/src/Cardano/Ledger/Alonzo.hs → .../alonzo/impl/src/Cardano/Ledger/Alonzo.hs b/alonzo/impl/src/Cardano/Ledger/Alonzo.hs → .../alonzo/impl/src/Cardano/Ledger/Alonzo.hs
diff --git a/...zo/impl/src/Cardano/Ledger/Alonzo/Data.hs → ...zo/impl/src/Cardano/Ledger/Alonzo/Data.hs b/...zo/impl/src/Cardano/Ledger/Alonzo/Data.hs → ...zo/impl/src/Cardano/Ledger/Alonzo/Data.hs
diff --git a/...impl/src/Cardano/Ledger/Alonzo/Genesis.hs → ...impl/src/Cardano/Ledger/Alonzo/Genesis.hs b/...impl/src/Cardano/Ledger/Alonzo/Genesis.hs → ...impl/src/Cardano/Ledger/Alonzo/Genesis.hs
diff --git a/...mpl/src/Cardano/Ledger/Alonzo/Language.hs → ...mpl/src/Cardano/Ledger/Alonzo/Language.hs b/...mpl/src/Cardano/Ledger/Alonzo/Language.hs → ...mpl/src/Cardano/Ledger/Alonzo/Language.hs
diff --git a/...impl/src/Cardano/Ledger/Alonzo/PParams.hs → ...impl/src/Cardano/Ledger/Alonzo/PParams.hs b/...impl/src/Cardano/Ledger/Alonzo/PParams.hs → ...impl/src/Cardano/Ledger/Alonzo/PParams.hs
diff --git a/.../Cardano/Ledger/Alonzo/PlutusScriptApi.hs → .../Cardano/Ledger/Alonzo/PlutusScriptApi.hs b/.../Cardano/Ledger/Alonzo/PlutusScriptApi.hs → .../Cardano/Ledger/Alonzo/PlutusScriptApi.hs
diff --git a/.../src/Cardano/Ledger/Alonzo/Rules/Bbody.hs → .../src/Cardano/Ledger/Alonzo/Rules/Bbody.hs b/.../src/Cardano/Ledger/Alonzo/Rules/Bbody.hs → .../src/Cardano/Ledger/Alonzo/Rules/Bbody.hs
diff --git a/...src/Cardano/Ledger/Alonzo/Rules/Ledger.hs → ...src/Cardano/Ledger/Alonzo/Rules/Ledger.hs b/...src/Cardano/Ledger/Alonzo/Rules/Ledger.hs → ...src/Cardano/Ledger/Alonzo/Rules/Ledger.hs
diff --git a/...l/src/Cardano/Ledger/Alonzo/Rules/Utxo.hs → ...l/src/Cardano/Ledger/Alonzo/Rules/Utxo.hs b/...l/src/Cardano/Ledger/Alonzo/Rules/Utxo.hs → ...l/src/Cardano/Ledger/Alonzo/Rules/Utxo.hs
diff --git a/.../src/Cardano/Ledger/Alonzo/Rules/Utxos.hs → .../src/Cardano/Ledger/Alonzo/Rules/Utxos.hs b/.../src/Cardano/Ledger/Alonzo/Rules/Utxos.hs → .../src/Cardano/Ledger/Alonzo/Rules/Utxos.hs
diff --git a/.../src/Cardano/Ledger/Alonzo/Rules/Utxow.hs → .../src/Cardano/Ledger/Alonzo/Rules/Utxow.hs b/.../src/Cardano/Ledger/Alonzo/Rules/Utxow.hs → .../src/Cardano/Ledger/Alonzo/Rules/Utxow.hs
diff --git a/...impl/src/Cardano/Ledger/Alonzo/Scripts.hs → ...impl/src/Cardano/Ledger/Alonzo/Scripts.hs b/...impl/src/Cardano/Ledger/Alonzo/Scripts.hs → ...impl/src/Cardano/Ledger/Alonzo/Scripts.hs
diff --git a/...o/impl/src/Cardano/Ledger/Alonzo/Tools.hs → ...o/impl/src/Cardano/Ledger/Alonzo/Tools.hs b/...o/impl/src/Cardano/Ledger/Alonzo/Tools.hs → ...o/impl/src/Cardano/Ledger/Alonzo/Tools.hs
diff --git a/.../src/Cardano/Ledger/Alonzo/Translation.hs → .../src/Cardano/Ledger/Alonzo/Translation.hs b/.../src/Cardano/Ledger/Alonzo/Translation.hs → .../src/Cardano/Ledger/Alonzo/Translation.hs
diff --git a/alonzo/impl/src/Cardano/Ledger/Alonzo/Tx.hs → ...onzo/impl/src/Cardano/Ledger/Alonzo/Tx.hs b/alonzo/impl/src/Cardano/Ledger/Alonzo/Tx.hs → ...onzo/impl/src/Cardano/Ledger/Alonzo/Tx.hs
@@ -17,7 +17,7 @@
 
 -- | This module exports implementations of many of the functions outlined in the Alonzo specification.
 --     The link to source of the specification
---       https://github.com/input-output-hk/cardano-ledger-specs/tree/master/alonzo/formal-spec
+--       https://github.com/input-output-hk/cardano-ledger-specs/tree/master/eras/alonzo/formal-spec
 --     The most recent version of the document can be found here:
 --       https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/specs.alonzo-ledger/latest/download-by-type/doc-pdf/alonzo-changes
 --     The functions can be found in Figures in that document, and sections of this code refer to those figures.

diff --git a/.../impl/src/Cardano/Ledger/Alonzo/TxBody.hs → .../impl/src/Cardano/Ledger/Alonzo/TxBody.hs b/.../impl/src/Cardano/Ledger/Alonzo/TxBody.hs → .../impl/src/Cardano/Ledger/Alonzo/TxBody.hs
diff --git a/.../impl/src/Cardano/Ledger/Alonzo/TxInfo.hs → .../impl/src/Cardano/Ledger/Alonzo/TxInfo.hs b/.../impl/src/Cardano/Ledger/Alonzo/TxInfo.hs → .../impl/src/Cardano/Ledger/Alonzo/TxInfo.hs
diff --git a/...o/impl/src/Cardano/Ledger/Alonzo/TxSeq.hs → ...o/impl/src/Cardano/Ledger/Alonzo/TxSeq.hs b/...o/impl/src/Cardano/Ledger/Alonzo/TxSeq.hs → ...o/impl/src/Cardano/Ledger/Alonzo/TxSeq.hs
diff --git a/...pl/src/Cardano/Ledger/Alonzo/TxWitness.hs → ...pl/src/Cardano/Ledger/Alonzo/TxWitness.hs b/...pl/src/Cardano/Ledger/Alonzo/TxWitness.hs → ...pl/src/Cardano/Ledger/Alonzo/TxWitness.hs
diff --git a/...o/impl/src/Cardano/Ledger/DescribeEras.hs → ...o/impl/src/Cardano/Ledger/DescribeEras.hs b/...o/impl/src/Cardano/Ledger/DescribeEras.hs → ...o/impl/src/Cardano/Ledger/DescribeEras.hs
diff --git a/...st-suite/cardano-ledger-alonzo-test.cabal → ...st-suite/cardano-ledger-alonzo-test.cabal b/...st-suite/cardano-ledger-alonzo-test.cabal → ...st-suite/cardano-ledger-alonzo-test.cabal
diff --git a/alonzo/test-suite/cddl-files/alonzo.cddl → .../alonzo/test-suite/cddl-files/alonzo.cddl b/alonzo/test-suite/cddl-files/alonzo.cddl → .../alonzo/test-suite/cddl-files/alonzo.cddl
diff --git a/...o/test-suite/cddl-files/alonzo_extra.cddl → ...o/test-suite/cddl-files/alonzo_extra.cddl b/...o/test-suite/cddl-files/alonzo_extra.cddl → ...o/test-suite/cddl-files/alonzo_extra.cddl
diff --git a/...zo/test-suite/cddl-files/mock/crypto.cddl → ...zo/test-suite/cddl-files/mock/crypto.cddl b/...zo/test-suite/cddl-files/mock/crypto.cddl → ...zo/test-suite/cddl-files/mock/crypto.cddl
diff --git a/...zo/test-suite/cddl-files/mock/extras.cddl → ...zo/test-suite/cddl-files/mock/extras.cddl b/...zo/test-suite/cddl-files/mock/extras.cddl → ...zo/test-suite/cddl-files/mock/extras.cddl
diff --git a/...est/Cardano/Ledger/Alonzo/AlonzoEraGen.hs → ...est/Cardano/Ledger/Alonzo/AlonzoEraGen.hs b/...est/Cardano/Ledger/Alonzo/AlonzoEraGen.hs → ...est/Cardano/Ledger/Alonzo/AlonzoEraGen.hs
diff --git a/...rdano/Ledger/Alonzo/Examples/Consensus.hs → ...rdano/Ledger/Alonzo/Examples/Consensus.hs b/...rdano/Ledger/Alonzo/Examples/Consensus.hs → ...rdano/Ledger/Alonzo/Examples/Consensus.hs
diff --git a/...st/Cardano/Ledger/Alonzo/PlutusScripts.hs → ...st/Cardano/Ledger/Alonzo/PlutusScripts.hs b/...st/Cardano/Ledger/Alonzo/PlutusScripts.hs → ...st/Cardano/Ledger/Alonzo/PlutusScripts.hs
diff --git a/...Ledger/Alonzo/Serialisation/Generators.hs → ...Ledger/Alonzo/Serialisation/Generators.hs b/...Ledger/Alonzo/Serialisation/Generators.hs → ...Ledger/Alonzo/Serialisation/Generators.hs
diff --git a/...e/src/Test/Cardano/Ledger/Alonzo/Trace.hs → ...e/src/Test/Cardano/Ledger/Alonzo/Trace.hs b/...e/src/Test/Cardano/Ledger/Alonzo/Trace.hs → ...e/src/Test/Cardano/Ledger/Alonzo/Trace.hs
diff --git a/...st/Test/Cardano/Ledger/Alonzo/Examples.hs → ...st/Test/Cardano/Ledger/Alonzo/Examples.hs b/...st/Test/Cardano/Ledger/Alonzo/Examples.hs → ...st/Test/Cardano/Ledger/Alonzo/Examples.hs
diff --git a/...test/Test/Cardano/Ledger/Alonzo/Golden.hs → ...test/Test/Cardano/Ledger/Alonzo/Golden.hs b/...test/Test/Cardano/Ledger/Alonzo/Golden.hs → ...test/Test/Cardano/Ledger/Alonzo/Golden.hs
diff --git a/...st/Cardano/Ledger/Alonzo/PropertyTests.hs → ...st/Cardano/Ledger/Alonzo/PropertyTests.hs b/...st/Cardano/Ledger/Alonzo/PropertyTests.hs → ...st/Cardano/Ledger/Alonzo/PropertyTests.hs
diff --git a/...rdano/Ledger/Alonzo/Serialisation/CDDL.hs → ...rdano/Ledger/Alonzo/Serialisation/CDDL.hs b/...rdano/Ledger/Alonzo/Serialisation/CDDL.hs → ...rdano/Ledger/Alonzo/Serialisation/CDDL.hs
diff --git a/.../Ledger/Alonzo/Serialisation/Canonical.hs → .../Ledger/Alonzo/Serialisation/Canonical.hs b/.../Ledger/Alonzo/Serialisation/Canonical.hs → .../Ledger/Alonzo/Serialisation/Canonical.hs
diff --git a/...o/Ledger/Alonzo/Serialisation/Tripping.hs → ...o/Ledger/Alonzo/Serialisation/Tripping.hs b/...o/Ledger/Alonzo/Serialisation/Tripping.hs → ...o/Ledger/Alonzo/Serialisation/Tripping.hs
diff --git a/...Test/Cardano/Ledger/Alonzo/Translation.hs → ...Test/Cardano/Ledger/Alonzo/Translation.hs b/...Test/Cardano/Ledger/Alonzo/Translation.hs → ...Test/Cardano/Ledger/Alonzo/Translation.hs
diff --git a/...test/Test/Cardano/Ledger/Alonzo/Trials.hs → ...test/Test/Cardano/Ledger/Alonzo/Trials.hs b/...test/Test/Cardano/Ledger/Alonzo/Trials.hs → ...test/Test/Cardano/Ledger/Alonzo/Trials.hs
diff --git a/alonzo/test-suite/test/Tests.hs → eras/alonzo/test-suite/test/Tests.hs b/alonzo/test-suite/test/Tests.hs → eras/alonzo/test-suite/test/Tests.hs
diff --git a/byron/README.md → eras/byron/README.md b/byron/README.md → eras/byron/README.md
diff --git a/byron/cddl-spec/Makefile → eras/byron/cddl-spec/Makefile b/byron/cddl-spec/Makefile → eras/byron/cddl-spec/Makefile
diff --git a/byron/cddl-spec/README.md → eras/byron/cddl-spec/README.md b/byron/cddl-spec/README.md → eras/byron/cddl-spec/README.md
diff --git a/byron/cddl-spec/binary.tex → eras/byron/cddl-spec/binary.tex b/byron/cddl-spec/binary.tex → eras/byron/cddl-spec/binary.tex
diff --git a/byron/cddl-spec/byron.cddl → eras/byron/cddl-spec/byron.cddl b/byron/cddl-spec/byron.cddl → eras/byron/cddl-spec/byron.cddl
diff --git a/byron/cddl-spec/default.nix → eras/byron/cddl-spec/default.nix b/byron/cddl-spec/default.nix → eras/byron/cddl-spec/default.nix
diff --git a/byron/cddl-spec/latexmkrc → eras/byron/cddl-spec/latexmkrc b/byron/cddl-spec/latexmkrc → eras/byron/cddl-spec/latexmkrc
diff --git a/byron/chain/executable-spec/.ghcid → eras/byron/chain/executable-spec/.ghcid b/byron/chain/executable-spec/.ghcid → eras/byron/chain/executable-spec/.ghcid
diff --git a/byron/chain/executable-spec/ChangeLog.md → .../byron/chain/executable-spec/ChangeLog.md b/byron/chain/executable-spec/ChangeLog.md → .../byron/chain/executable-spec/ChangeLog.md
diff --git a/byron/chain/executable-spec/Setup.hs → eras/byron/chain/executable-spec/Setup.hs b/byron/chain/executable-spec/Setup.hs → eras/byron/chain/executable-spec/Setup.hs
diff --git a/...in/executable-spec/byron-spec-chain.cabal → ...in/executable-spec/byron-spec-chain.cabal b/...in/executable-spec/byron-spec-chain.cabal → ...in/executable-spec/byron-spec-chain.cabal
diff --git a/byron/chain/executable-spec/default.nix → eras/byron/chain/executable-spec/default.nix b/byron/chain/executable-spec/default.nix → eras/byron/chain/executable-spec/default.nix
diff --git a/...le-spec/src/Byron/Spec/Chain/STS/Block.hs → ...le-spec/src/Byron/Spec/Chain/STS/Block.hs b/...le-spec/src/Byron/Spec/Chain/STS/Block.hs → ...le-spec/src/Byron/Spec/Chain/STS/Block.hs
diff --git a/...ec/src/Byron/Spec/Chain/STS/Rule/BBody.hs → ...ec/src/Byron/Spec/Chain/STS/Rule/BBody.hs b/...ec/src/Byron/Spec/Chain/STS/Rule/BBody.hs → ...ec/src/Byron/Spec/Chain/STS/Rule/BBody.hs
diff --git a/...pec/src/Byron/Spec/Chain/STS/Rule/Bupi.hs → ...pec/src/Byron/Spec/Chain/STS/Rule/Bupi.hs b/...pec/src/Byron/Spec/Chain/STS/Rule/Bupi.hs → ...pec/src/Byron/Spec/Chain/STS/Rule/Bupi.hs
diff --git a/...ec/src/Byron/Spec/Chain/STS/Rule/Chain.hs → ...ec/src/Byron/Spec/Chain/STS/Rule/Chain.hs b/...ec/src/Byron/Spec/Chain/STS/Rule/Chain.hs → ...ec/src/Byron/Spec/Chain/STS/Rule/Chain.hs
diff --git a/...ec/src/Byron/Spec/Chain/STS/Rule/Epoch.hs → ...ec/src/Byron/Spec/Chain/STS/Rule/Epoch.hs b/...ec/src/Byron/Spec/Chain/STS/Rule/Epoch.hs → ...ec/src/Byron/Spec/Chain/STS/Rule/Epoch.hs
diff --git a/...pec/src/Byron/Spec/Chain/STS/Rule/Pbft.hs → ...pec/src/Byron/Spec/Chain/STS/Rule/Pbft.hs b/...pec/src/Byron/Spec/Chain/STS/Rule/Pbft.hs → ...pec/src/Byron/Spec/Chain/STS/Rule/Pbft.hs
diff --git a/...c/src/Byron/Spec/Chain/STS/Rule/SigCnt.hs → ...c/src/Byron/Spec/Chain/STS/Rule/SigCnt.hs b/...c/src/Byron/Spec/Chain/STS/Rule/SigCnt.hs → ...c/src/Byron/Spec/Chain/STS/Rule/SigCnt.hs
diff --git a/byron/chain/executable-spec/test/Main.hs → .../byron/chain/executable-spec/test/Main.hs b/byron/chain/executable-spec/test/Main.hs → .../byron/chain/executable-spec/test/Main.hs
diff --git a/...est/Test/Byron/AbstractSize/Properties.hs → ...est/Test/Byron/AbstractSize/Properties.hs b/...est/Test/Byron/AbstractSize/Properties.hs → ...est/Test/Byron/AbstractSize/Properties.hs
diff --git a/...t/Test/Byron/Spec/Chain/STS/Properties.hs → ...t/Test/Byron/Spec/Chain/STS/Properties.hs b/...t/Test/Byron/Spec/Chain/STS/Properties.hs → ...t/Test/Byron/Spec/Chain/STS/Properties.hs
diff --git a/byron/chain/formal-spec/Makefile → eras/byron/chain/formal-spec/Makefile b/byron/chain/formal-spec/Makefile → eras/byron/chain/formal-spec/Makefile
diff --git a/byron/chain/formal-spec/blockchain-spec.tex → ...ron/chain/formal-spec/blockchain-spec.tex b/byron/chain/formal-spec/blockchain-spec.tex → ...ron/chain/formal-spec/blockchain-spec.tex
diff --git a/byron/chain/formal-spec/calculating-t.png → ...byron/chain/formal-spec/calculating-t.png b/byron/chain/formal-spec/calculating-t.png → ...byron/chain/formal-spec/calculating-t.png
diff --git a/byron/chain/formal-spec/default.nix → eras/byron/chain/formal-spec/default.nix b/byron/chain/formal-spec/default.nix → eras/byron/chain/formal-spec/default.nix
diff --git a/byron/chain/formal-spec/references.bib → eras/byron/chain/formal-spec/references.bib b/byron/chain/formal-spec/references.bib → eras/byron/chain/formal-spec/references.bib
diff --git a/byron/crypto/README.md → eras/byron/crypto/README.md b/byron/crypto/README.md → eras/byron/crypto/README.md
diff --git a/byron/crypto/Setup.hs → eras/byron/crypto/Setup.hs b/byron/crypto/Setup.hs → eras/byron/crypto/Setup.hs
diff --git a/byron/crypto/cardano-crypto-wrapper.cabal → ...byron/crypto/cardano-crypto-wrapper.cabal b/byron/crypto/cardano-crypto-wrapper.cabal → ...byron/crypto/cardano-crypto-wrapper.cabal
diff --git a/byron/crypto/src/Cardano/Crypto.hs → eras/byron/crypto/src/Cardano/Crypto.hs b/byron/crypto/src/Cardano/Crypto.hs → eras/byron/crypto/src/Cardano/Crypto.hs
diff --git a/...n/crypto/src/Cardano/Crypto/Encryption.hs → ...n/crypto/src/Cardano/Crypto/Encryption.hs b/...n/crypto/src/Cardano/Crypto/Encryption.hs → ...n/crypto/src/Cardano/Crypto/Encryption.hs
diff --git a/byron/crypto/src/Cardano/Crypto/Hashing.hs → ...yron/crypto/src/Cardano/Crypto/Hashing.hs b/byron/crypto/src/Cardano/Crypto/Hashing.hs → ...yron/crypto/src/Cardano/Crypto/Hashing.hs
diff --git a/byron/crypto/src/Cardano/Crypto/Orphans.hs → ...yron/crypto/src/Cardano/Crypto/Orphans.hs b/byron/crypto/src/Cardano/Crypto/Orphans.hs → ...yron/crypto/src/Cardano/Crypto/Orphans.hs
diff --git a/...rypto/src/Cardano/Crypto/ProtocolMagic.hs → ...rypto/src/Cardano/Crypto/ProtocolMagic.hs b/...rypto/src/Cardano/Crypto/ProtocolMagic.hs → ...rypto/src/Cardano/Crypto/ProtocolMagic.hs
diff --git a/byron/crypto/src/Cardano/Crypto/Random.hs → ...byron/crypto/src/Cardano/Crypto/Random.hs b/byron/crypto/src/Cardano/Crypto/Random.hs → ...byron/crypto/src/Cardano/Crypto/Random.hs
diff --git a/byron/crypto/src/Cardano/Crypto/Signing.hs → ...yron/crypto/src/Cardano/Crypto/Signing.hs b/byron/crypto/src/Cardano/Crypto/Signing.hs → ...yron/crypto/src/Cardano/Crypto/Signing.hs
diff --git a/...ypto/src/Cardano/Crypto/Signing/KeyGen.hs → ...ypto/src/Cardano/Crypto/Signing/KeyGen.hs b/...ypto/src/Cardano/Crypto/Signing/KeyGen.hs → ...ypto/src/Cardano/Crypto/Signing/KeyGen.hs
diff --git a/...ypto/src/Cardano/Crypto/Signing/Redeem.hs → ...ypto/src/Cardano/Crypto/Signing/Redeem.hs b/...ypto/src/Cardano/Crypto/Signing/Redeem.hs → ...ypto/src/Cardano/Crypto/Signing/Redeem.hs
diff --git a/.../Cardano/Crypto/Signing/Redeem/Compact.hs → .../Cardano/Crypto/Signing/Redeem/Compact.hs b/.../Cardano/Crypto/Signing/Redeem/Compact.hs → .../Cardano/Crypto/Signing/Redeem/Compact.hs
diff --git a/...c/Cardano/Crypto/Signing/Redeem/KeyGen.hs → ...c/Cardano/Crypto/Signing/Redeem/KeyGen.hs b/...c/Cardano/Crypto/Signing/Redeem/KeyGen.hs → ...c/Cardano/Crypto/Signing/Redeem/KeyGen.hs
diff --git a/...ardano/Crypto/Signing/Redeem/Signature.hs → ...ardano/Crypto/Signing/Redeem/Signature.hs b/...ardano/Crypto/Signing/Redeem/Signature.hs → ...ardano/Crypto/Signing/Redeem/Signature.hs
diff --git a/...rdano/Crypto/Signing/Redeem/SigningKey.hs → ...rdano/Crypto/Signing/Redeem/SigningKey.hs b/...rdano/Crypto/Signing/Redeem/SigningKey.hs → ...rdano/Crypto/Signing/Redeem/SigningKey.hs
diff --git a/.../Crypto/Signing/Redeem/VerificationKey.hs → .../Crypto/Signing/Redeem/VerificationKey.hs b/.../Crypto/Signing/Redeem/VerificationKey.hs → .../Crypto/Signing/Redeem/VerificationKey.hs
diff --git a/...crypto/src/Cardano/Crypto/Signing/Safe.hs → ...crypto/src/Cardano/Crypto/Signing/Safe.hs b/...crypto/src/Cardano/Crypto/Signing/Safe.hs → ...crypto/src/Cardano/Crypto/Signing/Safe.hs
diff --git a/...src/Cardano/Crypto/Signing/Safe/KeyGen.hs → ...src/Cardano/Crypto/Signing/Safe/KeyGen.hs b/...src/Cardano/Crypto/Signing/Safe/KeyGen.hs → ...src/Cardano/Crypto/Signing/Safe/KeyGen.hs
diff --git a/...Cardano/Crypto/Signing/Safe/PassPhrase.hs → ...Cardano/Crypto/Signing/Safe/PassPhrase.hs b/...Cardano/Crypto/Signing/Safe/PassPhrase.hs → ...Cardano/Crypto/Signing/Safe/PassPhrase.hs
diff --git a/...Cardano/Crypto/Signing/Safe/SafeSigner.hs → ...Cardano/Crypto/Signing/Safe/SafeSigner.hs b/...Cardano/Crypto/Signing/Safe/SafeSigner.hs → ...Cardano/Crypto/Signing/Safe/SafeSigner.hs
diff --git a/...o/src/Cardano/Crypto/Signing/Signature.hs → ...o/src/Cardano/Crypto/Signing/Signature.hs b/...o/src/Cardano/Crypto/Signing/Signature.hs → ...o/src/Cardano/Crypto/Signing/Signature.hs
diff --git a/.../src/Cardano/Crypto/Signing/SigningKey.hs → .../src/Cardano/Crypto/Signing/SigningKey.hs b/.../src/Cardano/Crypto/Signing/SigningKey.hs → .../src/Cardano/Crypto/Signing/SigningKey.hs
diff --git a/.../crypto/src/Cardano/Crypto/Signing/Tag.hs → .../crypto/src/Cardano/Crypto/Signing/Tag.hs b/.../crypto/src/Cardano/Crypto/Signing/Tag.hs → .../crypto/src/Cardano/Crypto/Signing/Tag.hs
diff --git a/...Cardano/Crypto/Signing/VerificationKey.hs → ...Cardano/Crypto/Signing/VerificationKey.hs b/...Cardano/Crypto/Signing/VerificationKey.hs → ...Cardano/Crypto/Signing/VerificationKey.hs
diff --git a/byron/crypto/test/Setup.hs → eras/byron/crypto/test/Setup.hs b/byron/crypto/test/Setup.hs → eras/byron/crypto/test/Setup.hs
diff --git a/...n/crypto/test/Test/Cardano/Crypto/CBOR.hs → ...n/crypto/test/Test/Cardano/Crypto/CBOR.hs b/...n/crypto/test/Test/Cardano/Crypto/CBOR.hs → ...n/crypto/test/Test/Cardano/Crypto/CBOR.hs
diff --git a/.../crypto/test/Test/Cardano/Crypto/Dummy.hs → .../crypto/test/Test/Cardano/Crypto/Dummy.hs b/.../crypto/test/Test/Cardano/Crypto/Dummy.hs → .../crypto/test/Test/Cardano/Crypto/Dummy.hs
diff --git a/...rypto/test/Test/Cardano/Crypto/Example.hs → ...rypto/test/Test/Cardano/Crypto/Example.hs b/...rypto/test/Test/Cardano/Crypto/Example.hs → ...rypto/test/Test/Cardano/Crypto/Example.hs
diff --git a/byron/crypto/test/Test/Cardano/Crypto/Gen.hs → ...on/crypto/test/Test/Cardano/Crypto/Gen.hs b/byron/crypto/test/Test/Cardano/Crypto/Gen.hs → ...on/crypto/test/Test/Cardano/Crypto/Gen.hs
diff --git a/...rypto/test/Test/Cardano/Crypto/Hashing.hs → ...rypto/test/Test/Cardano/Crypto/Hashing.hs b/...rypto/test/Test/Cardano/Crypto/Hashing.hs → ...rypto/test/Test/Cardano/Crypto/Hashing.hs
diff --git a/...n/crypto/test/Test/Cardano/Crypto/Json.hs → ...n/crypto/test/Test/Cardano/Crypto/Json.hs b/...n/crypto/test/Test/Cardano/Crypto/Json.hs → ...n/crypto/test/Test/Cardano/Crypto/Json.hs
diff --git a/...n/crypto/test/Test/Cardano/Crypto/Keys.hs → ...n/crypto/test/Test/Cardano/Crypto/Keys.hs b/...n/crypto/test/Test/Cardano/Crypto/Keys.hs → ...n/crypto/test/Test/Cardano/Crypto/Keys.hs
diff --git a/...crypto/test/Test/Cardano/Crypto/Limits.hs → ...crypto/test/Test/Cardano/Crypto/Limits.hs b/...crypto/test/Test/Cardano/Crypto/Limits.hs → ...crypto/test/Test/Cardano/Crypto/Limits.hs
diff --git a/...rypto/test/Test/Cardano/Crypto/Orphans.hs → ...rypto/test/Test/Cardano/Crypto/Orphans.hs b/...rypto/test/Test/Cardano/Crypto/Orphans.hs → ...rypto/test/Test/Cardano/Crypto/Orphans.hs
diff --git a/...crypto/test/Test/Cardano/Crypto/Random.hs → ...crypto/test/Test/Cardano/Crypto/Random.hs b/...crypto/test/Test/Cardano/Crypto/Random.hs → ...crypto/test/Test/Cardano/Crypto/Random.hs
diff --git a/...est/Test/Cardano/Crypto/Signing/Redeem.hs → ...est/Test/Cardano/Crypto/Signing/Redeem.hs b/...est/Test/Cardano/Crypto/Signing/Redeem.hs → ...est/Test/Cardano/Crypto/Signing/Redeem.hs
diff --git a/.../Cardano/Crypto/Signing/Redeem/Compact.hs → .../Cardano/Crypto/Signing/Redeem/Compact.hs b/.../Cardano/Crypto/Signing/Redeem/Compact.hs → .../Cardano/Crypto/Signing/Redeem/Compact.hs
diff --git a/.../test/Test/Cardano/Crypto/Signing/Safe.hs → .../test/Test/Cardano/Crypto/Signing/Safe.hs b/.../test/Test/Cardano/Crypto/Signing/Safe.hs → .../test/Test/Cardano/Crypto/Signing/Safe.hs
diff --git a/...st/Test/Cardano/Crypto/Signing/Signing.hs → ...st/Test/Cardano/Crypto/Signing/Signing.hs b/...st/Test/Cardano/Crypto/Signing/Signing.hs → ...st/Test/Cardano/Crypto/Signing/Signing.hs
diff --git a/byron/crypto/test/cardano-crypto-test.cabal → ...ron/crypto/test/cardano-crypto-test.cabal b/byron/crypto/test/cardano-crypto-test.cabal → ...ron/crypto/test/cardano-crypto-test.cabal
diff --git a/byron/crypto/test/golden/AbstractHash → eras/byron/crypto/test/golden/AbstractHash b/byron/crypto/test/golden/AbstractHash → eras/byron/crypto/test/golden/AbstractHash
diff --git a/byron/crypto/test/golden/DecShare → eras/byron/crypto/test/golden/DecShare b/byron/crypto/test/golden/DecShare → eras/byron/crypto/test/golden/DecShare
diff --git a/byron/crypto/test/golden/EncShare → eras/byron/crypto/test/golden/EncShare b/byron/crypto/test/golden/EncShare → eras/byron/crypto/test/golden/EncShare
diff --git a/byron/crypto/test/golden/PassPhrase → eras/byron/crypto/test/golden/PassPhrase b/byron/crypto/test/golden/PassPhrase → eras/byron/crypto/test/golden/PassPhrase
diff --git a/byron/crypto/test/golden/RedeemSignature → .../byron/crypto/test/golden/RedeemSignature b/byron/crypto/test/golden/RedeemSignature → .../byron/crypto/test/golden/RedeemSignature
diff --git a/byron/crypto/test/golden/RedeemSigningKey → ...byron/crypto/test/golden/RedeemSigningKey b/byron/crypto/test/golden/RedeemSigningKey → ...byron/crypto/test/golden/RedeemSigningKey
diff --git a/.../crypto/test/golden/RedeemVerificationKey → .../crypto/test/golden/RedeemVerificationKey b/.../crypto/test/golden/RedeemVerificationKey → .../crypto/test/golden/RedeemVerificationKey
diff --git a/byron/crypto/test/golden/Secret → eras/byron/crypto/test/golden/Secret b/byron/crypto/test/golden/Secret → eras/byron/crypto/test/golden/Secret
diff --git a/byron/crypto/test/golden/SecretProof → eras/byron/crypto/test/golden/SecretProof b/byron/crypto/test/golden/SecretProof → eras/byron/crypto/test/golden/SecretProof
diff --git a/byron/crypto/test/golden/Signature → eras/byron/crypto/test/golden/Signature b/byron/crypto/test/golden/Signature → eras/byron/crypto/test/golden/Signature
diff --git a/byron/crypto/test/golden/SigningKey → eras/byron/crypto/test/golden/SigningKey b/byron/crypto/test/golden/SigningKey → eras/byron/crypto/test/golden/SigningKey
diff --git a/byron/crypto/test/golden/VerificationKey → .../byron/crypto/test/golden/VerificationKey b/byron/crypto/test/golden/VerificationKey → .../byron/crypto/test/golden/VerificationKey
diff --git a/byron/crypto/test/golden/VssPublicKey → eras/byron/crypto/test/golden/VssPublicKey b/byron/crypto/test/golden/VssPublicKey → eras/byron/crypto/test/golden/VssPublicKey
diff --git a/...son/ProtocolMagic0_Legacy_HasNetworkMagic → ...son/ProtocolMagic0_Legacy_HasNetworkMagic b/...son/ProtocolMagic0_Legacy_HasNetworkMagic → ...son/ProtocolMagic0_Legacy_HasNetworkMagic
diff --git a/...son/ProtocolMagic1_Legacy_HasNetworkMagic → ...son/ProtocolMagic1_Legacy_HasNetworkMagic b/...son/ProtocolMagic1_Legacy_HasNetworkMagic → ...son/ProtocolMagic1_Legacy_HasNetworkMagic
diff --git a/...son/ProtocolMagic2_Legacy_HasNetworkMagic → ...son/ProtocolMagic2_Legacy_HasNetworkMagic b/...son/ProtocolMagic2_Legacy_HasNetworkMagic → ...son/ProtocolMagic2_Legacy_HasNetworkMagic
diff --git a/...en/json/ProtocolMagic_Legacy_NMMustBeJust → ...en/json/ProtocolMagic_Legacy_NMMustBeJust b/...en/json/ProtocolMagic_Legacy_NMMustBeJust → ...en/json/ProtocolMagic_Legacy_NMMustBeJust
diff --git a/...json/ProtocolMagic_Legacy_NMMustBeNothing → ...json/ProtocolMagic_Legacy_NMMustBeNothing b/...json/ProtocolMagic_Legacy_NMMustBeNothing → ...json/ProtocolMagic_Legacy_NMMustBeNothing
diff --git a/byron/crypto/test/test.hs → eras/byron/crypto/test/test.hs b/byron/crypto/test/test.hs → eras/byron/crypto/test/test.hs
diff --git a/byron/ledger/executable-spec/.ghcid → eras/byron/ledger/executable-spec/.ghcid b/byron/ledger/executable-spec/.ghcid → eras/byron/ledger/executable-spec/.ghcid
diff --git a/byron/ledger/executable-spec/CHANGELOG.md → ...byron/ledger/executable-spec/CHANGELOG.md b/byron/ledger/executable-spec/CHANGELOG.md → ...byron/ledger/executable-spec/CHANGELOG.md
diff --git a/byron/ledger/executable-spec/Setup.hs → eras/byron/ledger/executable-spec/Setup.hs b/byron/ledger/executable-spec/Setup.hs → eras/byron/ledger/executable-spec/Setup.hs
diff --git a/...r/executable-spec/byron-spec-ledger.cabal → ...r/executable-spec/byron-spec-ledger.cabal b/...r/executable-spec/byron-spec-ledger.cabal → ...r/executable-spec/byron-spec-ledger.cabal
diff --git a/byron/ledger/executable-spec/default.nix → .../byron/ledger/executable-spec/default.nix b/byron/ledger/executable-spec/default.nix → .../byron/ledger/executable-spec/default.nix
diff --git a/...utable-spec/src/Byron/Spec/Ledger/Core.hs → ...utable-spec/src/Byron/Spec/Ledger/Core.hs b/...utable-spec/src/Byron/Spec/Ledger/Core.hs → ...utable-spec/src/Byron/Spec/Ledger/Core.hs
diff --git a/.../src/Byron/Spec/Ledger/Core/Generators.hs → .../src/Byron/Spec/Ledger/Core/Generators.hs b/.../src/Byron/Spec/Ledger/Core/Generators.hs → .../src/Byron/Spec/Ledger/Core/Generators.hs
diff --git a/.../src/Byron/Spec/Ledger/Core/Omniscient.hs → .../src/Byron/Spec/Ledger/Core/Omniscient.hs b/.../src/Byron/Spec/Ledger/Core/Omniscient.hs → .../src/Byron/Spec/Ledger/Core/Omniscient.hs
diff --git a/...-spec/src/Byron/Spec/Ledger/Delegation.hs → ...-spec/src/Byron/Spec/Ledger/Delegation.hs b/...-spec/src/Byron/Spec/Ledger/Delegation.hs → ...-spec/src/Byron/Spec/Ledger/Delegation.hs
diff --git a/.../src/Byron/Spec/Ledger/Delegation/Test.hs → .../src/Byron/Spec/Ledger/Delegation/Test.hs b/.../src/Byron/Spec/Ledger/Delegation/Test.hs → .../src/Byron/Spec/Ledger/Delegation/Test.hs
diff --git a/...pec/src/Byron/Spec/Ledger/GlobalParams.hs → ...pec/src/Byron/Spec/Ledger/GlobalParams.hs b/...pec/src/Byron/Spec/Ledger/GlobalParams.hs → ...pec/src/Byron/Spec/Ledger/GlobalParams.hs
diff --git a/...le-spec/src/Byron/Spec/Ledger/STS/UTXO.hs → ...le-spec/src/Byron/Spec/Ledger/STS/UTXO.hs b/...le-spec/src/Byron/Spec/Ledger/STS/UTXO.hs → ...le-spec/src/Byron/Spec/Ledger/STS/UTXO.hs
diff --git a/...e-spec/src/Byron/Spec/Ledger/STS/UTXOW.hs → ...e-spec/src/Byron/Spec/Ledger/STS/UTXOW.hs b/...e-spec/src/Byron/Spec/Ledger/STS/UTXOW.hs → ...e-spec/src/Byron/Spec/Ledger/STS/UTXOW.hs
diff --git a/...-spec/src/Byron/Spec/Ledger/STS/UTXOWS.hs → ...-spec/src/Byron/Spec/Ledger/STS/UTXOWS.hs b/...-spec/src/Byron/Spec/Ledger/STS/UTXOWS.hs → ...-spec/src/Byron/Spec/Ledger/STS/UTXOWS.hs
diff --git a/...utable-spec/src/Byron/Spec/Ledger/UTxO.hs → ...utable-spec/src/Byron/Spec/Ledger/UTxO.hs b/...utable-spec/src/Byron/Spec/Ledger/UTxO.hs → ...utable-spec/src/Byron/Spec/Ledger/UTxO.hs
diff --git a/.../src/Byron/Spec/Ledger/UTxO/Generators.hs → .../src/Byron/Spec/Ledger/UTxO/Generators.hs b/.../src/Byron/Spec/Ledger/UTxO/Generators.hs → .../src/Byron/Spec/Ledger/UTxO/Generators.hs
diff --git a/...able-spec/src/Byron/Spec/Ledger/Update.hs → ...able-spec/src/Byron/Spec/Ledger/Update.hs b/...able-spec/src/Byron/Spec/Ledger/Update.hs → ...able-spec/src/Byron/Spec/Ledger/Update.hs
diff --git a/...rc/Byron/Spec/Ledger/Update/Generators.hs → ...rc/Byron/Spec/Ledger/Update/Generators.hs b/...rc/Byron/Spec/Ledger/Update/Generators.hs → ...rc/Byron/Spec/Ledger/Update/Generators.hs
diff --git a/...spec/src/Byron/Spec/Ledger/Update/Test.hs → ...spec/src/Byron/Spec/Ledger/Update/Test.hs b/...spec/src/Byron/Spec/Ledger/Update/Test.hs → ...spec/src/Byron/Spec/Ledger/Update/Test.hs
diff --git a/...utable-spec/src/Byron/Spec/Ledger/Util.hs → ...utable-spec/src/Byron/Spec/Ledger/Util.hs b/...utable-spec/src/Byron/Spec/Ledger/Util.hs → ...utable-spec/src/Byron/Spec/Ledger/Util.hs
diff --git a/...xecutable-spec/src/Hedgehog/Gen/Double.hs → ...xecutable-spec/src/Hedgehog/Gen/Double.hs b/...xecutable-spec/src/Hedgehog/Gen/Double.hs → ...xecutable-spec/src/Hedgehog/Gen/Double.hs
diff --git a/...ilure_SDelegFailure_EpochInThePast.genome → ...ilure_SDelegFailure_EpochInThePast.genome b/...ilure_SDelegFailure_EpochInThePast.genome → ...ilure_SDelegFailure_EpochInThePast.genome
diff --git a/...e_SDelegFailure_EpochPastNextEpoch.genome → ...e_SDelegFailure_EpochPastNextEpoch.genome b/...e_SDelegFailure_EpochPastNextEpoch.genome → ...e_SDelegFailure_EpochPastNextEpoch.genome
diff --git a/...e_SDelegFailure_IsAlreadyScheduled.genome → ...e_SDelegFailure_IsAlreadyScheduled.genome b/...e_SDelegFailure_IsAlreadyScheduled.genome → ...e_SDelegFailure_IsAlreadyScheduled.genome
diff --git a/...lure_SDelegFailure_IsNotGenesisKey.genome → ...lure_SDelegFailure_IsNotGenesisKey.genome b/...lure_SDelegFailure_IsNotGenesisKey.genome → ...lure_SDelegFailure_IsNotGenesisKey.genome
diff --git a/.../UPIREG_UPREGFailure_DoesNotVerify.genome → .../UPIREG_UPREGFailure_DoesNotVerify.genome b/.../UPIREG_UPREGFailure_DoesNotVerify.genome → .../UPIREG_UPREGFailure_DoesNotVerify.genome
diff --git a/...EG_UPREGFailure_NotGenesisDelegate.genome → ...EG_UPREGFailure_NotGenesisDelegate.genome b/...EG_UPREGFailure_NotGenesisDelegate.genome → ...EG_UPREGFailure_NotGenesisDelegate.genome
diff --git a/...ure_UPVFailure_AVChangedInPVUpdate.genome → ...ure_UPVFailure_AVChangedInPVUpdate.genome b/...ure_UPVFailure_AVChangedInPVUpdate.genome → ...ure_UPVFailure_AVChangedInPVUpdate.genome
diff --git a/...ure_UPVFailure_PVChangedInSVUpdate.genome → ...ure_UPVFailure_PVChangedInSVUpdate.genome b/...ure_UPVFailure_PVChangedInSVUpdate.genome → ...ure_UPVFailure_PVChangedInSVUpdate.genome
diff --git a/...UPVFailure_ParamsChangedInSVUpdate.genome → ...UPVFailure_ParamsChangedInSVUpdate.genome b/...UPVFailure_ParamsChangedInSVUpdate.genome → ...UPVFailure_ParamsChangedInSVUpdate.genome
diff --git a/...ailure_UPPVVFailure_CannotFollowPv.genome → ...ailure_UPPVVFailure_CannotFollowPv.genome b/...ailure_UPPVVFailure_CannotFollowPv.genome → ...ailure_UPPVVFailure_CannotFollowPv.genome
diff --git a/...ailure_UPPVVFailure_CannotUpdatePv.genome → ...ailure_UPPVVFailure_CannotUpdatePv.genome b/...ailure_UPPVVFailure_CannotUpdatePv.genome → ...ailure_UPPVVFailure_CannotUpdatePv.genome
diff --git a/...ure_UPSVVFailure_AlreadyProposedSv.genome → ...ure_UPSVVFailure_AlreadyProposedSv.genome b/...ure_UPSVVFailure_AlreadyProposedSv.genome → ...ure_UPSVVFailure_AlreadyProposedSv.genome
diff --git a/...ailure_UPSVVFailure_CannotFollowSv.genome → ...ailure_UPSVVFailure_CannotFollowSv.genome b/...ailure_UPSVVFailure_CannotFollowSv.genome → ...ailure_UPSVVFailure_CannotFollowSv.genome
diff --git a/...PSVVFailure_InvalidApplicationName.genome → ...PSVVFailure_InvalidApplicationName.genome b/...PSVVFailure_InvalidApplicationName.genome → ...PSVVFailure_InvalidApplicationName.genome
diff --git a/...ure_UPSVVFailure_InvalidSystemTags.genome → ...ure_UPSVVFailure_InvalidSystemTags.genome b/...ure_UPSVVFailure_InvalidSystemTags.genome → ...ure_UPSVVFailure_InvalidSystemTags.genome
diff --git a/..._ADDVOTEFailure_AVSigDoesNotVerify.genome → ..._ADDVOTEFailure_AVSigDoesNotVerify.genome b/..._ADDVOTEFailure_AVSigDoesNotVerify.genome → ..._ADDVOTEFailure_AVSigDoesNotVerify.genome
diff --git a/...re_ADDVOTEFailure_NoUpdateProposal.genome → ...re_ADDVOTEFailure_NoUpdateProposal.genome b/...re_ADDVOTEFailure_NoUpdateProposal.genome → ...re_ADDVOTEFailure_NoUpdateProposal.genome
diff --git a/...enomes/UTXOW_InsufficientWitnesses.genome → ...enomes/UTXOW_InsufficientWitnesses.genome b/...enomes/UTXOW_InsufficientWitnesses.genome → ...enomes/UTXOW_InsufficientWitnesses.genome
diff --git a/...es/UTXOW_UtxoFailure_EmptyTxInputs.genome → ...es/UTXOW_UtxoFailure_EmptyTxInputs.genome b/...es/UTXOW_UtxoFailure_EmptyTxInputs.genome → ...es/UTXOW_UtxoFailure_EmptyTxInputs.genome
diff --git a/...s/UTXOW_UtxoFailure_EmptyTxOutputs.genome → ...s/UTXOW_UtxoFailure_EmptyTxOutputs.genome b/...s/UTXOW_UtxoFailure_EmptyTxOutputs.genome → ...s/UTXOW_UtxoFailure_EmptyTxOutputs.genome
diff --git a/...enomes/UTXOW_UtxoFailure_FeeTooLow.genome → ...enomes/UTXOW_UtxoFailure_FeeTooLow.genome b/...enomes/UTXOW_UtxoFailure_FeeTooLow.genome → ...enomes/UTXOW_UtxoFailure_FeeTooLow.genome
diff --git a/.../UTXOW_UtxoFailure_InputsNotInUTxO.genome → .../UTXOW_UtxoFailure_InputsNotInUTxO.genome b/.../UTXOW_UtxoFailure_InputsNotInUTxO.genome → .../UTXOW_UtxoFailure_InputsNotInUTxO.genome
diff --git a/...XOW_UtxoFailure_NonPositiveOutputs.genome → ...XOW_UtxoFailure_NonPositiveOutputs.genome b/...XOW_UtxoFailure_NonPositiveOutputs.genome → ...XOW_UtxoFailure_NonPositiveOutputs.genome
diff --git a/byron/ledger/executable-spec/test/Main.hs → ...byron/ledger/executable-spec/test/Main.hs b/byron/ledger/executable-spec/test/Main.hs → ...byron/ledger/executable-spec/test/Main.hs
diff --git a/...on/Spec/Ledger/AbstractSize/Properties.hs → ...on/Spec/Ledger/AbstractSize/Properties.hs b/...on/Spec/Ledger/AbstractSize/Properties.hs → ...on/Spec/Ledger/AbstractSize/Properties.hs
diff --git a/...Spec/Ledger/Core/Generators/Properties.hs → ...Spec/Ledger/Core/Generators/Properties.hs b/...Spec/Ledger/Core/Generators/Properties.hs → ...Spec/Ledger/Core/Generators/Properties.hs
diff --git a/.../Byron/Spec/Ledger/Delegation/Examples.hs → .../Byron/Spec/Ledger/Delegation/Examples.hs b/.../Byron/Spec/Ledger/Delegation/Examples.hs → .../Byron/Spec/Ledger/Delegation/Examples.hs
diff --git a/...yron/Spec/Ledger/Delegation/Properties.hs → ...yron/Spec/Ledger/Delegation/Properties.hs b/...yron/Spec/Ledger/Delegation/Properties.hs → ...yron/Spec/Ledger/Delegation/Properties.hs
diff --git a/.../Byron/Spec/Ledger/Relation/Properties.hs → .../Byron/Spec/Ledger/Relation/Properties.hs b/.../Byron/Spec/Ledger/Relation/Properties.hs → .../Byron/Spec/Ledger/Relation/Properties.hs
diff --git a/...Test/Byron/Spec/Ledger/UTxO/Properties.hs → ...Test/Byron/Spec/Ledger/UTxO/Properties.hs b/...Test/Byron/Spec/Ledger/UTxO/Properties.hs → ...Test/Byron/Spec/Ledger/UTxO/Properties.hs
diff --git a/...Test/Byron/Spec/Ledger/Update/Examples.hs → ...Test/Byron/Spec/Ledger/Update/Examples.hs b/...Test/Byron/Spec/Ledger/Update/Examples.hs → ...Test/Byron/Spec/Ledger/Update/Examples.hs
diff --git a/...st/Byron/Spec/Ledger/Update/Properties.hs → ...st/Byron/Spec/Ledger/Update/Properties.hs b/...st/Byron/Spec/Ledger/Update/Properties.hs → ...st/Byron/Spec/Ledger/Update/Properties.hs
diff --git a/byron/ledger/formal-spec/Makefile → eras/byron/ledger/formal-spec/Makefile b/byron/ledger/formal-spec/Makefile → eras/byron/ledger/formal-spec/Makefile
diff --git a/...dger/formal-spec/blockchain-interface.tex → ...dger/formal-spec/blockchain-interface.tex b/...dger/formal-spec/blockchain-interface.tex → ...dger/formal-spec/blockchain-interface.tex
diff --git a/.../ledger/formal-spec/crypto-primitives.tex → .../ledger/formal-spec/crypto-primitives.tex b/.../ledger/formal-spec/crypto-primitives.tex → .../ledger/formal-spec/crypto-primitives.tex
diff --git a/byron/ledger/formal-spec/default.nix → eras/byron/ledger/formal-spec/default.nix b/byron/ledger/formal-spec/default.nix → eras/byron/ledger/formal-spec/default.nix
diff --git a/byron/ledger/formal-spec/delegation.tex → eras/byron/ledger/formal-spec/delegation.tex b/byron/ledger/formal-spec/delegation.tex → eras/byron/ledger/formal-spec/delegation.tex
diff --git a/byron/ledger/formal-spec/frontmatter.tex → .../byron/ledger/formal-spec/frontmatter.tex b/byron/ledger/formal-spec/frontmatter.tex → .../byron/ledger/formal-spec/frontmatter.tex
diff --git a/byron/ledger/formal-spec/gitinfo2.mk → eras/byron/ledger/formal-spec/gitinfo2.mk b/byron/ledger/formal-spec/gitinfo2.mk → eras/byron/ledger/formal-spec/gitinfo2.mk
diff --git a/byron/ledger/formal-spec/intro.tex → eras/byron/ledger/formal-spec/intro.tex b/byron/ledger/formal-spec/intro.tex → eras/byron/ledger/formal-spec/intro.tex
diff --git a/byron/ledger/formal-spec/iohk.sty → eras/byron/ledger/formal-spec/iohk.sty b/byron/ledger/formal-spec/iohk.sty → eras/byron/ledger/formal-spec/iohk.sty
diff --git a/byron/ledger/formal-spec/ledger-spec.tex → .../byron/ledger/formal-spec/ledger-spec.tex b/byron/ledger/formal-spec/ledger-spec.tex → .../byron/ledger/formal-spec/ledger-spec.tex
diff --git a/byron/ledger/formal-spec/notation.tex → eras/byron/ledger/formal-spec/notation.tex b/byron/ledger/formal-spec/notation.tex → eras/byron/ledger/formal-spec/notation.tex
diff --git a/byron/ledger/formal-spec/properties.tex → eras/byron/ledger/formal-spec/properties.tex b/byron/ledger/formal-spec/properties.tex → eras/byron/ledger/formal-spec/properties.tex
diff --git a/byron/ledger/formal-spec/references.bib → eras/byron/ledger/formal-spec/references.bib b/byron/ledger/formal-spec/references.bib → eras/byron/ledger/formal-spec/references.bib
diff --git a/...n/ledger/formal-spec/update-mechanism.tex → ...n/ledger/formal-spec/update-mechanism.tex b/...n/ledger/formal-spec/update-mechanism.tex → ...n/ledger/formal-spec/update-mechanism.tex
diff --git a/byron/ledger/formal-spec/utxo.tex → eras/byron/ledger/formal-spec/utxo.tex b/byron/ledger/formal-spec/utxo.tex → eras/byron/ledger/formal-spec/utxo.tex
diff --git a/byron/ledger/impl/README.md → eras/byron/ledger/impl/README.md b/byron/ledger/impl/README.md → eras/byron/ledger/impl/README.md
diff --git a/byron/ledger/impl/Setup.hs → eras/byron/ledger/impl/Setup.hs b/byron/ledger/impl/Setup.hs → eras/byron/ledger/impl/Setup.hs
diff --git a/byron/ledger/impl/cardano-ledger-byron.cabal → ...on/ledger/impl/cardano-ledger-byron.cabal b/byron/ledger/impl/cardano-ledger-byron.cabal → ...on/ledger/impl/cardano-ledger-byron.cabal
diff --git a/byron/ledger/impl/doc/network-magic.md → eras/byron/ledger/impl/doc/network-magic.md b/byron/ledger/impl/doc/network-magic.md → eras/byron/ledger/impl/doc/network-magic.md
diff --git a/byron/ledger/impl/mainnet-genesis.json → eras/byron/ledger/impl/mainnet-genesis.json b/byron/ledger/impl/mainnet-genesis.json → eras/byron/ledger/impl/mainnet-genesis.json
diff --git a/byron/ledger/impl/src/Cardano/Chain/Block.hs → ...on/ledger/impl/src/Cardano/Chain/Block.hs b/byron/ledger/impl/src/Cardano/Chain/Block.hs → ...on/ledger/impl/src/Cardano/Chain/Block.hs
diff --git a/...ger/impl/src/Cardano/Chain/Block/Block.hs → ...ger/impl/src/Cardano/Chain/Block/Block.hs b/...ger/impl/src/Cardano/Chain/Block/Block.hs → ...ger/impl/src/Cardano/Chain/Block/Block.hs
diff --git a/...dger/impl/src/Cardano/Chain/Block/Body.hs → ...dger/impl/src/Cardano/Chain/Block/Body.hs b/...dger/impl/src/Cardano/Chain/Block/Body.hs → ...dger/impl/src/Cardano/Chain/Block/Body.hs
diff --git a/.../impl/src/Cardano/Chain/Block/Boundary.hs → .../impl/src/Cardano/Chain/Block/Boundary.hs b/.../impl/src/Cardano/Chain/Block/Boundary.hs → .../impl/src/Cardano/Chain/Block/Boundary.hs
diff --git a/...er/impl/src/Cardano/Chain/Block/Header.hs → ...er/impl/src/Cardano/Chain/Block/Header.hs b/...er/impl/src/Cardano/Chain/Block/Header.hs → ...er/impl/src/Cardano/Chain/Block/Header.hs
diff --git a/...ger/impl/src/Cardano/Chain/Block/Proof.hs → ...ger/impl/src/Cardano/Chain/Block/Proof.hs b/...ger/impl/src/Cardano/Chain/Block/Proof.hs → ...ger/impl/src/Cardano/Chain/Block/Proof.hs
diff --git a/...mpl/src/Cardano/Chain/Block/Validation.hs → ...mpl/src/Cardano/Chain/Block/Validation.hs b/...mpl/src/Cardano/Chain/Block/Validation.hs → ...mpl/src/Cardano/Chain/Block/Validation.hs
diff --git a/...src/Cardano/Chain/Block/ValidationMode.hs → ...src/Cardano/Chain/Block/ValidationMode.hs b/...src/Cardano/Chain/Block/ValidationMode.hs → ...src/Cardano/Chain/Block/ValidationMode.hs
diff --git a/...edger/impl/src/Cardano/Chain/Byron/API.hs → ...edger/impl/src/Cardano/Chain/Byron/API.hs b/...edger/impl/src/Cardano/Chain/Byron/API.hs → ...edger/impl/src/Cardano/Chain/Byron/API.hs
diff --git a/...mpl/src/Cardano/Chain/Byron/API/Common.hs → ...mpl/src/Cardano/Chain/Byron/API/Common.hs b/...mpl/src/Cardano/Chain/Byron/API/Common.hs → ...mpl/src/Cardano/Chain/Byron/API/Common.hs
diff --git a/...pl/src/Cardano/Chain/Byron/API/Mempool.hs → ...pl/src/Cardano/Chain/Byron/API/Mempool.hs b/...pl/src/Cardano/Chain/Byron/API/Mempool.hs → ...pl/src/Cardano/Chain/Byron/API/Mempool.hs
diff --git a/...l/src/Cardano/Chain/Byron/API/Protocol.hs → ...l/src/Cardano/Chain/Byron/API/Protocol.hs b/...l/src/Cardano/Chain/Byron/API/Protocol.hs → ...l/src/Cardano/Chain/Byron/API/Protocol.hs
diff --git a/...src/Cardano/Chain/Byron/API/Validation.hs → ...src/Cardano/Chain/Byron/API/Validation.hs b/...src/Cardano/Chain/Byron/API/Validation.hs → ...src/Cardano/Chain/Byron/API/Validation.hs
diff --git a/...n/ledger/impl/src/Cardano/Chain/Common.hs → ...n/ledger/impl/src/Cardano/Chain/Common.hs b/...n/ledger/impl/src/Cardano/Chain/Common.hs → ...n/ledger/impl/src/Cardano/Chain/Common.hs
diff --git a/...rc/Cardano/Chain/Common/AddrAttributes.hs → ...rc/Cardano/Chain/Common/AddrAttributes.hs b/...rc/Cardano/Chain/Common/AddrAttributes.hs → ...rc/Cardano/Chain/Common/AddrAttributes.hs
diff --git a/.../Cardano/Chain/Common/AddrSpendingData.hs → .../Cardano/Chain/Common/AddrSpendingData.hs b/.../Cardano/Chain/Common/AddrSpendingData.hs → .../Cardano/Chain/Common/AddrSpendingData.hs
diff --git a/.../impl/src/Cardano/Chain/Common/Address.hs → .../impl/src/Cardano/Chain/Common/Address.hs b/.../impl/src/Cardano/Chain/Common/Address.hs → .../impl/src/Cardano/Chain/Common/Address.hs
diff --git a/...l/src/Cardano/Chain/Common/AddressHash.hs → ...l/src/Cardano/Chain/Common/AddressHash.hs b/...l/src/Cardano/Chain/Common/AddressHash.hs → ...l/src/Cardano/Chain/Common/AddressHash.hs
diff --git a/...pl/src/Cardano/Chain/Common/Attributes.hs → ...pl/src/Cardano/Chain/Common/Attributes.hs b/...pl/src/Cardano/Chain/Common/Attributes.hs → ...pl/src/Cardano/Chain/Common/Attributes.hs
diff --git a/...pl/src/Cardano/Chain/Common/BlockCount.hs → ...pl/src/Cardano/Chain/Common/BlockCount.hs b/...pl/src/Cardano/Chain/Common/BlockCount.hs → ...pl/src/Cardano/Chain/Common/BlockCount.hs
diff --git a/...ger/impl/src/Cardano/Chain/Common/CBOR.hs → ...ger/impl/src/Cardano/Chain/Common/CBOR.hs b/...ger/impl/src/Cardano/Chain/Common/CBOR.hs → ...ger/impl/src/Cardano/Chain/Common/CBOR.hs
diff --git a/...c/Cardano/Chain/Common/ChainDifficulty.hs → ...c/Cardano/Chain/Common/ChainDifficulty.hs b/...c/Cardano/Chain/Common/ChainDifficulty.hs → ...c/Cardano/Chain/Common/ChainDifficulty.hs
diff --git a/.../impl/src/Cardano/Chain/Common/Compact.hs → .../impl/src/Cardano/Chain/Common/Compact.hs b/.../impl/src/Cardano/Chain/Common/Compact.hs → .../impl/src/Cardano/Chain/Common/Compact.hs
diff --git a/.../impl/src/Cardano/Chain/Common/KeyHash.hs → .../impl/src/Cardano/Chain/Common/KeyHash.hs b/.../impl/src/Cardano/Chain/Common/KeyHash.hs → .../impl/src/Cardano/Chain/Common/KeyHash.hs
diff --git a/...impl/src/Cardano/Chain/Common/Lovelace.hs → ...impl/src/Cardano/Chain/Common/Lovelace.hs b/...impl/src/Cardano/Chain/Common/Lovelace.hs → ...impl/src/Cardano/Chain/Common/Lovelace.hs
diff --git a/...c/Cardano/Chain/Common/LovelacePortion.hs → ...c/Cardano/Chain/Common/LovelacePortion.hs b/...c/Cardano/Chain/Common/LovelacePortion.hs → ...c/Cardano/Chain/Common/LovelacePortion.hs
diff --git a/...r/impl/src/Cardano/Chain/Common/Merkle.hs → ...r/impl/src/Cardano/Chain/Common/Merkle.hs b/...r/impl/src/Cardano/Chain/Common/Merkle.hs → ...r/impl/src/Cardano/Chain/Common/Merkle.hs
diff --git a/.../src/Cardano/Chain/Common/NetworkMagic.hs → .../src/Cardano/Chain/Common/NetworkMagic.hs b/.../src/Cardano/Chain/Common/NetworkMagic.hs → .../src/Cardano/Chain/Common/NetworkMagic.hs
diff --git a/...l/src/Cardano/Chain/Common/TxFeePolicy.hs → ...l/src/Cardano/Chain/Common/TxFeePolicy.hs b/...l/src/Cardano/Chain/Common/TxFeePolicy.hs → ...l/src/Cardano/Chain/Common/TxFeePolicy.hs
diff --git a/.../src/Cardano/Chain/Common/TxSizeLinear.hs → .../src/Cardano/Chain/Common/TxSizeLinear.hs b/.../src/Cardano/Chain/Common/TxSizeLinear.hs → .../src/Cardano/Chain/Common/TxSizeLinear.hs
diff --git a/...edger/impl/src/Cardano/Chain/Constants.hs → ...edger/impl/src/Cardano/Chain/Constants.hs b/...edger/impl/src/Cardano/Chain/Constants.hs → ...edger/impl/src/Cardano/Chain/Constants.hs
diff --git a/...dger/impl/src/Cardano/Chain/Delegation.hs → ...dger/impl/src/Cardano/Chain/Delegation.hs b/...dger/impl/src/Cardano/Chain/Delegation.hs → ...dger/impl/src/Cardano/Chain/Delegation.hs
diff --git a/...c/Cardano/Chain/Delegation/Certificate.hs → ...c/Cardano/Chain/Delegation/Certificate.hs b/...c/Cardano/Chain/Delegation/Certificate.hs → ...c/Cardano/Chain/Delegation/Certificate.hs
diff --git a/.../impl/src/Cardano/Chain/Delegation/Map.hs → .../impl/src/Cardano/Chain/Delegation/Map.hs b/.../impl/src/Cardano/Chain/Delegation/Map.hs → .../impl/src/Cardano/Chain/Delegation/Map.hs
diff --git a/...l/src/Cardano/Chain/Delegation/Payload.hs → ...l/src/Cardano/Chain/Delegation/Payload.hs b/...l/src/Cardano/Chain/Delegation/Payload.hs → ...l/src/Cardano/Chain/Delegation/Payload.hs
diff --git a/...Chain/Delegation/Validation/Activation.hs → ...Chain/Delegation/Validation/Activation.hs b/...Chain/Delegation/Validation/Activation.hs → ...Chain/Delegation/Validation/Activation.hs
diff --git a/.../Chain/Delegation/Validation/Interface.hs → .../Chain/Delegation/Validation/Interface.hs b/.../Chain/Delegation/Validation/Interface.hs → .../Chain/Delegation/Validation/Interface.hs
diff --git a/...Chain/Delegation/Validation/Scheduling.hs → ...Chain/Delegation/Validation/Scheduling.hs b/...Chain/Delegation/Validation/Scheduling.hs → ...Chain/Delegation/Validation/Scheduling.hs
diff --git a/...dger/impl/src/Cardano/Chain/Epoch/File.hs → ...dger/impl/src/Cardano/Chain/Epoch/File.hs b/...dger/impl/src/Cardano/Chain/Epoch/File.hs → ...dger/impl/src/Cardano/Chain/Epoch/File.hs
diff --git a/...mpl/src/Cardano/Chain/Epoch/Validation.hs → ...mpl/src/Cardano/Chain/Epoch/Validation.hs b/...mpl/src/Cardano/Chain/Epoch/Validation.hs → ...mpl/src/Cardano/Chain/Epoch/Validation.hs
diff --git a/.../ledger/impl/src/Cardano/Chain/Genesis.hs → .../ledger/impl/src/Cardano/Chain/Genesis.hs b/.../ledger/impl/src/Cardano/Chain/Genesis.hs → .../ledger/impl/src/Cardano/Chain/Genesis.hs
diff --git a/...src/Cardano/Chain/Genesis/AvvmBalances.hs → ...src/Cardano/Chain/Genesis/AvvmBalances.hs b/...src/Cardano/Chain/Genesis/AvvmBalances.hs → ...src/Cardano/Chain/Genesis/AvvmBalances.hs
diff --git a/.../impl/src/Cardano/Chain/Genesis/Config.hs → .../impl/src/Cardano/Chain/Genesis/Config.hs b/.../impl/src/Cardano/Chain/Genesis/Config.hs → .../impl/src/Cardano/Chain/Genesis/Config.hs
diff --git a/...er/impl/src/Cardano/Chain/Genesis/Data.hs → ...er/impl/src/Cardano/Chain/Genesis/Data.hs b/...er/impl/src/Cardano/Chain/Genesis/Data.hs → ...er/impl/src/Cardano/Chain/Genesis/Data.hs
diff --git a/...l/src/Cardano/Chain/Genesis/Delegation.hs → ...l/src/Cardano/Chain/Genesis/Delegation.hs b/...l/src/Cardano/Chain/Genesis/Delegation.hs → ...l/src/Cardano/Chain/Genesis/Delegation.hs
diff --git a/...mpl/src/Cardano/Chain/Genesis/Generate.hs → ...mpl/src/Cardano/Chain/Genesis/Generate.hs b/...mpl/src/Cardano/Chain/Genesis/Generate.hs → ...mpl/src/Cardano/Chain/Genesis/Generate.hs
diff --git a/...er/impl/src/Cardano/Chain/Genesis/Hash.hs → ...er/impl/src/Cardano/Chain/Genesis/Hash.hs b/...er/impl/src/Cardano/Chain/Genesis/Hash.hs → ...er/impl/src/Cardano/Chain/Genesis/Hash.hs
diff --git a/.../src/Cardano/Chain/Genesis/Initializer.hs → .../src/Cardano/Chain/Genesis/Initializer.hs b/.../src/Cardano/Chain/Genesis/Initializer.hs → .../src/Cardano/Chain/Genesis/Initializer.hs
diff --git a/...pl/src/Cardano/Chain/Genesis/KeyHashes.hs → ...pl/src/Cardano/Chain/Genesis/KeyHashes.hs b/...pl/src/Cardano/Chain/Genesis/KeyHashes.hs → ...pl/src/Cardano/Chain/Genesis/KeyHashes.hs
diff --git a/.../Cardano/Chain/Genesis/NonAvvmBalances.hs → .../Cardano/Chain/Genesis/NonAvvmBalances.hs b/.../Cardano/Chain/Genesis/NonAvvmBalances.hs → .../Cardano/Chain/Genesis/NonAvvmBalances.hs
diff --git a/...er/impl/src/Cardano/Chain/Genesis/Spec.hs → ...er/impl/src/Cardano/Chain/Genesis/Spec.hs b/...er/impl/src/Cardano/Chain/Genesis/Spec.hs → ...er/impl/src/Cardano/Chain/Genesis/Spec.hs
diff --git a/.../impl/src/Cardano/Chain/MempoolPayload.hs → .../impl/src/Cardano/Chain/MempoolPayload.hs b/.../impl/src/Cardano/Chain/MempoolPayload.hs → .../impl/src/Cardano/Chain/MempoolPayload.hs
diff --git a/...pl/src/Cardano/Chain/ProtocolConstants.hs → ...pl/src/Cardano/Chain/ProtocolConstants.hs b/...pl/src/Cardano/Chain/ProtocolConstants.hs → ...pl/src/Cardano/Chain/ProtocolConstants.hs
diff --git a/...ledger/impl/src/Cardano/Chain/Slotting.hs → ...ledger/impl/src/Cardano/Chain/Slotting.hs b/...ledger/impl/src/Cardano/Chain/Slotting.hs → ...ledger/impl/src/Cardano/Chain/Slotting.hs
diff --git a/...rdano/Chain/Slotting/EpochAndSlotCount.hs → ...rdano/Chain/Slotting/EpochAndSlotCount.hs b/...rdano/Chain/Slotting/EpochAndSlotCount.hs → ...rdano/Chain/Slotting/EpochAndSlotCount.hs
diff --git a/...src/Cardano/Chain/Slotting/EpochNumber.hs → ...src/Cardano/Chain/Slotting/EpochNumber.hs b/...src/Cardano/Chain/Slotting/EpochNumber.hs → ...src/Cardano/Chain/Slotting/EpochNumber.hs
diff --git a/.../src/Cardano/Chain/Slotting/EpochSlots.hs → .../src/Cardano/Chain/Slotting/EpochSlots.hs b/.../src/Cardano/Chain/Slotting/EpochSlots.hs → .../src/Cardano/Chain/Slotting/EpochSlots.hs
diff --git a/...l/src/Cardano/Chain/Slotting/SlotCount.hs → ...l/src/Cardano/Chain/Slotting/SlotCount.hs b/...l/src/Cardano/Chain/Slotting/SlotCount.hs → ...l/src/Cardano/Chain/Slotting/SlotCount.hs
diff --git a/.../src/Cardano/Chain/Slotting/SlotNumber.hs → .../src/Cardano/Chain/Slotting/SlotNumber.hs b/.../src/Cardano/Chain/Slotting/SlotNumber.hs → .../src/Cardano/Chain/Slotting/SlotNumber.hs
diff --git a/byron/ledger/impl/src/Cardano/Chain/Ssc.hs → ...yron/ledger/impl/src/Cardano/Chain/Ssc.hs b/byron/ledger/impl/src/Cardano/Chain/Ssc.hs → ...yron/ledger/impl/src/Cardano/Chain/Ssc.hs
diff --git a/byron/ledger/impl/src/Cardano/Chain/UTxO.hs → ...ron/ledger/impl/src/Cardano/Chain/UTxO.hs b/byron/ledger/impl/src/Cardano/Chain/UTxO.hs → ...ron/ledger/impl/src/Cardano/Chain/UTxO.hs
diff --git a/...er/impl/src/Cardano/Chain/UTxO/Compact.hs → ...er/impl/src/Cardano/Chain/UTxO/Compact.hs b/...er/impl/src/Cardano/Chain/UTxO/Compact.hs → ...er/impl/src/Cardano/Chain/UTxO/Compact.hs
diff --git a/...mpl/src/Cardano/Chain/UTxO/GenesisUTxO.hs → ...mpl/src/Cardano/Chain/UTxO/GenesisUTxO.hs b/...mpl/src/Cardano/Chain/UTxO/GenesisUTxO.hs → ...mpl/src/Cardano/Chain/UTxO/GenesisUTxO.hs
diff --git a/.../ledger/impl/src/Cardano/Chain/UTxO/Tx.hs → .../ledger/impl/src/Cardano/Chain/UTxO/Tx.hs b/.../ledger/impl/src/Cardano/Chain/UTxO/Tx.hs → .../ledger/impl/src/Cardano/Chain/UTxO/Tx.hs
diff --git a/...dger/impl/src/Cardano/Chain/UTxO/TxAux.hs → ...dger/impl/src/Cardano/Chain/UTxO/TxAux.hs b/...dger/impl/src/Cardano/Chain/UTxO/TxAux.hs → ...dger/impl/src/Cardano/Chain/UTxO/TxAux.hs
diff --git a/.../impl/src/Cardano/Chain/UTxO/TxPayload.hs → .../impl/src/Cardano/Chain/UTxO/TxPayload.hs b/.../impl/src/Cardano/Chain/UTxO/TxPayload.hs → .../impl/src/Cardano/Chain/UTxO/TxPayload.hs
diff --git a/...er/impl/src/Cardano/Chain/UTxO/TxProof.hs → ...er/impl/src/Cardano/Chain/UTxO/TxProof.hs b/...er/impl/src/Cardano/Chain/UTxO/TxProof.hs → ...er/impl/src/Cardano/Chain/UTxO/TxProof.hs
diff --git a/.../impl/src/Cardano/Chain/UTxO/TxWitness.hs → .../impl/src/Cardano/Chain/UTxO/TxWitness.hs b/.../impl/src/Cardano/Chain/UTxO/TxWitness.hs → .../impl/src/Cardano/Chain/UTxO/TxWitness.hs
diff --git a/...edger/impl/src/Cardano/Chain/UTxO/UTxO.hs → ...edger/impl/src/Cardano/Chain/UTxO/UTxO.hs b/...edger/impl/src/Cardano/Chain/UTxO/UTxO.hs → ...edger/impl/src/Cardano/Chain/UTxO/UTxO.hs
diff --git a/...c/Cardano/Chain/UTxO/UTxOConfiguration.hs → ...c/Cardano/Chain/UTxO/UTxOConfiguration.hs b/...c/Cardano/Chain/UTxO/UTxOConfiguration.hs → ...c/Cardano/Chain/UTxO/UTxOConfiguration.hs