Updated ContractModel tutorial #399
Merged
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
|
@sjoerdvisscher do you understand why there are diffs with |
|
@sjoerdvisscher Also, do you understand the error in the tutorial build system? It appears to be complaining that |
|
@MaximilianAlgehed Try fetching and rebasing again, there are definitely still changes. For the build error: you need to add |
MaximilianAlgehed
force-pushed
the
PR-tutorial
branch
from
42e15d4
to
fae8a44
Compare
…h something to gain.
MaximilianAlgehed
force-pushed
the
PR-tutorial
branch
from
a2a8649
to
61c1e1c
Compare
sjoerdvisscher
approved these changes
Apr 13, 2022
raduom
pushed a commit
to raduom/plutus-apps
that referenced
this pull request
Apr 21, 2022
* Small changes to Uniswap model; test out-of-order tokens * Changes to GameStateMachine generation * Add some negative testing to Spec.Uniswap * Add HTML coverage reporting for on-chain coverage info * First push on tutorial * Add ...WithOptions versions of checkNoLockedFundsProof(Fast) * Add No Locked Funds tutorial * checkNoLockedFundsProof: only run the wallet strategy for wallets with something to gain. * DynamicLogic: make anyActions_ generate a length depending on size parameter * Add time awareness section to the tutorial * Add coverage section to the tutorial * Make nextReactiveState and monitoring work in CrashTolerance tests * Add crash tolerance to the tutorial * Add ghc options to Auction.hs * Update tutorial Escrow specs to compile again * Add section on Auction to the tutorial * Enable SymValue in Actions (by deriving Data) * Add actionName to ContractModel * ContractModel: check *all* wallet balances, not just those changed in the model * Short section about certification in tutorial * fixed build errors in tutorial modules and ran updateMaterialized Co-authored-by: John <john.hughes@quviq.com>
raduom
pushed a commit
to raduom/plutus-apps
that referenced
this pull request
Apr 27, 2022
* Small changes to Uniswap model; test out-of-order tokens * Changes to GameStateMachine generation * Add some negative testing to Spec.Uniswap * Add HTML coverage reporting for on-chain coverage info * First push on tutorial * Add ...WithOptions versions of checkNoLockedFundsProof(Fast) * Add No Locked Funds tutorial * checkNoLockedFundsProof: only run the wallet strategy for wallets with something to gain. * DynamicLogic: make anyActions_ generate a length depending on size parameter * Add time awareness section to the tutorial * Add coverage section to the tutorial * Make nextReactiveState and monitoring work in CrashTolerance tests * Add crash tolerance to the tutorial * Add ghc options to Auction.hs * Update tutorial Escrow specs to compile again * Add section on Auction to the tutorial * Enable SymValue in Actions (by deriving Data) * Add actionName to ContractModel * ContractModel: check *all* wallet balances, not just those changed in the model * Short section about certification in tutorial * fixed build errors in tutorial modules and ran updateMaterialized Co-authored-by: John <john.hughes@quviq.com>
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 PR introduces a new ContractModel tutorial.
Most of the material is in place already but due to some delays on our end there are some additions later. Some of these are hinted in the tutorial right now but that should not hamper readability until we've finalized the last sections.
I think it makes sense to start reviewing and merging this as soon as possible regardless of this, as this is already 60 A4 pages of material :)
Pre-submit checklist: