PLT-7586 [DO NOT MERGE] Marlowe semantics validator with PlutusTx.AsData
#10
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
bwbush
added a commit
that referenced
this pull request
Nov 24, 2023
* PLT-8148 Upgraded haskell dependencies to plutus 1.15.0.0. * PLT-8148 Updated Plutus and Cardano API usage. * PLT_8148 Aligned marlowe benchmarking with plutus benchmarking. * PLT_8148 Cleaned up placeholder functions. * PLT-8148 Fixed `UnsafeFromData` instance for `SubScriptContext`. * PLT-8148 Split validators into separate modules. * PLT-8148 Migrate Charli3 oracle bridge. * WIP * PLT-8148 Cleaned up formatting. * PLT-8148 Refactored suppression of validator tracing. * PLT-8148 Reorganized outptu folders. * PLT-8148 Fixed illegal constructor for arbitrary `Data`. * PLT-8148 Updated script size and hash tests. * PLT_8148 Fixed nix outputs for validators. * PLT-8148 Pinned UPLC version of role-token validator. * PLT-8148 Fixed missing trace logs under `--flags=trace-plutus`. * PLT-7584 Flags for validator checks (#9) * PLT-7584 Measurement of Plutus costs when suppressing parts of validation. * PLT-7585 Disabled `fourmolu` because it chokes on the C preprocessor. * PLT-7584 Fixed output file name. * Add options to fourmolu * Fix fourmolu2 --------- Co-authored-by: zeme <lorenzo.calegari@iohk.io> * PLT-7586 [DO NOT MERGE] Marlowe semantics validator with `PlutusTx.AsData` (#10) PLT-7585 Ported `PlutusTx.AsData` validator from IntersectMBO/plutus@107c9a6. --------- Co-authored-by: zeme <lorenzo.calegari@iohk.io>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This experimental version of the Marlowe semantics validator uses
PlutusTx.AsDatafor the Marlowesemantics types. Compile with the cabal flag+plutus-asdata.