diff --git a/cabal.project b/cabal.project index b5f79275606..abc378be4a7 100644 --- a/cabal.project +++ b/cabal.project @@ -13,14 +13,14 @@ packages: 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 - libraries/cardano-protocol-tpraos - libraries/plutus-preprocessor - libraries/shelley-spec-non-integral - libraries/small-steps - libraries/small-steps-test + libs/cardano-ledger-core + libs/cardano-ledger-example-shelley + libs/cardano-ledger-test + libs/cardano-protocol-tpraos + libs/plutus-preprocessor + libs/shelley-spec-non-integral + libs/small-steps + libs/small-steps-test -- Always write GHC env files, because they are needed by the doctests. write-ghc-environment-files: always diff --git a/libraries/cardano-ledger-core/CHANGELOG.md b/libs/cardano-ledger-core/CHANGELOG.md similarity index 100% rename from libraries/cardano-ledger-core/CHANGELOG.md rename to libs/cardano-ledger-core/CHANGELOG.md diff --git a/libraries/cardano-ledger-core/cardano-ledger-core.cabal b/libs/cardano-ledger-core/cardano-ledger-core.cabal similarity index 100% rename from libraries/cardano-ledger-core/cardano-ledger-core.cabal rename to libs/cardano-ledger-core/cardano-ledger-core.cabal diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Address.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Address.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Address.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Address.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/AuxiliaryData.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/AuxiliaryData.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/AuxiliaryData.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/AuxiliaryData.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/BaseTypes.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/BaseTypes.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/BaseTypes.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/BaseTypes.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Coin.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Coin.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Coin.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Coin.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Compactible.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Compactible.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Compactible.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Compactible.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Core.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Core.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Core.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Core.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Credential.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Credential.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Credential.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Credential.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Crypto.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Crypto.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Crypto.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Crypto.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Era.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Era.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Era.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Era.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Hashes.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Hashes.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Hashes.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Hashes.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Keys.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Keys.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Keys.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Keys.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Rules/ValidationMode.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Rules/ValidationMode.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Rules/ValidationMode.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Rules/ValidationMode.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Serialization.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Serialization.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Serialization.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Serialization.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Slot.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Slot.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Slot.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Slot.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Val.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Val.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Val.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Val.hs diff --git a/libraries/cardano-ledger-example-shelley/Setup.hs b/libs/cardano-ledger-example-shelley/Setup.hs similarity index 100% rename from libraries/cardano-ledger-example-shelley/Setup.hs rename to libs/cardano-ledger-example-shelley/Setup.hs diff --git a/libraries/cardano-ledger-example-shelley/cardano-ledger-example-shelley.cabal b/libs/cardano-ledger-example-shelley/cardano-ledger-example-shelley.cabal similarity index 100% rename from libraries/cardano-ledger-example-shelley/cardano-ledger-example-shelley.cabal rename to libs/cardano-ledger-example-shelley/cardano-ledger-example-shelley.cabal diff --git a/libraries/cardano-ledger-example-shelley/src/Cardano/Ledger/Example.hs b/libs/cardano-ledger-example-shelley/src/Cardano/Ledger/Example.hs similarity index 100% rename from libraries/cardano-ledger-example-shelley/src/Cardano/Ledger/Example.hs rename to libs/cardano-ledger-example-shelley/src/Cardano/Ledger/Example.hs diff --git a/libraries/cardano-ledger-example-shelley/src/Cardano/Ledger/Example/Translation.hs b/libs/cardano-ledger-example-shelley/src/Cardano/Ledger/Example/Translation.hs similarity index 100% rename from libraries/cardano-ledger-example-shelley/src/Cardano/Ledger/Example/Translation.hs rename to libs/cardano-ledger-example-shelley/src/Cardano/Ledger/Example/Translation.hs diff --git a/libraries/cardano-ledger-example-shelley/test/Test/Cardano/Ledger/Example.hs b/libs/cardano-ledger-example-shelley/test/Test/Cardano/Ledger/Example.hs similarity index 100% rename from libraries/cardano-ledger-example-shelley/test/Test/Cardano/Ledger/Example.hs rename to libs/cardano-ledger-example-shelley/test/Test/Cardano/Ledger/Example.hs diff --git a/libraries/cardano-ledger-example-shelley/test/Tests.hs b/libs/cardano-ledger-example-shelley/test/Tests.hs similarity index 100% rename from libraries/cardano-ledger-example-shelley/test/Tests.hs rename to libs/cardano-ledger-example-shelley/test/Tests.hs diff --git a/libraries/cardano-ledger-test/CHANGELOG.md b/libs/cardano-ledger-test/CHANGELOG.md similarity index 100% rename from libraries/cardano-ledger-test/CHANGELOG.md rename to libs/cardano-ledger-test/CHANGELOG.md diff --git a/libraries/cardano-ledger-test/Setup.hs b/libs/cardano-ledger-test/Setup.hs similarity index 100% rename from libraries/cardano-ledger-test/Setup.hs rename to libs/cardano-ledger-test/Setup.hs diff --git a/libraries/cardano-ledger-test/bench/Bench/Cardano/Ledger/ApplyTx.hs b/libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/ApplyTx.hs similarity index 100% rename from libraries/cardano-ledger-test/bench/Bench/Cardano/Ledger/ApplyTx.hs rename to libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/ApplyTx.hs diff --git a/libraries/cardano-ledger-test/bench/Bench/Cardano/Ledger/EpochBoundary.hs b/libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/EpochBoundary.hs similarity index 100% rename from libraries/cardano-ledger-test/bench/Bench/Cardano/Ledger/EpochBoundary.hs rename to libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/EpochBoundary.hs diff --git a/libraries/cardano-ledger-test/bench/Bench/Cardano/Ledger/Serialisation/Generators.hs b/libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/Serialisation/Generators.hs similarity index 100% rename from libraries/cardano-ledger-test/bench/Bench/Cardano/Ledger/Serialisation/Generators.hs rename to libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/Serialisation/Generators.hs diff --git a/libraries/cardano-ledger-test/bench/Main.hs b/libs/cardano-ledger-test/bench/Main.hs similarity index 100% rename from libraries/cardano-ledger-test/bench/Main.hs rename to libs/cardano-ledger-test/bench/Main.hs diff --git a/libraries/cardano-ledger-test/bench/resources/0_ledgerstate.cbor b/libs/cardano-ledger-test/bench/resources/0_ledgerstate.cbor similarity index 100% rename from libraries/cardano-ledger-test/bench/resources/0_ledgerstate.cbor rename to libs/cardano-ledger-test/bench/resources/0_ledgerstate.cbor diff --git a/libraries/cardano-ledger-test/bench/resources/0_tx.cbor b/libs/cardano-ledger-test/bench/resources/0_tx.cbor similarity index 100% rename from libraries/cardano-ledger-test/bench/resources/0_tx.cbor rename to libs/cardano-ledger-test/bench/resources/0_tx.cbor diff --git a/libraries/cardano-ledger-test/bench/resources/1_ledgerstate.cbor b/libs/cardano-ledger-test/bench/resources/1_ledgerstate.cbor similarity index 100% rename from libraries/cardano-ledger-test/bench/resources/1_ledgerstate.cbor rename to libs/cardano-ledger-test/bench/resources/1_ledgerstate.cbor diff --git a/libraries/cardano-ledger-test/bench/resources/1_tx.cbor b/libs/cardano-ledger-test/bench/resources/1_tx.cbor similarity index 100% rename from libraries/cardano-ledger-test/bench/resources/1_tx.cbor rename to libs/cardano-ledger-test/bench/resources/1_tx.cbor diff --git a/libraries/cardano-ledger-test/bench/resources/DESCRIPTION.md b/libs/cardano-ledger-test/bench/resources/DESCRIPTION.md similarity index 100% rename from libraries/cardano-ledger-test/bench/resources/DESCRIPTION.md rename to libs/cardano-ledger-test/bench/resources/DESCRIPTION.md diff --git a/libraries/cardano-ledger-test/benchProperty/Main.hs b/libs/cardano-ledger-test/benchProperty/Main.hs similarity index 100% rename from libraries/cardano-ledger-test/benchProperty/Main.hs rename to libs/cardano-ledger-test/benchProperty/Main.hs diff --git a/libraries/cardano-ledger-test/cardano-ledger-test.cabal b/libs/cardano-ledger-test/cardano-ledger-test.cabal similarity index 100% rename from libraries/cardano-ledger-test/cardano-ledger-test.cabal rename to libs/cardano-ledger-test/cardano-ledger-test.cabal diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Alonzo/Tools.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Alonzo/Tools.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Alonzo/Tools.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/Alonzo/Tools.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/BaseTypes.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/BaseTypes.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/BaseTypes.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/BaseTypes.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/TwoPhaseValidation.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/TwoPhaseValidation.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/TwoPhaseValidation.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/TwoPhaseValidation.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Indexed.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Indexed.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Indexed.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Indexed.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Proof.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Proof.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Proof.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Proof.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Updaters.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Updaters.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Updaters.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Updaters.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Properties.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Properties.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Properties.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/Properties.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/TestableEra.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/TestableEra.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/TestableEra.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/TestableEra.hs diff --git a/libraries/cardano-ledger-test/test/Tests.hs b/libs/cardano-ledger-test/test/Tests.hs similarity index 100% rename from libraries/cardano-ledger-test/test/Tests.hs rename to libs/cardano-ledger-test/test/Tests.hs diff --git a/libraries/cardano-protocol-tpraos/CHANGELOG.md b/libs/cardano-protocol-tpraos/CHANGELOG.md similarity index 100% rename from libraries/cardano-protocol-tpraos/CHANGELOG.md rename to libs/cardano-protocol-tpraos/CHANGELOG.md diff --git a/libraries/cardano-protocol-tpraos/LICENSE b/libs/cardano-protocol-tpraos/LICENSE similarity index 100% rename from libraries/cardano-protocol-tpraos/LICENSE rename to libs/cardano-protocol-tpraos/LICENSE diff --git a/libraries/cardano-protocol-tpraos/Setup.hs b/libs/cardano-protocol-tpraos/Setup.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/Setup.hs rename to libs/cardano-protocol-tpraos/Setup.hs diff --git a/libraries/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal b/libs/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal similarity index 100% rename from libraries/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal rename to libs/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos.hs diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/BHeader.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/BHeader.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/BHeader.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/BHeader.hs diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/OCert.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/OCert.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/OCert.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/OCert.hs diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/OCert.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/OCert.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/OCert.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/OCert.hs diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Overlay.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Overlay.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Overlay.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Overlay.hs diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Prtcl.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Prtcl.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Prtcl.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Prtcl.hs diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Updn.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Updn.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Updn.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Updn.hs diff --git a/libraries/plutus-preprocessor/CHANGELOG.md b/libs/plutus-preprocessor/CHANGELOG.md similarity index 100% rename from libraries/plutus-preprocessor/CHANGELOG.md rename to libs/plutus-preprocessor/CHANGELOG.md diff --git a/libraries/plutus-preprocessor/plutus-preprocessor.cabal b/libs/plutus-preprocessor/plutus-preprocessor.cabal similarity index 100% rename from libraries/plutus-preprocessor/plutus-preprocessor.cabal rename to libs/plutus-preprocessor/plutus-preprocessor.cabal diff --git a/libraries/plutus-preprocessor/src/Debug.hs b/libs/plutus-preprocessor/src/Debug.hs similarity index 100% rename from libraries/plutus-preprocessor/src/Debug.hs rename to libs/plutus-preprocessor/src/Debug.hs diff --git a/libraries/plutus-preprocessor/src/Main.hs b/libs/plutus-preprocessor/src/Main.hs similarity index 100% rename from libraries/plutus-preprocessor/src/Main.hs rename to libs/plutus-preprocessor/src/Main.hs diff --git a/libraries/plutus-preprocessor/src/PlutusScripts.hs b/libs/plutus-preprocessor/src/PlutusScripts.hs similarity index 100% rename from libraries/plutus-preprocessor/src/PlutusScripts.hs rename to libs/plutus-preprocessor/src/PlutusScripts.hs diff --git a/libraries/shelley-spec-non-integral/ChangeLog.md b/libs/shelley-spec-non-integral/ChangeLog.md similarity index 100% rename from libraries/shelley-spec-non-integral/ChangeLog.md rename to libs/shelley-spec-non-integral/ChangeLog.md diff --git a/libraries/shelley-spec-non-integral/README.md b/libs/shelley-spec-non-integral/README.md similarity index 100% rename from libraries/shelley-spec-non-integral/README.md rename to libs/shelley-spec-non-integral/README.md diff --git a/libraries/shelley-spec-non-integral/Setup.hs b/libs/shelley-spec-non-integral/Setup.hs similarity index 100% rename from libraries/shelley-spec-non-integral/Setup.hs rename to libs/shelley-spec-non-integral/Setup.hs diff --git a/libraries/shelley-spec-non-integral/app/Main.hs b/libs/shelley-spec-non-integral/app/Main.hs similarity index 100% rename from libraries/shelley-spec-non-integral/app/Main.hs rename to libs/shelley-spec-non-integral/app/Main.hs diff --git a/libraries/shelley-spec-non-integral/reference/Makefile b/libs/shelley-spec-non-integral/reference/Makefile similarity index 100% rename from libraries/shelley-spec-non-integral/reference/Makefile rename to libs/shelley-spec-non-integral/reference/Makefile diff --git a/libraries/shelley-spec-non-integral/reference/golden_tests.txt b/libs/shelley-spec-non-integral/reference/golden_tests.txt similarity index 100% rename from libraries/shelley-spec-non-integral/reference/golden_tests.txt rename to libs/shelley-spec-non-integral/reference/golden_tests.txt diff --git a/libraries/shelley-spec-non-integral/reference/golden_tests_result.txt b/libs/shelley-spec-non-integral/reference/golden_tests_result.txt similarity index 100% rename from libraries/shelley-spec-non-integral/reference/golden_tests_result.txt rename to libs/shelley-spec-non-integral/reference/golden_tests_result.txt diff --git a/libraries/shelley-spec-non-integral/reference/non_integral.c b/libs/shelley-spec-non-integral/reference/non_integral.c similarity index 100% rename from libraries/shelley-spec-non-integral/reference/non_integral.c rename to libs/shelley-spec-non-integral/reference/non_integral.c diff --git a/libraries/shelley-spec-non-integral/reference/non_integral.h b/libs/shelley-spec-non-integral/reference/non_integral.h similarity index 100% rename from libraries/shelley-spec-non-integral/reference/non_integral.h rename to libs/shelley-spec-non-integral/reference/non_integral.h diff --git a/libraries/shelley-spec-non-integral/reference/non_integral.hpp b/libs/shelley-spec-non-integral/reference/non_integral.hpp similarity index 100% rename from libraries/shelley-spec-non-integral/reference/non_integral.hpp rename to libs/shelley-spec-non-integral/reference/non_integral.hpp diff --git a/libraries/shelley-spec-non-integral/reference/non_integral_test.cpp b/libs/shelley-spec-non-integral/reference/non_integral_test.cpp similarity index 100% rename from libraries/shelley-spec-non-integral/reference/non_integral_test.cpp rename to libs/shelley-spec-non-integral/reference/non_integral_test.cpp diff --git a/libraries/shelley-spec-non-integral/reference/randomize.cpp b/libs/shelley-spec-non-integral/reference/randomize.cpp similarity index 100% rename from libraries/shelley-spec-non-integral/reference/randomize.cpp rename to libs/shelley-spec-non-integral/reference/randomize.cpp diff --git a/libraries/shelley-spec-non-integral/shelley-spec-non-integral.cabal b/libs/shelley-spec-non-integral/shelley-spec-non-integral.cabal similarity index 100% rename from libraries/shelley-spec-non-integral/shelley-spec-non-integral.cabal rename to libs/shelley-spec-non-integral/shelley-spec-non-integral.cabal diff --git a/libraries/shelley-spec-non-integral/src/Shelley/Spec/NonIntegral.hs b/libs/shelley-spec-non-integral/src/Shelley/Spec/NonIntegral.hs similarity index 100% rename from libraries/shelley-spec-non-integral/src/Shelley/Spec/NonIntegral.hs rename to libs/shelley-spec-non-integral/src/Shelley/Spec/NonIntegral.hs diff --git a/libraries/shelley-spec-non-integral/test/Tests.hs b/libs/shelley-spec-non-integral/test/Tests.hs similarity index 100% rename from libraries/shelley-spec-non-integral/test/Tests.hs rename to libs/shelley-spec-non-integral/test/Tests.hs diff --git a/libraries/shelley-spec-non-integral/test/Tests/Shelley/Spec/NonIntegral.hs b/libs/shelley-spec-non-integral/test/Tests/Shelley/Spec/NonIntegral.hs similarity index 100% rename from libraries/shelley-spec-non-integral/test/Tests/Shelley/Spec/NonIntegral.hs rename to libs/shelley-spec-non-integral/test/Tests/Shelley/Spec/NonIntegral.hs diff --git a/libraries/small-steps-test/.ghcid b/libs/small-steps-test/.ghcid similarity index 100% rename from libraries/small-steps-test/.ghcid rename to libs/small-steps-test/.ghcid diff --git a/libraries/small-steps-test/Setup.hs b/libs/small-steps-test/Setup.hs similarity index 100% rename from libraries/small-steps-test/Setup.hs rename to libs/small-steps-test/Setup.hs diff --git a/libraries/small-steps-test/small-steps-test.cabal b/libs/small-steps-test/small-steps-test.cabal similarity index 100% rename from libraries/small-steps-test/small-steps-test.cabal rename to libs/small-steps-test/small-steps-test.cabal diff --git a/libraries/small-steps-test/src/Control/State/Transition/Generator.hs b/libs/small-steps-test/src/Control/State/Transition/Generator.hs similarity index 100% rename from libraries/small-steps-test/src/Control/State/Transition/Generator.hs rename to libs/small-steps-test/src/Control/State/Transition/Generator.hs diff --git a/libraries/small-steps-test/src/Control/State/Transition/Invalid/Trace.hs b/libs/small-steps-test/src/Control/State/Transition/Invalid/Trace.hs similarity index 100% rename from libraries/small-steps-test/src/Control/State/Transition/Invalid/Trace.hs rename to libs/small-steps-test/src/Control/State/Transition/Invalid/Trace.hs diff --git a/libraries/small-steps-test/src/Control/State/Transition/Trace.hs b/libs/small-steps-test/src/Control/State/Transition/Trace.hs similarity index 100% rename from libraries/small-steps-test/src/Control/State/Transition/Trace.hs rename to libs/small-steps-test/src/Control/State/Transition/Trace.hs diff --git a/libraries/small-steps-test/src/Control/State/Transition/Trace/Generator/QuickCheck.hs b/libs/small-steps-test/src/Control/State/Transition/Trace/Generator/QuickCheck.hs similarity index 100% rename from libraries/small-steps-test/src/Control/State/Transition/Trace/Generator/QuickCheck.hs rename to libs/small-steps-test/src/Control/State/Transition/Trace/Generator/QuickCheck.hs diff --git a/libraries/small-steps-test/src/Hedgehog/Extra/Manual.hs b/libs/small-steps-test/src/Hedgehog/Extra/Manual.hs similarity index 100% rename from libraries/small-steps-test/src/Hedgehog/Extra/Manual.hs rename to libs/small-steps-test/src/Hedgehog/Extra/Manual.hs diff --git a/libraries/small-steps-test/test/Control/State/Transition/Examples/CommitReveal.hs b/libs/small-steps-test/test/Control/State/Transition/Examples/CommitReveal.hs similarity index 100% rename from libraries/small-steps-test/test/Control/State/Transition/Examples/CommitReveal.hs rename to libs/small-steps-test/test/Control/State/Transition/Examples/CommitReveal.hs diff --git a/libraries/small-steps-test/test/Control/State/Transition/Examples/GlobalSum.hs b/libs/small-steps-test/test/Control/State/Transition/Examples/GlobalSum.hs similarity index 100% rename from libraries/small-steps-test/test/Control/State/Transition/Examples/GlobalSum.hs rename to libs/small-steps-test/test/Control/State/Transition/Examples/GlobalSum.hs diff --git a/libraries/small-steps-test/test/Control/State/Transition/Examples/Sum.hs b/libs/small-steps-test/test/Control/State/Transition/Examples/Sum.hs similarity index 100% rename from libraries/small-steps-test/test/Control/State/Transition/Examples/Sum.hs rename to libs/small-steps-test/test/Control/State/Transition/Examples/Sum.hs diff --git a/libraries/small-steps-test/test/examples/Main.hs b/libs/small-steps-test/test/examples/Main.hs similarity index 100% rename from libraries/small-steps-test/test/examples/Main.hs rename to libs/small-steps-test/test/examples/Main.hs diff --git a/libraries/small-steps/.ghcid b/libs/small-steps/.ghcid similarity index 100% rename from libraries/small-steps/.ghcid rename to libs/small-steps/.ghcid diff --git a/libraries/small-steps/CHANGELOG.md b/libs/small-steps/CHANGELOG.md similarity index 100% rename from libraries/small-steps/CHANGELOG.md rename to libs/small-steps/CHANGELOG.md diff --git a/libraries/small-steps/Setup.hs b/libs/small-steps/Setup.hs similarity index 100% rename from libraries/small-steps/Setup.hs rename to libs/small-steps/Setup.hs diff --git a/libraries/small-steps/default.nix b/libs/small-steps/default.nix similarity index 100% rename from libraries/small-steps/default.nix rename to libs/small-steps/default.nix diff --git a/libraries/small-steps/small-steps.cabal b/libs/small-steps/small-steps.cabal similarity index 100% rename from libraries/small-steps/small-steps.cabal rename to libs/small-steps/small-steps.cabal diff --git a/libraries/small-steps/src/Control/Iterate/Collect.hs b/libs/small-steps/src/Control/Iterate/Collect.hs similarity index 100% rename from libraries/small-steps/src/Control/Iterate/Collect.hs rename to libs/small-steps/src/Control/Iterate/Collect.hs diff --git a/libraries/small-steps/src/Control/Iterate/SetAlgebra.hs b/libs/small-steps/src/Control/Iterate/SetAlgebra.hs similarity index 100% rename from libraries/small-steps/src/Control/Iterate/SetAlgebra.hs rename to libs/small-steps/src/Control/Iterate/SetAlgebra.hs diff --git a/libraries/small-steps/src/Control/Provenance.hs b/libs/small-steps/src/Control/Provenance.hs similarity index 100% rename from libraries/small-steps/src/Control/Provenance.hs rename to libs/small-steps/src/Control/Provenance.hs diff --git a/libraries/small-steps/src/Control/SetAlgebra.hs b/libs/small-steps/src/Control/SetAlgebra.hs similarity index 100% rename from libraries/small-steps/src/Control/SetAlgebra.hs rename to libs/small-steps/src/Control/SetAlgebra.hs diff --git a/libraries/small-steps/src/Control/State/Transition.hs b/libs/small-steps/src/Control/State/Transition.hs similarity index 100% rename from libraries/small-steps/src/Control/State/Transition.hs rename to libs/small-steps/src/Control/State/Transition.hs diff --git a/libraries/small-steps/src/Control/State/Transition/Extended.hs b/libs/small-steps/src/Control/State/Transition/Extended.hs similarity index 100% rename from libraries/small-steps/src/Control/State/Transition/Extended.hs rename to libs/small-steps/src/Control/State/Transition/Extended.hs diff --git a/libraries/small-steps/src/Control/State/Transition/Simple.hs b/libs/small-steps/src/Control/State/Transition/Simple.hs similarity index 100% rename from libraries/small-steps/src/Control/State/Transition/Simple.hs rename to libs/small-steps/src/Control/State/Transition/Simple.hs diff --git a/libraries/small-steps/src/Data/AbstractSize.hs b/libs/small-steps/src/Data/AbstractSize.hs similarity index 100% rename from libraries/small-steps/src/Data/AbstractSize.hs rename to libs/small-steps/src/Data/AbstractSize.hs diff --git a/libraries/small-steps/src/Data/CanonicalMaps.hs b/libs/small-steps/src/Data/CanonicalMaps.hs similarity index 100% rename from libraries/small-steps/src/Data/CanonicalMaps.hs rename to libs/small-steps/src/Data/CanonicalMaps.hs diff --git a/libraries/small-steps/src/Data/Coders.hs b/libs/small-steps/src/Data/Coders.hs similarity index 100% rename from libraries/small-steps/src/Data/Coders.hs rename to libs/small-steps/src/Data/Coders.hs diff --git a/libraries/small-steps/src/Data/MemoBytes.hs b/libs/small-steps/src/Data/MemoBytes.hs similarity index 100% rename from libraries/small-steps/src/Data/MemoBytes.hs rename to libs/small-steps/src/Data/MemoBytes.hs diff --git a/libraries/small-steps/src/Data/Pulse.hs b/libs/small-steps/src/Data/Pulse.hs similarity index 100% rename from libraries/small-steps/src/Data/Pulse.hs rename to libs/small-steps/src/Data/Pulse.hs diff --git a/libraries/small-steps/src/Data/Relation.hs b/libs/small-steps/src/Data/Relation.hs similarity index 100% rename from libraries/small-steps/src/Data/Relation.hs rename to libs/small-steps/src/Data/Relation.hs