Add more smoke-tests packages up to cardano-node

.github/workflows/CI.yml

@@ -116,6 +116,7 @@ jobs:
         uses: nixbuild/nixbuild-action@v16
         with:
           nixbuild_token: ${{secrets.NIXBUILD_TOKEN}}
+          generate_summary_for: 'job'
 
       - uses: actions/checkout@v3
 

_sources/byron-spec-chain/0.1.1.1/meta.toml

@@ -1,3 +1,7 @@
 timestamp = 2022-11-11T00:24:50Z
 github = { repo = "input-output-hk/cardano-ledger", rev = "2fac95ef338ff9622543d08fe16d0fa6716d0019" }
 subdir = 'eras/byron/chain/executable-spec'
+
+[[revisions]]
+number = 1
+timestamp = 2023-03-21T14:36:24Z

_sources/byron-spec-chain/0.1.1.1/revisions/1.cabal

@@ -0,0 +1,78 @@
+cabal-version: 2.2
+
+name:                byron-spec-chain
+version:             0.1.1.1
+synopsis:            Executable specification of the Cardano blockchain
+-- description:
+homepage:            https://github.com/input-output-hk/cardano-legder-specs
+license:             Apache-2.0
+author:              IOHK Formal Methods Team
+maintainer:          [email protected]
+-- copyright:
+category:            Testing
+build-type:          Simple
+extra-source-files:  ChangeLog.md
+
+common base
+  build-depends:      base >= 4.12 && < 4.15
+
+common project-config
+  default-language:   Haskell2010
+
+  ghc-options:        -Wall
+                      -Wcompat
+                      -Wincomplete-record-updates
+                      -Wincomplete-uni-patterns
+                      -Wredundant-constraints
+                      -Wunused-packages
+
+library
+  import:             base, project-config
+
+  exposed-modules:     Byron.Spec.Chain.STS.Block
+                     , Byron.Spec.Chain.STS.Rule.BBody
+                     , Byron.Spec.Chain.STS.Rule.Bupi
+                     , Byron.Spec.Chain.STS.Rule.Chain
+                     , Byron.Spec.Chain.STS.Rule.Epoch
+                     , Byron.Spec.Chain.STS.Rule.Pbft
+                     , Byron.Spec.Chain.STS.Rule.SigCnt
+
+  hs-source-dirs:      src
+  build-depends:       bimap >=0.4 && <0.5
+                     , bytestring
+                     , cardano-data
+                     , containers
+                     , byron-spec-ledger >= 0.1.1.1
+                     , goblins
+                     , hashable
+                     , hedgehog >= 1.0.4
+                     , microlens
+                     , microlens-th
+                     , small-steps
+                     , small-steps-test
+
+test-suite chain-rules-test
+  import:             base, project-config
+
+  hs-source-dirs:      test
+  main-is:             Main.hs
+  other-modules:       Test.Byron.Spec.Chain.STS.Properties
+                     , Test.Byron.AbstractSize.Properties
+  type:                exitcode-stdio-1.0
+  default-language:    Haskell2010
+  build-depends:       containers
+                     , cardano-data
+                     , data-ordlist
+                     , hedgehog >= 1.0.4
+                     , microlens
+                     , tasty
+                     , tasty-hedgehog
+                     , tasty-hunit
+                     -- local deps
+                     , byron-spec-chain
+                     , byron-spec-ledger
+                     , small-steps
+                     , small-steps-test
+
+  -- See `byron-spec-ledger.cabal` for an explanation of the options below.
+  ghc-options:         "-with-rtsopts=-K4m -M300m"

_sources/byron-spec-chain/0.1.1.2/meta.toml

@@ -1,3 +1,7 @@
 timestamp = 2022-11-14T13:25:11Z
 github = { repo = "input-output-hk/cardano-ledger", rev = "760a73e89ef040d3ad91b4b0386b3bbace9431a9" }
 subdir = 'eras/byron/chain/executable-spec'
