Update to cardano api 10.10 alongside CNE

cabal.project

@@ -1,23 +1,17 @@
 packages:
   .
+  cardano-node-emulator
+  plutus-ledger
+  plutus-script-utils
+  freer-extras
 
 package cooked-validators
   coverage: True
   library-coverage: True
 
 package cardano-crypto-praos
   flags: -external-libsodium-vrf
-
-source-repository-package
-  type: git
-  location: https://github.com/IntersectMBO/cardano-node-emulator/
-  tag: 3bdb1f2a578226c1aa39fe09b8fb13e3a0be6d6a
-  subdir:
-    cardano-node-emulator
-    plutus-ledger
-    plutus-script-utils
-    freer-extras
-
+
 -- Everything below this point has been copied from cardano-node-emulator cabal.project
 
 -- Custom repository for cardano haskell packages
@@ -33,10 +27,9 @@ repository cardano-haskell-packages
     c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
     d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
 
--- See CONTRIBUTING.adoc for how to update index-state
 index-state:
-  , hackage.haskell.org 2024-06-12T10:10:17Z
-  , cardano-haskell-packages 2024-06-12T10:10:17Z
+  , hackage.haskell.org 2024-12-24T12:56:48Z
+  , cardano-haskell-packages 2025-02-28T13:16:07Z
 
 -- We never, ever, want this.
 write-ghc-environment-files: never
@@ -59,12 +52,4 @@ package cardano-crypto-praos
   flags: -external-libsodium-vrf
 
 constraints:
-  cardano-api ^>= 8.46
-
-source-repository-package
-    type: git
-    location: https://github.com/input-output-hk/quickcheck-contractmodel
-    tag: b19a7689a0d40ba3c7f91da87ef5fbcf20f3926c
-    subdir:
-      quickcheck-contractmodel
-      quickcheck-threatmodel
+  cardano-api ^>= 10.10

cardano-node-emulator/CHANGELOG.md

@@ -0,0 +1,27 @@
+
+<a id='changelog-1.2.0'></a>
+# 1.2.0 — 2023-03-03
+
+## Removed
+
+- Removed `OpenApi.ToSchema` instance for `SlotConfig`.
+
+- Remove `estimateTransactionFee`, `signTx`, `fromPlutusTx`, `fromPlutusTxSigned`, `fromPlutusTxSigned'` as the `Tx` was removed from `plutus-ledger`.
+
+## Changed
+
+- The default utxo provider for balancing now selects bigger inputs first when adding new inputs, to reduce the number of inputs.
+  This was in particular a problem for collateral inputs, of which there can only be 3.
+
+<a id='changelog-1.1.0'></a>
+# 1.1.0 — 2023-01-12
+
+## Added
+
+- Moved from `plutus-ledger` package:
+  - `Ledger.TimeSlot` to `Cardano.Node.Emulator.TimeSlot`
+  - `Ledger.Params` to `Cardano.Node.Emulator.Params`
+  - `Ledger.Generators` to `Cardano.Node.Emulator.Generators`
+  - `Ledger.Fee` to `Cardano.Node.Emulator.Fee`
+  - `Ledger.Validation` to `Cardano.Node.Emulator.Validation`
+  - `Wallet.Emulator.Chain` to `Cardano.Node.Emulator.Chain`

cardano-node-emulator/cardano-node-emulator.cabal

