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

Use Plutus Scripts anywhere scripts are allowed. #2348

Merged
merged 1 commit into from
Jul 30, 2021

Conversation

TimSheard
Copy link
Contributor

Added 2 arg scripts, and associated helper functions.
(pay,stake) script pairs now may have plutus in both parts.
Added the use of plutus scripts in minting as well.

@@ -94,6 +104,10 @@ import Test.Shelley.Spec.Ledger.Generator.Update (genM, genShelleyPParamsDelta)
import qualified Test.Shelley.Spec.Ledger.Generator.Update as Shelley (genPParams)
import Test.Shelley.Spec.Ledger.Generator.Utxo (encodedLen)

-- import Cardano.Ledger.Pretty(PrettyA(..))
-- import Debug.Trace(trace)
-- import Test.Cardano.Ledger.Alonzo.Trace(ptrace)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

can remove

Copy link
Contributor

@JaredCorduan JaredCorduan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is really exciting, thank you! Looks good to me!

@TimSheard TimSheard force-pushed the ts-more-plutusUses branch 4 times, most recently from bad6364 to 41ddcf6 Compare June 25, 2021 19:07
@TimSheard TimSheard force-pushed the ts-more-plutusUses branch 4 times, most recently from fd008e6 to e4f598e Compare July 28, 2021 13:25
@JaredCorduan
Copy link
Contributor

@TimSheard is this ready to merge?

(pay,stake) script pairs now may have plutus in both parts.
Added the use of plutus scripts in minting as well.
Discards are now traced to avoid silence.
Now we use valueFromList rather than Map.singleton to make Values,
this avoids the introduction of non-canonical values.
Added an example of how to profile a property test.
@JaredCorduan JaredCorduan merged commit 38850aa into master Jul 30, 2021
@iohk-bors iohk-bors bot deleted the ts-more-plutusUses branch July 30, 2021 12:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants