Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Marlowe Runtime 0.0.2 #347

Merged
merged 14 commits into from
Jun 19, 2023
Merged
15 changes: 12 additions & 3 deletions CODEOWNERS
Validating CODEOWNERS rules …
Original file line number Diff line number Diff line change
Expand Up @@ -134,6 +134,15 @@ _sources/tracer-transformers @input-output-hk/performance-tracing
_sources/tx-generator @input-output-hk/performance-tracing

# Marlowe
_sources/marlowe @input-output-hk/marlowe
_sources/marlowe-reference @input-output-hk/marlowe
_sources/marlowe-spec-test @input-output-hk/marlowe
_sources/async-components @input-output-hk/marlowe
_sources/eventuo11y-extras @input-output-hk/marlowe
_sources/marlowe-cardano @input-output-hk/marlowe
_sources/marlowe-chain-sync @input-output-hk/marlowe
_sources/marlowe-client @input-output-hk/marlowe
_sources/marlowe-protocols @input-output-hk/marlowe
_sources/marlowe-runtime @input-output-hk/marlowe
_sources/marlowe-runtime-web @input-output-hk/marlowe
_sources/marlowe-test @input-output-hk/marlowe
_sources/marlowe @input-output-hk/marlowe
_sources/marlowe-reference @input-output-hk/marlowe
_sources/marlowe-spec-test @input-output-hk/marlowe
7 changes: 7 additions & 0 deletions _sources/async-components/0.1.1.0/meta.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
timestamp = 2023-06-16T13:23:00Z
github = { repo = "input-output-hk/marlowe-cardano", rev = "d7cf83e74e2ea2dc009e6a77a44de2667bfe3cae" }
subdir = 'async-components'

[[revisions]]
number = 1
timestamp = 2023-06-16T13:29:00Z
71 changes: 71 additions & 0 deletions _sources/async-components/0.1.1.0/revisions/1.cabal
Original file line number Diff line number Diff line change
@@ -0,0 +1,71 @@
cabal-version: 3.0
name: async-components
version: 0.1.1.0
synopsis: Async components for building concurrent server processes.
bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues
license: Apache-2.0
author: Jamie Bertram
maintainer: [email protected]
stability: experimental
category: Language
license-files:
LICENSE
NOTICE

source-repository head
type: git
location: https://github.com/input-output-hk/marlowe-cardano
subdir: async-components

library
default-language: Haskell2010
hs-source-dirs: src
default-extensions:
BlockArguments
DeriveAnyClass
DeriveFoldable
DeriveFunctor
DeriveGeneric
DeriveLift
DeriveTraversable
DerivingStrategies
DerivingVia
ExplicitForAll
GeneralizedNewtypeDeriving
LambdaCase
NamedFieldPuns
NumericUnderscores
OverloadedStrings
RecordWildCards
ScopedTypeVariables
StandaloneDeriving
TupleSections
TypeApplications

ghc-options:
-Wall -Wnoncanonical-monad-instances -Wunused-packages
-Wincomplete-uni-patterns -Wincomplete-record-updates
-Wredundant-constraints -Widentities

exposed-modules:
Control.Concurrent.Component
Control.Concurrent.Component.Probes
Control.Concurrent.Component.Run

build-depends:
, base >=4.9 && <5
, co-log >=0.5.0.0 && <0.6.0.0
, eventuo11y >=0.9 && <0.11
, eventuo11y-extras ==0.1.1.0
, eventuo11y-otel ^>=0.1
, exceptions ^>=0.10
, general-allocate ^>=0.2
, hs-opentelemetry-api ==0.0.3.6
, hs-opentelemetry-sdk ==0.0.3.4
, mtl >=2.2 && <3
, servant ^>=0.19
, servant-client ^>=0.19
, servant-server ^>=0.19
, transformers ^>=0.5.6
, unliftio ^>=0.2.1
, warp >=3.3 && <4
3 changes: 3 additions & 0 deletions _sources/eventuo11y-extras/0.1.1.0/meta.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
timestamp = 2023-06-16T13:23:00Z
github = { repo = "input-output-hk/marlowe-cardano", rev = "d7cf83e74e2ea2dc009e6a77a44de2667bfe3cae" }
subdir = 'eventuo11y-extras'
7 changes: 7 additions & 0 deletions _sources/marlowe-cardano/0.1.1.0/meta.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
timestamp = 2023-06-16T13:23:00Z
github = { repo = "input-output-hk/marlowe-cardano", rev = "d7cf83e74e2ea2dc009e6a77a44de2667bfe3cae" }
subdir = 'marlowe'

[[revisions]]
number = 1
timestamp = 2023-06-16T13:29:00Z
146 changes: 146 additions & 0 deletions _sources/marlowe-cardano/0.1.1.0/revisions/1.cabal
Original file line number Diff line number Diff line change
@@ -0,0 +1,146 @@
cabal-version: 2.2
name: marlowe-cardano
version: 0.1.1.0
license: Apache-2.0
license-files:
LICENSE
NOTICE

build-type: Simple
maintainer: [email protected]
stability: experimental
author: Alexander Nemish
synopsis: Marlowe: financial contracts on Cardano Computation Layer
description:
A reference implementation of Marlowe, domain-specific language targeted at
the execution of financial contracts in the style of Peyton Jones et al
on Cardano Computation Layer.

category: Language
extra-doc-files:
CHANGELOG.md
README.md

data-dir: benchmarks
data-files:
rolepayout/*.benchmark
semantics/*.benchmark

source-repository head
type: git
location: https://github.com/input-output-hk/marlowe-cardano

flag defer-plugin-errors
description:
Defer errors from the plugin, useful for things like Haddock that can't handle it.

default: False
manual: True

flag trace-plutus
description: Enable Plutus trace log for Marlowe validators.
default: False
manual: True

common lang
default-language: Haskell2010
default-extensions:
DeriveFoldable
DeriveFunctor
DeriveGeneric
DeriveLift
DeriveTraversable
ExplicitForAll
ScopedTypeVariables
StandaloneDeriving

ghc-options:
-Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns
-Wincomplete-record-updates -Wredundant-constraints -Widentities
-Wunused-packages -Werror

library
import: lang
hs-source-dirs: src

if !(impl(ghcjs) || os(ghcjs))
build-depends: plutus-tx-plugin ==1.0.0.0

build-depends:
, aeson >=2 && <3
, base >=4.9 && <5
, base16-aeson ==0.1.0.0
, base16-bytestring >=1 && <2
, bech32 >=1.1 && <2
, bytestring >=0.10.12 && <0.12
, containers ^>=0.6.5
, deriving-aeson ^>=0.2.9
, mtl >=2.2 && <3
, multiplate ==0.0.3
, newtype-generics ^>=0.6.2
, ordered-containers ^>=0.2
, plutus-ledger ^>=1.2
, plutus-ledger-api ==1.0.0.1
, plutus-script-utils ==1.2.0.0
, plutus-tx ==1.0.0.0
, sbv ^>=9.2
, scientific ^>=0.3.7
, serialise ^>=0.2.6
, template-haskell >=2.16 && <3
, text >=1.2.4 && <2
, transformers ^>=0.5.6
, wl-pprint >=1.2 && <2

exposed-modules:
Language.Marlowe
Language.Marlowe.Analysis.FSSemantics
Language.Marlowe.Analysis.Safety.Ledger
Language.Marlowe.Analysis.Safety.Transaction
Language.Marlowe.Analysis.Safety.Types
Language.Marlowe.Client
Language.Marlowe.Client.History
Language.Marlowe.Core.V1.Merkle
Language.Marlowe.Core.V1.Plate
Language.Marlowe.Core.V1.Semantics
Language.Marlowe.Core.V1.Semantics.Types
Language.Marlowe.Core.V1.Semantics.Types.Address
Language.Marlowe.Extended.V1
Language.Marlowe.Extended.V1.Metadata.Types
Language.Marlowe.FindInputs
Language.Marlowe.ParserUtil
Language.Marlowe.Pretty
Language.Marlowe.Scripts
Language.Marlowe.Util
Paths_marlowe_cardano
Plutus.Debug

if flag(trace-plutus)
cpp-options: -DTRACE_PLUTUS

executable marlowe-validators
import: lang
hs-source-dirs: app
main-is: Main.hs
other-modules:
Benchmark.Marlowe
Benchmark.Marlowe.RolePayout
Benchmark.Marlowe.Semantics
Benchmark.Marlowe.Types
Benchmark.Marlowe.Util
Paths_marlowe_cardano

build-depends:
, base
, base16-bytestring
, bytestring
, cardano-binary
, containers
, directory
, filepath
, marlowe-cardano
, mtl
, plutus-core
, plutus-ledger-api
, plutus-tx
, serialise
, text
7 changes: 7 additions & 0 deletions _sources/marlowe-chain-sync/0.0.2/meta.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
timestamp = 2023-06-16T13:23:00Z
github = { repo = "input-output-hk/marlowe-cardano", rev = "d7cf83e74e2ea2dc009e6a77a44de2667bfe3cae" }
subdir = 'marlowe-chain-sync'

[[revisions]]
number = 1
timestamp = 2023-06-16T13:29:00Z
Loading