Merge branch 'main' into revision/cardano-crypto-wrapper/1.4.2/2

IntersectMBO · May 12, 2023 · a38c110 · a38c110
2 parents bb412a7 + 34298ac
commit a38c110
Show file tree

Hide file tree

Showing 28 changed files with 988 additions and 0 deletions.
diff --git a/CODEOWNERS b/CODEOWNERS
@@ -17,6 +17,8 @@ _sources/byron-spec-ledger       @input-output-hk/cardano-ledger
 _sources/cardano-crypto-test     @input-output-hk/cardano-ledger
 _sources/cardano-crypto-wrapper  @input-output-hk/cardano-ledger
 _sources/cardano-data            @input-output-hk/cardano-ledger
+_sources/cardano-ledger-api      @input-output-hk/cardano-ledger
+_sources/cardano-ledger-binary   @input-output-hk/cardano-ledger
 _sources/cardano-ledger-core     @input-output-hk/cardano-ledger
 _sources/cardano-ledger-pretty   @input-output-hk/cardano-ledger
 _sources/cardano-ledger-test     @input-output-hk/cardano-ledger
@@ -30,6 +32,7 @@ _sources/small-steps             @input-output-hk/cardano-ledger
 _sources/small-steps-test        @input-output-hk/cardano-ledger
 
 ## Eras
+_sources/cardano-ledger-allegra         @input-output-hk/cardano-ledger
 _sources/cardano-ledger-alonzo          @input-output-hk/cardano-ledger
 _sources/cardano-ledger-alonzo-test     @input-output-hk/cardano-ledger
 _sources/cardano-ledger-babbage         @input-output-hk/cardano-ledger
@@ -38,6 +41,7 @@ _sources/cardano-ledger-byron           @input-output-hk/cardano-ledger
 _sources/cardano-ledger-byron-test      @input-output-hk/cardano-ledger
 _sources/cardano-ledger-conway          @input-output-hk/cardano-ledger
 _sources/cardano-ledger-conway-test     @input-output-hk/cardano-ledger
+_sources/cardano-ledger-mary            @input-output-hk/cardano-ledger
 _sources/cardano-ledger-shelley         @input-output-hk/cardano-ledger
 _sources/cardano-ledger-shelley-test    @input-output-hk/cardano-ledger
 _sources/cardano-ledger-shelley-ma      @input-output-hk/cardano-ledger

diff --git a/_sources/cardano-data/1.1.0.0/meta.toml b/_sources/cardano-data/1.1.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'libs/cardano-data'
diff --git a/_sources/cardano-ledger-allegra/1.1.1.0/meta.toml b/_sources/cardano-ledger-allegra/1.1.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'eras/allegra/impl'
diff --git a/_sources/cardano-ledger-alonzo-test/1.1.1.0/meta.toml b/_sources/cardano-ledger-alonzo-test/1.1.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'eras/alonzo/test-suite'
diff --git a/_sources/cardano-ledger-alonzo/1.2.0.0/meta.toml b/_sources/cardano-ledger-alonzo/1.2.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'eras/alonzo/impl'
diff --git a/_sources/cardano-ledger-api/1.2.0.0/meta.toml b/_sources/cardano-ledger-api/1.2.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'libs/cardano-ledger-api'
diff --git a/_sources/cardano-ledger-babbage-test/1.1.1.0/meta.toml b/_sources/cardano-ledger-babbage-test/1.1.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'eras/babbage/test-suite'
diff --git a/_sources/cardano-ledger-babbage/1.2.0.0/meta.toml b/_sources/cardano-ledger-babbage/1.2.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'eras/babbage/impl'
diff --git a/_sources/cardano-ledger-binary/1.1.1.0/meta.toml b/_sources/cardano-ledger-binary/1.1.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'libs/cardano-ledger-binary'
diff --git a/_sources/cardano-ledger-conway-test/1.1.1.0/meta.toml b/_sources/cardano-ledger-conway-test/1.1.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'eras/conway/test-suite'
diff --git a/_sources/cardano-ledger-conway/1.2.0.0/meta.toml b/_sources/cardano-ledger-conway/1.2.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'eras/conway/impl'
diff --git a/_sources/cardano-ledger-core/1.2.0.0/meta.toml b/_sources/cardano-ledger-core/1.2.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'libs/cardano-ledger-core'
diff --git a/_sources/cardano-ledger-mary/1.2.0.0/meta.toml b/_sources/cardano-ledger-mary/1.2.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'eras/mary/impl'
diff --git a/_sources/cardano-ledger-pretty/1.1.1.0/meta.toml b/_sources/cardano-ledger-pretty/1.1.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'libs/cardano-ledger-pretty'
diff --git a/_sources/cardano-ledger-shelley-ma-test/1.2.0.0/meta.toml b/_sources/cardano-ledger-shelley-ma-test/1.2.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'eras/shelley-ma/test-suite'
diff --git a/_sources/cardano-ledger-shelley-ma/1.1.0.1/meta.toml b/_sources/cardano-ledger-shelley-ma/1.1.0.1/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'eras/shelley-ma/impl'
diff --git a/_sources/cardano-ledger-shelley-test/1.1.1.0/meta.toml b/_sources/cardano-ledger-shelley-test/1.1.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-05-11T21:41:19Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "6db84a7b77e19af58feb2f45dfc50aa70435967b" }
+subdir = 'eras/shelley/test-suite'
diff --git a/_sources/cardano-ledger-shelley/1.1.0.0/meta.toml b/_sources/cardano-ledger-shelley/1.1.0.0/meta.toml
@@ -1,3 +1,7 @@
 timestamp = 2023-04-05T21:13:03Z
 github = { repo = "input-output-hk/cardano-ledger", rev = "f10f06f6ab96b5ee52a28ccc45b41a592efde4b7" }
 subdir = 'eras/shelley/impl'
+
+[[revisions]]
+number = 1
+timestamp = 2023-05-11T21:34:38Z
diff --git a/_sources/cardano-ledger-shelley/1.1.0.0/revisions/1.cabal b/_sources/cardano-ledger-shelley/1.1.0.0/revisions/1.cabal
@@ -0,0 +1,177 @@
+cabal-version:      3.0
+name:               cardano-ledger-shelley
+version:            1.1.0.0
+license:            Apache-2.0
+maintainer:         [email protected]
+author:             IOHK
+synopsis:           Shelley Ledger Executable Model
+build-type:         Simple
+extra-source-files: CHANGELOG.md
+
+source-repository head
+    type:     git
+    location: https://github.com/input-output-hk/cardano-ledger.git
+    subdir:   eras/shelley/impl
+
+flag asserts
+    description: Enable assertions
+    default:     False
+
+library
+    exposed-modules:
+        Cardano.Ledger.Chain
+        Cardano.Ledger.Shelley
+        Cardano.Ledger.Shelley.Address.Bootstrap
+        Cardano.Ledger.Shelley.API
+        Cardano.Ledger.Shelley.API.ByronTranslation
+        Cardano.Ledger.Shelley.API.Genesis
+        Cardano.Ledger.Shelley.API.Validation
+        Cardano.Ledger.Shelley.API.Wallet
+        Cardano.Ledger.Shelley.API.Mempool
+        Cardano.Ledger.Shelley.API.Types
+        Cardano.Ledger.Shelley.AdaPots
+        Cardano.Ledger.Shelley.BlockChain
+        Cardano.Ledger.Shelley.Core
+        Cardano.Ledger.Shelley.Delegation.Certificates
+        Cardano.Ledger.Shelley.Delegation.PoolParams
+        Cardano.Ledger.Shelley.EpochBoundary
+        Cardano.Ledger.Shelley.Genesis
+        Cardano.Ledger.Shelley.Governance
+        Cardano.Ledger.Shelley.HardForks
+        Cardano.Ledger.Shelley.LedgerState
+        Cardano.Ledger.Shelley.Metadata
+        Cardano.Ledger.Shelley.Orphans
+        Cardano.Ledger.Shelley.PoolRank
+        Cardano.Ledger.Shelley.PoolParams
+        Cardano.Ledger.Shelley.PParams
+        Cardano.Ledger.Shelley.Rewards
+        Cardano.Ledger.Shelley.RewardProvenance
+        Cardano.Ledger.Shelley.RewardUpdate
+        Cardano.Ledger.Shelley.Scripts
+        Cardano.Ledger.Shelley.SoftForks
+        Cardano.Ledger.Shelley.StabilityWindow
+        Cardano.Ledger.Shelley.Rules
+        Cardano.Ledger.Shelley.Translation
+        Cardano.Ledger.Shelley.Tx
+        Cardano.Ledger.Shelley.TxAuxData
+        Cardano.Ledger.Shelley.TxBody
+        Cardano.Ledger.Shelley.TxOut
+        Cardano.Ledger.Shelley.TxWits
+        Cardano.Ledger.Shelley.UTxO
+        Cardano.Ledger.Shelley.Rules.Reports
+        Cardano.Ledger.Shelley.Internal
+
+    hs-source-dirs:   src
+    other-modules:
+        Cardano.Ledger.Shelley.Era
+        Cardano.Ledger.Shelley.LedgerState.Types
+        Cardano.Ledger.Shelley.LedgerState.IncrementalStake
+        Cardano.Ledger.Shelley.LedgerState.NewEpochState
+        Cardano.Ledger.Shelley.LedgerState.PulsingReward
+        Cardano.Ledger.Shelley.LedgerState.RefundsAndDeposits
+        Cardano.Ledger.Shelley.Rules.Bbody
+        Cardano.Ledger.Shelley.Rules.Deleg
+        Cardano.Ledger.Shelley.Rules.Delegs
+        Cardano.Ledger.Shelley.Rules.Delpl
+        Cardano.Ledger.Shelley.Rules.Epoch
+        Cardano.Ledger.Shelley.Rules.Ledger
+        Cardano.Ledger.Shelley.Rules.Ledgers
+        Cardano.Ledger.Shelley.Rules.Mir
+        Cardano.Ledger.Shelley.Rules.NewEpoch
+        Cardano.Ledger.Shelley.Rules.Newpp
+        Cardano.Ledger.Shelley.Rules.Pool
+        Cardano.Ledger.Shelley.Rules.PoolReap
+        Cardano.Ledger.Shelley.Rules.Ppup
+        Cardano.Ledger.Shelley.Rules.Rupd
+        Cardano.Ledger.Shelley.Rules.Snap
+        Cardano.Ledger.Shelley.Rules.Tick
+        Cardano.Ledger.Shelley.Rules.Upec
+        Cardano.Ledger.Shelley.Rules.Utxo
+        Cardano.Ledger.Shelley.Rules.Utxow
+
+    default-language: Haskell2010
+    ghc-options:
+        -Wall -Wcompat -Wincomplete-record-updates
+        -Wincomplete-uni-patterns -Wredundant-constraints -Wpartial-fields
+        -Wunused-packages
+
+    build-depends:
+        base >=4.14 && <4.17,
+        aeson >=2,
+        bytestring,
+        cardano-crypto-class,
+        cardano-crypto-wrapper,
+        cardano-data >=1.0,
+        cardano-ledger-binary >=1.0,
+        cardano-ledger-byron,
+        cardano-ledger-core >=1.1,
+        cardano-slotting,
+        vector-map >=1.0,
+        containers,
+        data-default-class,
+        deepseq,
+        groups,
+        heapwords,
+        mtl,
+        microlens,
+        nothunks,
+        quiet,
+        set-algebra >=1.0,
+        small-steps >=1.0,
+        cardano-strict-containers,
+        text,
+        time,
+        transformers,
+        validation-selective
+
+    if flag(asserts)
+        ghc-options: -fno-ignore-asserts
+
+library testlib
+    exposed-modules:
+        Test.Cardano.Ledger.Shelley.Arbitrary
+        Test.Cardano.Ledger.Shelley.Binary.Golden
+        Test.Cardano.Ledger.Shelley.Constants
+
+    visibility:       public
+    hs-source-dirs:   testlib
+    default-language: Haskell2010
+    ghc-options:
+        -Wall -Wcompat -Wincomplete-record-updates
+        -Wincomplete-uni-patterns -Wredundant-constraints -Wpartial-fields
+        -Wunused-packages
+
+    build-depends:
+        base,
+        bytestring,
+        cardano-crypto-class,
+        cardano-data,
+        cardano-ledger-binary:{cardano-ledger-binary, testlib},
+        cardano-ledger-core:{cardano-ledger-core, testlib},
+        cardano-ledger-byron,
+        cardano-ledger-byron-test,
+        cardano-ledger-shelley,
+        containers,
+        generic-random,
+        containers,
+        vector-map,
+        mtl,
+        text,
+        hedgehog-quickcheck
+
+test-suite tests
+    type:             exitcode-stdio-1.0
+    main-is:          Main.hs
+    hs-source-dirs:   test
+    other-modules:    Test.Cardano.Ledger.Shelley.Binary.GoldenSpec
+    default-language: Haskell2010
+    ghc-options:
+        -Wall -Wcompat -Wincomplete-record-updates
+        -Wincomplete-uni-patterns -Wredundant-constraints -Wpartial-fields
+        -Wunused-packages -threaded -rtsopts -with-rtsopts=-N
+
+    build-depends:
+        base,
+        cardano-ledger-core:testlib,
+        cardano-ledger-shelley,
+        testlib
diff --git a/_sources/cardano-ledger-shelley/1.1.1.0/meta.toml b/_sources/cardano-ledger-shelley/1.1.1.0/meta.toml
@@ -1,3 +1,7 @@
 timestamp = 2023-04-11T21:04:18Z
 github = { repo = "input-output-hk/cardano-ledger", rev = "36cae5287cf6b83e714782dd6a8140df882b55de" }
 subdir = 'eras/shelley/impl'
+
+[[revisions]]
+number = 1
+timestamp = 2023-05-11T21:33:43Z