+
+[[revisions]]
+number = 1
+timestamp = 2023-03-21T14:36:05Z

_sources/byron-spec-chain/0.1.1.2/revisions/1.cabal

@@ -0,0 +1,78 @@
+cabal-version: 2.2
+
+name:                byron-spec-chain
+version:             0.1.1.2
+synopsis:            Executable specification of the Cardano blockchain
+-- description:
+homepage:            https://github.com/input-output-hk/cardano-legder-specs
+license:             Apache-2.0
+author:              IOHK Formal Methods Team
+maintainer:          [email protected]
+-- copyright:
+category:            Testing
+build-type:          Simple
+extra-source-files:  ChangeLog.md
+
+common base
+  build-depends:      base >= 4.12 && < 4.17
+
+common project-config
+  default-language:   Haskell2010
+
+  ghc-options:        -Wall
+                      -Wcompat
+                      -Wincomplete-record-updates
+                      -Wincomplete-uni-patterns
+                      -Wredundant-constraints
+                      -Wunused-packages
+
+library
+  import:             base, project-config
+
+  exposed-modules:     Byron.Spec.Chain.STS.Block
+                     , Byron.Spec.Chain.STS.Rule.BBody
+                     , Byron.Spec.Chain.STS.Rule.Bupi
+                     , Byron.Spec.Chain.STS.Rule.Chain
+                     , Byron.Spec.Chain.STS.Rule.Epoch
+                     , Byron.Spec.Chain.STS.Rule.Pbft
+                     , Byron.Spec.Chain.STS.Rule.SigCnt
+
+  hs-source-dirs:      src
+  build-depends:       bimap >=0.4 && <0.5
+                     , bytestring
+                     , cardano-data
+                     , containers
+                     , byron-spec-ledger >= 0.1.1.2
+                     , goblins
+                     , hashable
+                     , hedgehog >= 1.0.4
+                     , microlens
+                     , microlens-th
+                     , small-steps
+                     , small-steps-test
+
+test-suite chain-rules-test
+  import:             base, project-config
+
+  hs-source-dirs:      test
+  main-is:             Main.hs
+  other-modules:       Test.Byron.Spec.Chain.STS.Properties
+                     , Test.Byron.AbstractSize.Properties
+  type:                exitcode-stdio-1.0
+  default-language:    Haskell2010
+  build-depends:       containers
+                     , cardano-data
+                     , data-ordlist
+                     , hedgehog >= 1.0.4
+                     , microlens
+                     , tasty
+                     , tasty-hedgehog
+                     , tasty-hunit
+                     -- local deps
+                     , byron-spec-chain
+                     , byron-spec-ledger
+                     , small-steps
+                     , small-steps-test
+
+  -- See `byron-spec-ledger.cabal` for an explanation of the options below.
+  ghc-options:         "-with-rtsopts=-K4m -M300m"

_sources/byron-spec-ledger/0.1.1.1/meta.toml

@@ -1,3 +1,7 @@
 timestamp = 2022-11-11T00:24:50Z
 github = { repo = "input-output-hk/cardano-ledger", rev = "2fac95ef338ff9622543d08fe16d0fa6716d0019" }
 subdir = 'eras/byron/ledger/executable-spec'
+
+[[revisions]]
+number = 1
+timestamp = 2023-03-21T14:35:27Z

_sources/byron-spec-ledger/0.1.1.1/revisions/1.cabal

