Move shelley/chain-and-ledger/executable-spec -> shelley/impl and…

… `shelley/chain-and-ledger/shelley-spec-ledger-test` -> shelley/test-suite`
IntersectMBO · Sep 23, 2021 · d00e362 · d00e362
1 parent 1d2d063
commit d00e362
Show file tree

Hide file tree

Showing 154 changed files with 2 additions and 2 deletions.
diff --git a/cabal.project b/cabal.project
@@ -17,8 +17,8 @@ packages:
   libraries/small-steps
   libraries/small-steps-test
   shelley/chain-and-ledger/dependencies/non-integer
-  shelley/chain-and-ledger/executable-spec
-  shelley/chain-and-ledger/shelley-spec-ledger-test
+  shelley/impl
+  shelley/test-suite
   shelley-ma/impl
   shelley-ma/test-suite
 

diff --git a/...y/chain-and-ledger/executable-spec/.ghcid → shelley/impl/.ghcid b/...y/chain-and-ledger/executable-spec/.ghcid → shelley/impl/.ghcid
diff --git a/...chain-and-ledger/executable-spec/Setup.hs → shelley/impl/Setup.hs b/...chain-and-ledger/executable-spec/Setup.hs → shelley/impl/Setup.hs
diff --git a/...executable-spec/shelley-spec-ledger.cabal → shelley/impl/shelley-spec-ledger.cabal b/...executable-spec/shelley-spec-ledger.cabal → shelley/impl/shelley-spec-ledger.cabal
diff --git a/...cutable-spec/src/Cardano/Ledger/Pretty.hs → shelley/impl/src/Cardano/Ledger/Pretty.hs b/...cutable-spec/src/Cardano/Ledger/Pretty.hs → shelley/impl/src/Cardano/Ledger/Pretty.hs
diff --git a/...utable-spec/src/Cardano/Ledger/Shelley.hs → shelley/impl/src/Cardano/Ledger/Shelley.hs b/...utable-spec/src/Cardano/Ledger/Shelley.hs → shelley/impl/src/Cardano/Ledger/Shelley.hs
diff --git a/...src/Cardano/Ledger/Shelley/Constraints.hs → ...src/Cardano/Ledger/Shelley/Constraints.hs b/...src/Cardano/Ledger/Shelley/Constraints.hs → ...src/Cardano/Ledger/Shelley/Constraints.hs
diff --git a/...table-spec/src/Shelley/Spec/Ledger/API.hs → shelley/impl/src/Shelley/Spec/Ledger/API.hs b/...table-spec/src/Shelley/Spec/Ledger/API.hs → shelley/impl/src/Shelley/Spec/Ledger/API.hs
diff --git a/...elley/Spec/Ledger/API/ByronTranslation.hs → ...elley/Spec/Ledger/API/ByronTranslation.hs b/...elley/Spec/Ledger/API/ByronTranslation.hs → ...elley/Spec/Ledger/API/ByronTranslation.hs
diff --git a/...ec/src/Shelley/Spec/Ledger/API/Genesis.hs → ...pl/src/Shelley/Spec/Ledger/API/Genesis.hs b/...ec/src/Shelley/Spec/Ledger/API/Genesis.hs → ...pl/src/Shelley/Spec/Ledger/API/Genesis.hs
diff --git a/...ec/src/Shelley/Spec/Ledger/API/Mempool.hs → ...pl/src/Shelley/Spec/Ledger/API/Mempool.hs b/...ec/src/Shelley/Spec/Ledger/API/Mempool.hs → ...pl/src/Shelley/Spec/Ledger/API/Mempool.hs
diff --git a/...c/src/Shelley/Spec/Ledger/API/Protocol.hs → ...l/src/Shelley/Spec/Ledger/API/Protocol.hs b/...c/src/Shelley/Spec/Ledger/API/Protocol.hs → ...l/src/Shelley/Spec/Ledger/API/Protocol.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/API/Types.hs → ...impl/src/Shelley/Spec/Ledger/API/Types.hs b/...spec/src/Shelley/Spec/Ledger/API/Types.hs → ...impl/src/Shelley/Spec/Ledger/API/Types.hs
diff --git a/...src/Shelley/Spec/Ledger/API/Validation.hs → ...src/Shelley/Spec/Ledger/API/Validation.hs b/...src/Shelley/Spec/Ledger/API/Validation.hs → ...src/Shelley/Spec/Ledger/API/Validation.hs
diff --git a/...pec/src/Shelley/Spec/Ledger/API/Wallet.hs → ...mpl/src/Shelley/Spec/Ledger/API/Wallet.hs b/...pec/src/Shelley/Spec/Ledger/API/Wallet.hs → ...mpl/src/Shelley/Spec/Ledger/API/Wallet.hs
diff --git a/...e-spec/src/Shelley/Spec/Ledger/Address.hs → ...y/impl/src/Shelley/Spec/Ledger/Address.hs b/...e-spec/src/Shelley/Spec/Ledger/Address.hs → ...y/impl/src/Shelley/Spec/Ledger/Address.hs
diff --git a/.../Shelley/Spec/Ledger/Address/Bootstrap.hs → .../Shelley/Spec/Ledger/Address/Bootstrap.hs b/.../Shelley/Spec/Ledger/Address/Bootstrap.hs → .../Shelley/Spec/Ledger/Address/Bootstrap.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/BaseTypes.hs → ...impl/src/Shelley/Spec/Ledger/BaseTypes.hs b/...spec/src/Shelley/Spec/Ledger/BaseTypes.hs → ...impl/src/Shelley/Spec/Ledger/BaseTypes.hs
diff --git a/...pec/src/Shelley/Spec/Ledger/BlockChain.hs → ...mpl/src/Shelley/Spec/Ledger/BlockChain.hs b/...pec/src/Shelley/Spec/Ledger/BlockChain.hs → ...mpl/src/Shelley/Spec/Ledger/BlockChain.hs
diff --git a/...ec/src/Shelley/Spec/Ledger/CompactAddr.hs → ...pl/src/Shelley/Spec/Ledger/CompactAddr.hs b/...ec/src/Shelley/Spec/Ledger/CompactAddr.hs → ...pl/src/Shelley/Spec/Ledger/CompactAddr.hs
diff --git a/...pec/src/Shelley/Spec/Ledger/Credential.hs → ...mpl/src/Shelley/Spec/Ledger/Credential.hs b/...pec/src/Shelley/Spec/Ledger/Credential.hs → ...mpl/src/Shelley/Spec/Ledger/Credential.hs
diff --git a/...ey/Spec/Ledger/Delegation/Certificates.hs → ...ey/Spec/Ledger/Delegation/Certificates.hs b/...ey/Spec/Ledger/Delegation/Certificates.hs → ...ey/Spec/Ledger/Delegation/Certificates.hs
diff --git a/...lley/Spec/Ledger/Delegation/PoolParams.hs → ...lley/Spec/Ledger/Delegation/PoolParams.hs b/...lley/Spec/Ledger/Delegation/PoolParams.hs → ...lley/Spec/Ledger/Delegation/PoolParams.hs
diff --git a/.../src/Shelley/Spec/Ledger/EpochBoundary.hs → .../src/Shelley/Spec/Ledger/EpochBoundary.hs b/.../src/Shelley/Spec/Ledger/EpochBoundary.hs → .../src/Shelley/Spec/Ledger/EpochBoundary.hs
diff --git a/...e-spec/src/Shelley/Spec/Ledger/Genesis.hs → ...y/impl/src/Shelley/Spec/Ledger/Genesis.hs b/...e-spec/src/Shelley/Spec/Ledger/Genesis.hs → ...y/impl/src/Shelley/Spec/Ledger/Genesis.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/HardForks.hs → ...impl/src/Shelley/Spec/Ledger/HardForks.hs b/...spec/src/Shelley/Spec/Ledger/HardForks.hs → ...impl/src/Shelley/Spec/Ledger/HardForks.hs
diff --git a/...able-spec/src/Shelley/Spec/Ledger/Keys.hs → shelley/impl/src/Shelley/Spec/Ledger/Keys.hs b/...able-spec/src/Shelley/Spec/Ledger/Keys.hs → shelley/impl/src/Shelley/Spec/Ledger/Keys.hs
diff --git a/...ec/src/Shelley/Spec/Ledger/LedgerState.hs → ...pl/src/Shelley/Spec/Ledger/LedgerState.hs b/...ec/src/Shelley/Spec/Ledger/LedgerState.hs → ...pl/src/Shelley/Spec/Ledger/LedgerState.hs
diff --git a/...-spec/src/Shelley/Spec/Ledger/Metadata.hs → .../impl/src/Shelley/Spec/Ledger/Metadata.hs b/...-spec/src/Shelley/Spec/Ledger/Metadata.hs → .../impl/src/Shelley/Spec/Ledger/Metadata.hs
diff --git a/...ble-spec/src/Shelley/Spec/Ledger/OCert.hs → ...ley/impl/src/Shelley/Spec/Ledger/OCert.hs b/...ble-spec/src/Shelley/Spec/Ledger/OCert.hs → ...ley/impl/src/Shelley/Spec/Ledger/OCert.hs
diff --git a/...e-spec/src/Shelley/Spec/Ledger/Orphans.hs → ...y/impl/src/Shelley/Spec/Ledger/Orphans.hs b/...e-spec/src/Shelley/Spec/Ledger/Orphans.hs → ...y/impl/src/Shelley/Spec/Ledger/Orphans.hs
diff --git a/...rc/Shelley/Spec/Ledger/OverlaySchedule.hs → ...rc/Shelley/Spec/Ledger/OverlaySchedule.hs b/...rc/Shelley/Spec/Ledger/OverlaySchedule.hs → ...rc/Shelley/Spec/Ledger/OverlaySchedule.hs
diff --git a/...e-spec/src/Shelley/Spec/Ledger/PParams.hs → ...y/impl/src/Shelley/Spec/Ledger/PParams.hs b/...e-spec/src/Shelley/Spec/Ledger/PParams.hs → ...y/impl/src/Shelley/Spec/Ledger/PParams.hs
diff --git a/...c/Shelley/Spec/Ledger/RewardProvenance.hs → ...c/Shelley/Spec/Ledger/RewardProvenance.hs b/...c/Shelley/Spec/Ledger/RewardProvenance.hs → ...c/Shelley/Spec/Ledger/RewardProvenance.hs
diff --git a/...c/src/Shelley/Spec/Ledger/RewardUpdate.hs → ...l/src/Shelley/Spec/Ledger/RewardUpdate.hs b/...c/src/Shelley/Spec/Ledger/RewardUpdate.hs → ...l/src/Shelley/Spec/Ledger/RewardUpdate.hs
diff --git a/...e-spec/src/Shelley/Spec/Ledger/Rewards.hs → ...y/impl/src/Shelley/Spec/Ledger/Rewards.hs b/...e-spec/src/Shelley/Spec/Ledger/Rewards.hs → ...y/impl/src/Shelley/Spec/Ledger/Rewards.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/STS/Bbody.hs → ...impl/src/Shelley/Spec/Ledger/STS/Bbody.hs b/...spec/src/Shelley/Spec/Ledger/STS/Bbody.hs → ...impl/src/Shelley/Spec/Ledger/STS/Bbody.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/STS/Chain.hs → ...impl/src/Shelley/Spec/Ledger/STS/Chain.hs b/...spec/src/Shelley/Spec/Ledger/STS/Chain.hs → ...impl/src/Shelley/Spec/Ledger/STS/Chain.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/STS/Deleg.hs → ...impl/src/Shelley/Spec/Ledger/STS/Deleg.hs b/...spec/src/Shelley/Spec/Ledger/STS/Deleg.hs → ...impl/src/Shelley/Spec/Ledger/STS/Deleg.hs
diff --git a/...pec/src/Shelley/Spec/Ledger/STS/Delegs.hs → ...mpl/src/Shelley/Spec/Ledger/STS/Delegs.hs b/...pec/src/Shelley/Spec/Ledger/STS/Delegs.hs → ...mpl/src/Shelley/Spec/Ledger/STS/Delegs.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/STS/Delpl.hs → ...impl/src/Shelley/Spec/Ledger/STS/Delpl.hs b/...spec/src/Shelley/Spec/Ledger/STS/Delpl.hs → ...impl/src/Shelley/Spec/Ledger/STS/Delpl.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/STS/Epoch.hs → ...impl/src/Shelley/Spec/Ledger/STS/Epoch.hs b/...spec/src/Shelley/Spec/Ledger/STS/Epoch.hs → ...impl/src/Shelley/Spec/Ledger/STS/Epoch.hs
diff --git a/...src/Shelley/Spec/Ledger/STS/EraMapping.hs → ...src/Shelley/Spec/Ledger/STS/EraMapping.hs b/...src/Shelley/Spec/Ledger/STS/EraMapping.hs → ...src/Shelley/Spec/Ledger/STS/EraMapping.hs
diff --git a/...pec/src/Shelley/Spec/Ledger/STS/Ledger.hs → ...mpl/src/Shelley/Spec/Ledger/STS/Ledger.hs b/...pec/src/Shelley/Spec/Ledger/STS/Ledger.hs → ...mpl/src/Shelley/Spec/Ledger/STS/Ledger.hs
diff --git a/...ec/src/Shelley/Spec/Ledger/STS/Ledgers.hs → ...pl/src/Shelley/Spec/Ledger/STS/Ledgers.hs b/...ec/src/Shelley/Spec/Ledger/STS/Ledgers.hs → ...pl/src/Shelley/Spec/Ledger/STS/Ledgers.hs
diff --git a/...e-spec/src/Shelley/Spec/Ledger/STS/Mir.hs → ...y/impl/src/Shelley/Spec/Ledger/STS/Mir.hs b/...e-spec/src/Shelley/Spec/Ledger/STS/Mir.hs → ...y/impl/src/Shelley/Spec/Ledger/STS/Mir.hs
diff --git a/...c/src/Shelley/Spec/Ledger/STS/NewEpoch.hs → ...l/src/Shelley/Spec/Ledger/STS/NewEpoch.hs b/...c/src/Shelley/Spec/Ledger/STS/NewEpoch.hs → ...l/src/Shelley/Spec/Ledger/STS/NewEpoch.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/STS/Newpp.hs → ...impl/src/Shelley/Spec/Ledger/STS/Newpp.hs b/...spec/src/Shelley/Spec/Ledger/STS/Newpp.hs → ...impl/src/Shelley/Spec/Ledger/STS/Newpp.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/STS/Ocert.hs → ...impl/src/Shelley/Spec/Ledger/STS/Ocert.hs b/...spec/src/Shelley/Spec/Ledger/STS/Ocert.hs → ...impl/src/Shelley/Spec/Ledger/STS/Ocert.hs
diff --git a/...ec/src/Shelley/Spec/Ledger/STS/Overlay.hs → ...pl/src/Shelley/Spec/Ledger/STS/Overlay.hs b/...ec/src/Shelley/Spec/Ledger/STS/Overlay.hs → ...pl/src/Shelley/Spec/Ledger/STS/Overlay.hs
diff --git a/...-spec/src/Shelley/Spec/Ledger/STS/Pool.hs → .../impl/src/Shelley/Spec/Ledger/STS/Pool.hs b/...-spec/src/Shelley/Spec/Ledger/STS/Pool.hs → .../impl/src/Shelley/Spec/Ledger/STS/Pool.hs
diff --git a/...c/src/Shelley/Spec/Ledger/STS/PoolReap.hs → ...l/src/Shelley/Spec/Ledger/STS/PoolReap.hs b/...c/src/Shelley/Spec/Ledger/STS/PoolReap.hs → ...l/src/Shelley/Spec/Ledger/STS/PoolReap.hs
diff --git a/...-spec/src/Shelley/Spec/Ledger/STS/Ppup.hs → .../impl/src/Shelley/Spec/Ledger/STS/Ppup.hs b/...-spec/src/Shelley/Spec/Ledger/STS/Ppup.hs → .../impl/src/Shelley/Spec/Ledger/STS/Ppup.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/STS/Prtcl.hs → ...impl/src/Shelley/Spec/Ledger/STS/Prtcl.hs b/...spec/src/Shelley/Spec/Ledger/STS/Prtcl.hs → ...impl/src/Shelley/Spec/Ledger/STS/Prtcl.hs
diff --git a/...-spec/src/Shelley/Spec/Ledger/STS/Rupd.hs → .../impl/src/Shelley/Spec/Ledger/STS/Rupd.hs b/...-spec/src/Shelley/Spec/Ledger/STS/Rupd.hs → .../impl/src/Shelley/Spec/Ledger/STS/Rupd.hs
diff --git a/...-spec/src/Shelley/Spec/Ledger/STS/Snap.hs → .../impl/src/Shelley/Spec/Ledger/STS/Snap.hs b/...-spec/src/Shelley/Spec/Ledger/STS/Snap.hs → .../impl/src/Shelley/Spec/Ledger/STS/Snap.hs
diff --git a/...-spec/src/Shelley/Spec/Ledger/STS/Tick.hs → .../impl/src/Shelley/Spec/Ledger/STS/Tick.hs b/...-spec/src/Shelley/Spec/Ledger/STS/Tick.hs → .../impl/src/Shelley/Spec/Ledger/STS/Tick.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/STS/Tickn.hs → ...impl/src/Shelley/Spec/Ledger/STS/Tickn.hs b/...spec/src/Shelley/Spec/Ledger/STS/Tickn.hs → ...impl/src/Shelley/Spec/Ledger/STS/Tickn.hs
diff --git a/...-spec/src/Shelley/Spec/Ledger/STS/Updn.hs → .../impl/src/Shelley/Spec/Ledger/STS/Updn.hs b/...-spec/src/Shelley/Spec/Ledger/STS/Updn.hs → .../impl/src/Shelley/Spec/Ledger/STS/Updn.hs
diff --git a/...-spec/src/Shelley/Spec/Ledger/STS/Upec.hs → .../impl/src/Shelley/Spec/Ledger/STS/Upec.hs b/...-spec/src/Shelley/Spec/Ledger/STS/Upec.hs → .../impl/src/Shelley/Spec/Ledger/STS/Upec.hs
diff --git a/...-spec/src/Shelley/Spec/Ledger/STS/Utxo.hs → .../impl/src/Shelley/Spec/Ledger/STS/Utxo.hs b/...-spec/src/Shelley/Spec/Ledger/STS/Utxo.hs → .../impl/src/Shelley/Spec/Ledger/STS/Utxo.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/STS/Utxow.hs → ...impl/src/Shelley/Spec/Ledger/STS/Utxow.hs b/...spec/src/Shelley/Spec/Ledger/STS/Utxow.hs → ...impl/src/Shelley/Spec/Ledger/STS/Utxow.hs
diff --git a/...e-spec/src/Shelley/Spec/Ledger/Scripts.hs → ...y/impl/src/Shelley/Spec/Ledger/Scripts.hs b/...e-spec/src/Shelley/Spec/Ledger/Scripts.hs → ...y/impl/src/Shelley/Spec/Ledger/Scripts.hs
diff --git a/.../src/Shelley/Spec/Ledger/Serialization.hs → .../src/Shelley/Spec/Ledger/Serialization.hs b/.../src/Shelley/Spec/Ledger/Serialization.hs → .../src/Shelley/Spec/Ledger/Serialization.hs
diff --git a/...able-spec/src/Shelley/Spec/Ledger/Slot.hs → shelley/impl/src/Shelley/Spec/Ledger/Slot.hs b/...able-spec/src/Shelley/Spec/Ledger/Slot.hs → shelley/impl/src/Shelley/Spec/Ledger/Slot.hs
diff --git a/...spec/src/Shelley/Spec/Ledger/SoftForks.hs → ...impl/src/Shelley/Spec/Ledger/SoftForks.hs b/...spec/src/Shelley/Spec/Ledger/SoftForks.hs → ...impl/src/Shelley/Spec/Ledger/SoftForks.hs
diff --git a/...rc/Shelley/Spec/Ledger/StabilityWindow.hs → ...rc/Shelley/Spec/Ledger/StabilityWindow.hs b/...rc/Shelley/Spec/Ledger/StabilityWindow.hs → ...rc/Shelley/Spec/Ledger/StabilityWindow.hs
diff --git a/...utable-spec/src/Shelley/Spec/Ledger/Tx.hs → shelley/impl/src/Shelley/Spec/Ledger/Tx.hs b/...utable-spec/src/Shelley/Spec/Ledger/Tx.hs → shelley/impl/src/Shelley/Spec/Ledger/Tx.hs
diff --git a/...le-spec/src/Shelley/Spec/Ledger/TxBody.hs → ...ey/impl/src/Shelley/Spec/Ledger/TxBody.hs b/...le-spec/src/Shelley/Spec/Ledger/TxBody.hs → ...ey/impl/src/Shelley/Spec/Ledger/TxBody.hs
diff --git a/...able-spec/src/Shelley/Spec/Ledger/UTxO.hs → shelley/impl/src/Shelley/Spec/Ledger/UTxO.hs b/...able-spec/src/Shelley/Spec/Ledger/UTxO.hs → shelley/impl/src/Shelley/Spec/Ledger/UTxO.hs
diff --git a/...nd-ledger/shelley-spec-ledger-test/.ghcid → shelley/test-suite/.ghcid b/...nd-ledger/shelley-spec-ledger-test/.ghcid → shelley/test-suite/.ghcid
diff --git a/...-ledger/shelley-spec-ledger-test/Setup.hs → shelley/test-suite/Setup.hs b/...-ledger/shelley-spec-ledger-test/Setup.hs → shelley/test-suite/Setup.hs
diff --git a/...Bench/Control/Iterate/SetAlgebra/Bimap.hs → ...Bench/Control/Iterate/SetAlgebra/Bimap.hs b/...Bench/Control/Iterate/SetAlgebra/Bimap.hs → ...Bench/Control/Iterate/SetAlgebra/Bimap.hs
diff --git a/...c-ledger-test/bench/BenchUTxOAggregate.hs → ...ey/test-suite/bench/BenchUTxOAggregate.hs b/...c-ledger-test/bench/BenchUTxOAggregate.hs → ...ey/test-suite/bench/BenchUTxOAggregate.hs
diff --git a/...spec-ledger-test/bench/BenchValidation.hs → shelley/test-suite/bench/BenchValidation.hs b/...spec-ledger-test/bench/BenchValidation.hs → shelley/test-suite/bench/BenchValidation.hs
diff --git a/...er/shelley-spec-ledger-test/bench/Main.hs → shelley/test-suite/bench/Main.hs b/...er/shelley-spec-ledger-test/bench/Main.hs → shelley/test-suite/bench/Main.hs
diff --git a/.../shelley-spec-ledger-test/bench/README.md → shelley/test-suite/bench/README.md b/.../shelley-spec-ledger-test/bench/README.md → shelley/test-suite/bench/README.md
diff --git a/...st/bench/Shelley/Spec/Ledger/Bench/Gen.hs → ...te/bench/Shelley/Spec/Ledger/Bench/Gen.hs b/...st/bench/Shelley/Spec/Ledger/Bench/Gen.hs → ...te/bench/Shelley/Spec/Ledger/Bench/Gen.hs
diff --git a/...ench/Shelley/Spec/Ledger/Bench/Rewards.hs → ...ench/Shelley/Spec/Ledger/Bench/Rewards.hs b/...ench/Shelley/Spec/Ledger/Bench/Rewards.hs → ...ench/Shelley/Spec/Ledger/Bench/Rewards.hs
diff --git a/...c-ledger-test/cddl-files/mock/crypto.cddl → ...ey/test-suite/cddl-files/mock/crypto.cddl b/...c-ledger-test/cddl-files/mock/crypto.cddl → ...ey/test-suite/cddl-files/mock/crypto.cddl
diff --git a/...c-ledger-test/cddl-files/mock/extras.cddl → ...ey/test-suite/cddl-files/mock/extras.cddl b/...c-ledger-test/cddl-files/mock/extras.cddl → ...ey/test-suite/cddl-files/mock/extras.cddl
diff --git a/...c-ledger-test/cddl-files/real/crypto.cddl → ...ey/test-suite/cddl-files/real/crypto.cddl b/...c-ledger-test/cddl-files/real/crypto.cddl → ...ey/test-suite/cddl-files/real/crypto.cddl
diff --git a/...c-ledger-test/cddl-files/real/extras.cddl → ...ey/test-suite/cddl-files/real/extras.cddl b/...c-ledger-test/cddl-files/real/extras.cddl → ...ey/test-suite/cddl-files/real/extras.cddl
diff --git a/...-spec-ledger-test/cddl-files/shelley.cddl → shelley/test-suite/cddl-files/shelley.cddl b/...-spec-ledger-test/cddl-files/shelley.cddl → shelley/test-suite/cddl-files/shelley.cddl
diff --git a/...edger-test/shelley-spec-ledger-test.cabal → ...test-suite/shelley-spec-ledger-test.cabal b/...edger-test/shelley-spec-ledger-test.cabal → ...test-suite/shelley-spec-ledger-test.cabal
diff --git a/...-test/src/Test/Cardano/Crypto/VRF/Fake.hs → ...suite/src/Test/Cardano/Crypto/VRF/Fake.hs b/...-test/src/Test/Cardano/Crypto/VRF/Fake.hs → ...suite/src/Test/Cardano/Crypto/VRF/Fake.hs
diff --git a/...Shelley/Spec/Ledger/BenchmarkFunctions.hs → ...Shelley/Spec/Ledger/BenchmarkFunctions.hs b/...Shelley/Spec/Ledger/BenchmarkFunctions.hs → ...Shelley/Spec/Ledger/BenchmarkFunctions.hs
diff --git a/...helley/Spec/Ledger/ConcreteCryptoTypes.hs → ...helley/Spec/Ledger/ConcreteCryptoTypes.hs b/...helley/Spec/Ledger/ConcreteCryptoTypes.hs → ...helley/Spec/Ledger/ConcreteCryptoTypes.hs
diff --git a/...Shelley/Spec/Ledger/Examples/Consensus.hs → ...Shelley/Spec/Ledger/Examples/Consensus.hs b/...Shelley/Spec/Ledger/Examples/Consensus.hs → ...Shelley/Spec/Ledger/Examples/Consensus.hs
diff --git a/...st/Shelley/Spec/Ledger/Generator/Block.hs → ...st/Shelley/Spec/Ledger/Generator/Block.hs b/...st/Shelley/Spec/Ledger/Generator/Block.hs → ...st/Shelley/Spec/Ledger/Generator/Block.hs
diff --git a/...helley/Spec/Ledger/Generator/Constants.hs → ...helley/Spec/Ledger/Generator/Constants.hs b/...helley/Spec/Ledger/Generator/Constants.hs → ...helley/Spec/Ledger/Generator/Constants.hs
diff --git a/...est/Shelley/Spec/Ledger/Generator/Core.hs → ...est/Shelley/Spec/Ledger/Generator/Core.hs b/...est/Shelley/Spec/Ledger/Generator/Core.hs → ...est/Shelley/Spec/Ledger/Generator/Core.hs
diff --git a/...elley/Spec/Ledger/Generator/Delegation.hs → ...elley/Spec/Ledger/Generator/Delegation.hs b/...elley/Spec/Ledger/Generator/Delegation.hs → ...elley/Spec/Ledger/Generator/Delegation.hs
diff --git a/...t/Shelley/Spec/Ledger/Generator/EraGen.hs → ...t/Shelley/Spec/Ledger/Generator/EraGen.hs b/...t/Shelley/Spec/Ledger/Generator/EraGen.hs → ...t/Shelley/Spec/Ledger/Generator/EraGen.hs
diff --git a/...Shelley/Spec/Ledger/Generator/Metadata.hs → ...Shelley/Spec/Ledger/Generator/Metadata.hs b/...Shelley/Spec/Ledger/Generator/Metadata.hs → ...Shelley/Spec/Ledger/Generator/Metadata.hs
diff --git a/.../Shelley/Spec/Ledger/Generator/Presets.hs → .../Shelley/Spec/Ledger/Generator/Presets.hs b/.../Shelley/Spec/Ledger/Generator/Presets.hs → .../Shelley/Spec/Ledger/Generator/Presets.hs
diff --git a/...lley/Spec/Ledger/Generator/ScriptClass.hs → ...lley/Spec/Ledger/Generator/ScriptClass.hs b/...lley/Spec/Ledger/Generator/ScriptClass.hs → ...lley/Spec/Ledger/Generator/ScriptClass.hs
diff --git a/...ey/Spec/Ledger/Generator/ShelleyEraGen.hs → ...ey/Spec/Ledger/Generator/ShelleyEraGen.hs b/...ey/Spec/Ledger/Generator/ShelleyEraGen.hs → ...ey/Spec/Ledger/Generator/ShelleyEraGen.hs
diff --git a/...lley/Spec/Ledger/Generator/Trace/Chain.hs → ...lley/Spec/Ledger/Generator/Trace/Chain.hs b/...lley/Spec/Ledger/Generator/Trace/Chain.hs → ...lley/Spec/Ledger/Generator/Trace/Chain.hs
diff --git a/...lley/Spec/Ledger/Generator/Trace/DCert.hs → ...lley/Spec/Ledger/Generator/Trace/DCert.hs b/...lley/Spec/Ledger/Generator/Trace/DCert.hs → ...lley/Spec/Ledger/Generator/Trace/DCert.hs
diff --git a/...ley/Spec/Ledger/Generator/Trace/Ledger.hs → ...ley/Spec/Ledger/Generator/Trace/Ledger.hs b/...ley/Spec/Ledger/Generator/Trace/Ledger.hs → ...ley/Spec/Ledger/Generator/Trace/Ledger.hs
diff --git a/...t/Shelley/Spec/Ledger/Generator/Update.hs → ...t/Shelley/Spec/Ledger/Generator/Update.hs b/...t/Shelley/Spec/Ledger/Generator/Update.hs → ...t/Shelley/Spec/Ledger/Generator/Update.hs
diff --git a/...est/Shelley/Spec/Ledger/Generator/Utxo.hs → ...est/Shelley/Spec/Ledger/Generator/Utxo.hs b/...est/Shelley/Spec/Ledger/Generator/Utxo.hs → ...est/Shelley/Spec/Ledger/Generator/Utxo.hs
diff --git a/...t/src/Test/Shelley/Spec/Ledger/Orphans.hs → ...e/src/Test/Shelley/Spec/Ledger/Orphans.hs b/...t/src/Test/Shelley/Spec/Ledger/Orphans.hs → ...e/src/Test/Shelley/Spec/Ledger/Orphans.hs
diff --git a/...ey/Spec/Ledger/Serialisation/CDDLUtils.hs → ...ey/Spec/Ledger/Serialisation/CDDLUtils.hs b/...ey/Spec/Ledger/Serialisation/CDDLUtils.hs → ...ey/Spec/Ledger/Serialisation/CDDLUtils.hs
diff --git a/...edger/Serialisation/EraIndepGenerators.hs → ...edger/Serialisation/EraIndepGenerators.hs b/...edger/Serialisation/EraIndepGenerators.hs → ...edger/Serialisation/EraIndepGenerators.hs
diff --git a/...y/Spec/Ledger/Serialisation/Generators.hs → ...y/Spec/Ledger/Serialisation/Generators.hs b/...y/Spec/Ledger/Serialisation/Generators.hs → ...y/Spec/Ledger/Serialisation/Generators.hs
diff --git a/...ger/Serialisation/Generators/Bootstrap.hs → ...ger/Serialisation/Generators/Bootstrap.hs b/...ger/Serialisation/Generators/Bootstrap.hs → ...ger/Serialisation/Generators/Bootstrap.hs
diff --git a/...edger/Serialisation/Generators/Genesis.hs → ...edger/Serialisation/Generators/Genesis.hs b/...edger/Serialisation/Generators/Genesis.hs → ...edger/Serialisation/Generators/Genesis.hs
diff --git a/.../Spec/Ledger/Serialisation/GoldenUtils.hs → .../Spec/Ledger/Serialisation/GoldenUtils.hs b/.../Spec/Ledger/Serialisation/GoldenUtils.hs → .../Spec/Ledger/Serialisation/GoldenUtils.hs
diff --git a/...src/Test/Shelley/Spec/Ledger/Shrinkers.hs → ...src/Test/Shelley/Spec/Ledger/Shrinkers.hs b/...src/Test/Shelley/Spec/Ledger/Shrinkers.hs → ...src/Test/Shelley/Spec/Ledger/Shrinkers.hs
diff --git a/...est/src/Test/Shelley/Spec/Ledger/Utils.hs → ...ite/src/Test/Shelley/Spec/Ledger/Utils.hs b/...est/src/Test/Shelley/Spec/Ledger/Utils.hs → ...ite/src/Test/Shelley/Spec/Ledger/Utils.hs
diff --git a/...ec-ledger-test/test/Golden/ShelleyGenesis → ...ley/test-suite/test/Golden/ShelleyGenesis b/...ec-ledger-test/test/Golden/ShelleyGenesis → ...ley/test-suite/test/Golden/ShelleyGenesis
diff --git a/...t/test/Test/Control/Iterate/SetAlgebra.hs → ...e/test/Test/Control/Iterate/SetAlgebra.hs b/...t/test/Test/Control/Iterate/SetAlgebra.hs → ...e/test/Test/Control/Iterate/SetAlgebra.hs
diff --git a/.../Shelley/Spec/Ledger/Address/Bootstrap.hs → .../Shelley/Spec/Ledger/Address/Bootstrap.hs b/.../Shelley/Spec/Ledger/Address/Bootstrap.hs → .../Shelley/Spec/Ledger/Address/Bootstrap.hs
diff --git a/...helley/Spec/Ledger/Address/CompactAddr.hs → ...helley/Spec/Ledger/Address/CompactAddr.hs b/...helley/Spec/Ledger/Address/CompactAddr.hs → ...helley/Spec/Ledger/Address/CompactAddr.hs
diff --git a/...t/Shelley/Spec/Ledger/ByronTranslation.hs → ...t/Shelley/Spec/Ledger/ByronTranslation.hs b/...t/Shelley/Spec/Ledger/ByronTranslation.hs → ...t/Shelley/Spec/Ledger/ByronTranslation.hs
diff --git a/...test/Test/Shelley/Spec/Ledger/Examples.hs → ...test/Test/Shelley/Spec/Ledger/Examples.hs b/...test/Test/Shelley/Spec/Ledger/Examples.hs → ...test/Test/Shelley/Spec/Ledger/Examples.hs
diff --git a/...Test/Shelley/Spec/Ledger/Examples/Cast.hs → ...Test/Shelley/Spec/Ledger/Examples/Cast.hs b/...Test/Shelley/Spec/Ledger/Examples/Cast.hs → ...Test/Shelley/Spec/Ledger/Examples/Cast.hs
diff --git a/...elley/Spec/Ledger/Examples/Combinators.hs → ...elley/Spec/Ledger/Examples/Combinators.hs b/...elley/Spec/Ledger/Examples/Combinators.hs → ...elley/Spec/Ledger/Examples/Combinators.hs
diff --git a/...helley/Spec/Ledger/Examples/EmptyBlock.hs → ...helley/Spec/Ledger/Examples/EmptyBlock.hs b/...helley/Spec/Ledger/Examples/EmptyBlock.hs → ...helley/Spec/Ledger/Examples/EmptyBlock.hs
diff --git a/...helley/Spec/Ledger/Examples/Federation.hs → ...helley/Spec/Ledger/Examples/Federation.hs b/...helley/Spec/Ledger/Examples/Federation.hs → ...helley/Spec/Ledger/Examples/Federation.hs
diff --git a/...Spec/Ledger/Examples/GenesisDelegation.hs → ...Spec/Ledger/Examples/GenesisDelegation.hs b/...Spec/Ledger/Examples/GenesisDelegation.hs → ...Spec/Ledger/Examples/GenesisDelegation.hs
diff --git a/...Test/Shelley/Spec/Ledger/Examples/Init.hs → ...Test/Shelley/Spec/Ledger/Examples/Init.hs b/...Test/Shelley/Spec/Ledger/Examples/Init.hs → ...Test/Shelley/Spec/Ledger/Examples/Init.hs
diff --git a/.../Test/Shelley/Spec/Ledger/Examples/Mir.hs → .../Test/Shelley/Spec/Ledger/Examples/Mir.hs b/.../Test/Shelley/Spec/Ledger/Examples/Mir.hs → .../Test/Shelley/Spec/Ledger/Examples/Mir.hs
diff --git a/...elley/Spec/Ledger/Examples/MirTransfer.hs → ...elley/Spec/Ledger/Examples/MirTransfer.hs b/...elley/Spec/Ledger/Examples/MirTransfer.hs → ...elley/Spec/Ledger/Examples/MirTransfer.hs
diff --git a/...Shelley/Spec/Ledger/Examples/NetworkID.hs → ...Shelley/Spec/Ledger/Examples/NetworkID.hs b/...Shelley/Spec/Ledger/Examples/NetworkID.hs → ...Shelley/Spec/Ledger/Examples/NetworkID.hs
diff --git a/...lley/Spec/Ledger/Examples/PoolLifetime.hs → ...lley/Spec/Ledger/Examples/PoolLifetime.hs b/...lley/Spec/Ledger/Examples/PoolLifetime.hs → ...lley/Spec/Ledger/Examples/PoolLifetime.hs
diff --git a/...Shelley/Spec/Ledger/Examples/PoolReReg.hs → ...Shelley/Spec/Ledger/Examples/PoolReReg.hs b/...Shelley/Spec/Ledger/Examples/PoolReReg.hs → ...Shelley/Spec/Ledger/Examples/PoolReReg.hs
diff --git a/.../Shelley/Spec/Ledger/Examples/TwoPools.hs → .../Shelley/Spec/Ledger/Examples/TwoPools.hs b/.../Shelley/Spec/Ledger/Examples/TwoPools.hs → .../Shelley/Spec/Ledger/Examples/TwoPools.hs
diff --git a/...t/Shelley/Spec/Ledger/Examples/Updates.hs → ...t/Shelley/Spec/Ledger/Examples/Updates.hs b/...t/Shelley/Spec/Ledger/Examples/Updates.hs → ...t/Shelley/Spec/Ledger/Examples/Updates.hs
diff --git a/...est/test/Test/Shelley/Spec/Ledger/Fees.hs → ...ite/test/Test/Shelley/Spec/Ledger/Fees.hs b/...est/test/Test/Shelley/Spec/Ledger/Fees.hs → ...ite/test/Test/Shelley/Spec/Ledger/Fees.hs
diff --git a/...t/Shelley/Spec/Ledger/MultiSigExamples.hs → ...t/Shelley/Spec/Ledger/MultiSigExamples.hs b/...t/Shelley/Spec/Ledger/MultiSigExamples.hs → ...t/Shelley/Spec/Ledger/MultiSigExamples.hs
diff --git a/...t/test/Test/Shelley/Spec/Ledger/Pretty.hs → ...e/test/Test/Shelley/Spec/Ledger/Pretty.hs b/...t/test/Test/Shelley/Spec/Ledger/Pretty.hs → ...e/test/Test/Shelley/Spec/Ledger/Pretty.hs
diff --git a/...Test/Shelley/Spec/Ledger/PropertyTests.hs → ...Test/Shelley/Spec/Ledger/PropertyTests.hs b/...Test/Shelley/Spec/Ledger/PropertyTests.hs → ...Test/Shelley/Spec/Ledger/PropertyTests.hs
diff --git a/.../test/Test/Shelley/Spec/Ledger/Rewards.hs → .../test/Test/Shelley/Spec/Ledger/Rewards.hs b/.../test/Test/Shelley/Spec/Ledger/Rewards.hs → .../test/Test/Shelley/Spec/Ledger/Rewards.hs
diff --git a/...elley/Spec/Ledger/Rules/ClassifyTraces.hs → ...elley/Spec/Ledger/Rules/ClassifyTraces.hs b/...elley/Spec/Ledger/Rules/ClassifyTraces.hs → ...elley/Spec/Ledger/Rules/ClassifyTraces.hs
diff --git a/...st/Shelley/Spec/Ledger/Rules/TestChain.hs → ...st/Shelley/Spec/Ledger/Rules/TestChain.hs b/...st/Shelley/Spec/Ledger/Rules/TestChain.hs → ...st/Shelley/Spec/Ledger/Rules/TestChain.hs
diff --git a/...st/Shelley/Spec/Ledger/Rules/TestDeleg.hs → ...st/Shelley/Spec/Ledger/Rules/TestDeleg.hs b/...st/Shelley/Spec/Ledger/Rules/TestDeleg.hs → ...st/Shelley/Spec/Ledger/Rules/TestDeleg.hs
diff --git a/...est/Shelley/Spec/Ledger/Rules/TestPool.hs → ...est/Shelley/Spec/Ledger/Rules/TestPool.hs b/...est/Shelley/Spec/Ledger/Rules/TestPool.hs → ...est/Shelley/Spec/Ledger/Rules/TestPool.hs
diff --git a/...Shelley/Spec/Ledger/Rules/TestPoolreap.hs → ...Shelley/Spec/Ledger/Rules/TestPoolreap.hs b/...Shelley/Spec/Ledger/Rules/TestPoolreap.hs → ...Shelley/Spec/Ledger/Rules/TestPoolreap.hs
diff --git a/...test/Test/Shelley/Spec/Ledger/STSTests.hs → ...test/Test/Shelley/Spec/Ledger/STSTests.hs b/...test/Test/Shelley/Spec/Ledger/STSTests.hs → ...test/Test/Shelley/Spec/Ledger/STSTests.hs
diff --git a/...test/Test/Shelley/Spec/Ledger/SafeHash.hs → ...test/Test/Shelley/Spec/Ledger/SafeHash.hs b/...test/Test/Shelley/Spec/Ledger/SafeHash.hs → ...test/Test/Shelley/Spec/Ledger/SafeHash.hs
diff --git a/...Test/Shelley/Spec/Ledger/Serialisation.hs → ...Test/Shelley/Spec/Ledger/Serialisation.hs b/...Test/Shelley/Spec/Ledger/Serialisation.hs → ...Test/Shelley/Spec/Ledger/Serialisation.hs
diff --git a/...Shelley/Spec/Ledger/Serialisation/CDDL.hs → ...Shelley/Spec/Ledger/Serialisation/CDDL.hs b/...Shelley/Spec/Ledger/Serialisation/CDDL.hs → ...Shelley/Spec/Ledger/Serialisation/CDDL.hs
diff --git a/...ec/Ledger/Serialisation/Golden/Address.hs → ...ec/Ledger/Serialisation/Golden/Address.hs b/...ec/Ledger/Serialisation/Golden/Address.hs → ...ec/Ledger/Serialisation/Golden/Address.hs
diff --git a/...c/Ledger/Serialisation/Golden/Encoding.hs → ...c/Ledger/Serialisation/Golden/Encoding.hs b/...c/Ledger/Serialisation/Golden/Encoding.hs → ...c/Ledger/Serialisation/Golden/Encoding.hs
diff --git a/...ec/Ledger/Serialisation/Golden/Genesis.hs → ...ec/Ledger/Serialisation/Golden/Genesis.hs b/...ec/Ledger/Serialisation/Golden/Genesis.hs → ...ec/Ledger/Serialisation/Golden/Genesis.hs
diff --git a/...pec/Ledger/Serialisation/Tripping/CBOR.hs → ...pec/Ledger/Serialisation/Tripping/CBOR.hs b/...pec/Ledger/Serialisation/Tripping/CBOR.hs → ...pec/Ledger/Serialisation/Tripping/CBOR.hs
diff --git a/...pec/Ledger/Serialisation/Tripping/JSON.hs → ...pec/Ledger/Serialisation/Tripping/JSON.hs b/...pec/Ledger/Serialisation/Tripping/JSON.hs → ...pec/Ledger/Serialisation/Tripping/JSON.hs
diff --git a/...Shelley/Spec/Ledger/ShelleyTranslation.hs → ...Shelley/Spec/Ledger/ShelleyTranslation.hs b/...Shelley/Spec/Ledger/ShelleyTranslation.hs → ...Shelley/Spec/Ledger/ShelleyTranslation.hs
diff --git a/...est/Test/Shelley/Spec/Ledger/UnitTests.hs → ...est/Test/Shelley/Spec/Ledger/UnitTests.hs b/...est/Test/Shelley/Spec/Ledger/UnitTests.hs → ...est/Test/Shelley/Spec/Ledger/UnitTests.hs
diff --git a/...pec-ledger-test/test/Test/TestScenario.hs → shelley/test-suite/test/Test/TestScenario.hs b/...pec-ledger-test/test/Test/TestScenario.hs → shelley/test-suite/test/Test/TestScenario.hs
diff --git a/...er/shelley-spec-ledger-test/test/Tests.hs → shelley/test-suite/test/Tests.hs b/...er/shelley-spec-ledger-test/test/Tests.hs → shelley/test-suite/test/Tests.hs