@@ -0,0 +1,93 @@
+cabal-version: 3.8
+name:          cardano-node-emulator
+version:       1.4.0.0
+
+common lang
+  default-language:   Haskell2010
+  default-extensions:
+    DeriveFoldable
+    DeriveFunctor
+    DeriveGeneric
+    DeriveLift
+    DeriveTraversable
+    ExplicitForAll
+    FlexibleContexts
+    GeneralizedNewtypeDeriving
+    ImportQualifiedPost
+    LambdaCase
+    NamedFieldPuns
+    ScopedTypeVariables
+    StandaloneDeriving
+
+  -- See Plutus Tx readme for why we need the following flags:
+  -- -fobject-code -fno-ignore-interface-pragmas and -fno-omit-interface-pragmas
+  ghc-options:
+    -Wall -Widentities -Wincomplete-record-updates -Wunused-packages
+    -Wincomplete-uni-patterns -Wnoncanonical-monad-instances
+    -Wredundant-constraints -Wmissing-import-lists -fobject-code
+    -fno-ignore-interface-pragmas -fno-omit-interface-pragmas
+    -fplugin-opt PlutusTx.Plugin:target-version=1.1.0 -fplugin-opt
+    PlutusTx.Plugin:defer-errors
+
+  -- The limitation of plutus-tx-plugin
+  if (impl(ghc <9.6) || impl(ghc >=9.7))
+    buildable: False
+
+library
+  import:          lang
+  hs-source-dirs:  src
+  exposed-modules:
+    Cardano.Node.Emulator
+    Cardano.Node.Emulator.API
+    Cardano.Node.Emulator.Generators
+    Cardano.Node.Emulator.Internal.API
+    Cardano.Node.Emulator.Internal.Node
+    Cardano.Node.Emulator.Internal.Node.Chain
+    Cardano.Node.Emulator.Internal.Node.Params
+    Cardano.Node.Emulator.Internal.Node.TimeSlot
+    Cardano.Node.Emulator.Internal.Node.Validation
+    Cardano.Node.Emulator.LogMessages
+
+  --------------------
+  -- Local components
+  --------------------
+  build-depends:
+    , freer-extras         ^>=1.4.0
+    , plutus-ledger        ^>=1.4.0
+
+  --------------------------
+  -- Other IOG dependencies
+  --------------------------
+  build-depends:
+    , cardano-api:{cardano-api,gen} ^>=10.10
+    , cardano-crypto
+    , cardano-ledger-alonzo
+    , cardano-ledger-api
+    , cardano-ledger-binary
+    , cardano-ledger-conway
+    , cardano-ledger-core
+    , cardano-ledger-shelley
+    , cardano-slotting
+    , ouroboros-consensus
+    , plutus-ledger-api                         >=1.0.0
+    , plutus-tx                                 >=1.0.0
+    , sop-extras
+    , strict-sop-core
+
+  ------------------------
+  -- Non-IOG dependencies
+  ------------------------
+  build-depends:
+    , aeson          >=2
+    , base           >=4.9     && <5
+    , bytestring
+    , containers
+    , data-default
+    , freer-simple
+    , hedgehog
+    , lens
+    , mtl
+    , prettyprinter  >=1.1.0.1
+    , sop-core
+    , text
+    , time

cardano-node-emulator/changelog.d/20230321_142001_sjoerd.visscher_PLT_1582_Cardano_Node_Emulator_Plain.md

@@ -0,0 +1,3 @@
+### Added
+
+- Added `Cardano.Node.Emulator.MTL`, a module that helps run the node emulator without the `Contract` monad.

cardano-node-emulator/changelog.d/20230331_165428_sjoerd.visscher_plt_5389_mtl_contractmodel.md

@@ -0,0 +1,4 @@
+### Added
+
+- Added `Cardano.Node.Emulator.MTL.Test`, with helpers for writing tests, including `quickcheck-contractmodel` tests.
+- Added `currentSlot`, `awaitSlot` and `getParams` to `Cardano.Node.Emulator.MTL`.

cardano-node-emulator/changelog.d/20230418_172119_sjoerd.visscher_PLT_5512_emulator_logging.md

@@ -0,0 +1,4 @@
+### Added
+
+- Added logging methods to the MTL api: `logInfo`, `logDebug`, `logWarn` and `logError`.
+

cardano-node-emulator/changelog.d/20230523_153415_sjoerd.visscher_PLT_5620_node_emulator_mtl_query_fns.md

@@ -0,0 +1,3 @@
+### Added
+
+- Added `utxoAtTxOutRef` and `lookupDatum` functions to `Cardano.Node.Emulator.MTL`.

cardano-node-emulator/changelog.d/scriv.ini

@@ -0,0 +1 @@
+../../scriv.ini

cardano-node-emulator/src/Cardano/Node/Emulator.hs

@@ -0,0 +1,25 @@
+{-# OPTIONS_GHC -Wno-missing-import-lists #-}
+
+-- | This module re-export the content needed to test a contract with the node emulator.
+module Cardano.Node.Emulator
+  ( -- * Emulator contracts
+    module Cardano.Node.Emulator.API,
+    module Params,
+
+    -- * Contract helpers
+    module Gen,
+  )
+where
+
+import Cardano.Node.Emulator.API
+import Cardano.Node.Emulator.Generators as Gen
+  ( alwaysSucceedPolicy,
+    alwaysSucceedPolicyId,
+    emptyTxBodyContent,
+    knownAddresses,
+    knownPaymentKeys,
+    knownPaymentPrivateKeys,
+    knownPaymentPublicKeys,
+    someTokenValue,
+  )
+import Cardano.Node.Emulator.Internal.Node.Params as Params (Params)