@@ -0,0 +1,105 @@
+cabal-version: 2.2
+
+name:                byron-spec-ledger
+version:             0.1.1.1
+synopsis:            Executable specification of Cardano ledger
+-- description:
+homepage:            https://github.com/input-output-hk/cardano-legder-specs
+license:             Apache-2.0
+author:              IOHK Formal Methods Team
+maintainer:          [email protected]
+-- copyright:
+category:            Testing
+build-type:          Simple
+
+extra-source-files:  CHANGELOG.md
+                     src/goblin_genomes/*.genome
+
+common base
+  build-depends:      base >= 4.12 && < 4.15
+
+common project-config
+  default-language:   Haskell2010
+
+  ghc-options:        -Wall
+                      -Wcompat
+                      -Wincomplete-record-updates
+                      -Wincomplete-uni-patterns
+                      -Wredundant-constraints
+                      -Wno-unused-packages
+
+library
+  import:             base, project-config
+
+  hs-source-dirs:      src
+  exposed-modules:     Hedgehog.Gen.Double
+                     , Byron.Spec.Ledger.Core
+                     , Byron.Spec.Ledger.Core.Generators
+                     , Byron.Spec.Ledger.Core.Omniscient
+                     , Byron.Spec.Ledger.Delegation
+                     , Byron.Spec.Ledger.Delegation.Test
+                     , Byron.Spec.Ledger.GlobalParams
+                     , Byron.Spec.Ledger.Update
+                     , Byron.Spec.Ledger.Update.Generators
+                     , Byron.Spec.Ledger.Update.Test
+                     , Byron.Spec.Ledger.UTxO
+                     , Byron.Spec.Ledger.UTxO.Generators
+                     , Byron.Spec.Ledger.Util
+                     , Byron.Spec.Ledger.STS.UTXO
+                     , Byron.Spec.Ledger.STS.UTXOW
+                     , Byron.Spec.Ledger.STS.UTXOWS
+  build-depends:       bimap >=0.4 && <0.5
+                     , cardano-data
+                     , containers
+                     , filepath
+                     , goblins
+                     , hashable
+                     , hedgehog >= 1.0.4
+                     , microlens
+                     , microlens-th
+                     , nothunks
+                     , template-haskell
+                     , Unique >= 0.4.7.6
+                     -- IOHK deps
+                     , cardano-binary
+                     , cardano-prelude >= 0.1.0.1
+                     -- Local deps
+                     , small-steps
+                     , small-steps-test
+
+test-suite byron-spec-ledger-test
+  import:             base, project-config
+
+  hs-source-dirs: test
+  main-is: Main.hs
+  other-modules: Test.Byron.Spec.Ledger.Core.Generators.Properties
+               , Test.Byron.Spec.Ledger.Delegation.Examples
+               , Test.Byron.Spec.Ledger.Delegation.Properties
+               , Test.Byron.Spec.Ledger.AbstractSize.Properties
+               , Test.Byron.Spec.Ledger.Update.Examples
+               , Test.Byron.Spec.Ledger.Update.Properties
+               , Test.Byron.Spec.Ledger.Relation.Properties
+               , Test.Byron.Spec.Ledger.UTxO.Properties
+  type: exitcode-stdio-1.0
+  default-language:    Haskell2010
+  build-depends: bimap >=0.4 && <0.5
+               , cardano-data
+               , containers
+               , hedgehog >= 1.0.4
+               , microlens
+               , microlens-th
+               , tasty
+               , tasty-hunit
+               , tasty-hedgehog
+               , Unique >= 0.4.7.6
+               -- Local deps
+               , byron-spec-ledger
+               , small-steps
+               , small-steps-test
+
+  -- We set a bound here so that we're alerted of potential space
+  -- leaks in our generators (or test) code.
+  --
+  -- The 4 megabytes stack bound and 150 megabytes heap bound were
+  -- determined ad-hoc.
+  ghc-options:        "-with-rtsopts=-K4m -M150m"

_sources/byron-spec-ledger/0.1.1.2/meta.toml

@@ -1,3 +1,7 @@
 timestamp = 2022-11-14T13:25:11Z
 github = { repo = "input-output-hk/cardano-ledger", rev = "760a73e89ef040d3ad91b4b0386b3bbace9431a9" }
 subdir = 'eras/byron/ledger/executable-spec'
+
+[[revisions]]
+number = 1
+timestamp = 2023-03-21T14:34:09Z