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.

Sign up for GitHub

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

Jump to bottom

Updated ContractModel tutorial #399

Merged
merged 21 commits into from
Apr 13, 2022
Merged

Updated ContractModel tutorial #399

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
3b3e5b4
Small changes to Uniswap model; test out-of-order tokens
rjmh Feb 10, 2022
d9853a0
Changes to GameStateMachine generation
rjmh Feb 16, 2022
3998f4d
Add some negative testing to Spec.Uniswap
rjmh Feb 15, 2022
9227fc4
Add HTML coverage reporting for on-chain coverage info
rjmh Feb 18, 2022
69ae739
First push on tutorial
rjmh Feb 24, 2022
d9b503a
Add ...WithOptions versions of checkNoLockedFundsProof(Fast)
rjmh Mar 17, 2022
790e4f1
Add No Locked Funds tutorial
rjmh Mar 18, 2022
6f3d6c5
checkNoLockedFundsProof: only run the wallet strategy for wallets wit…
rjmh Mar 21, 2022
14fa643
DynamicLogic: make anyActions_ generate a length depending on size pa…
rjmh Mar 22, 2022
a110c1e
Add time awareness section to the tutorial
rjmh Mar 22, 2022
a53b97a
Add coverage section to the tutorial
rjmh Mar 23, 2022
23c2930
Make nextReactiveState and monitoring work in CrashTolerance tests
rjmh Mar 24, 2022
0d99639
Add crash tolerance to the tutorial
rjmh Mar 24, 2022
60ffcc6
Add ghc options to Auction.hs
rjmh Mar 25, 2022
72bcc04
Update tutorial Escrow specs to compile again
rjmh Mar 26, 2022
b851572
Add section on Auction to the tutorial
rjmh Mar 26, 2022
21396de
Enable SymValue in Actions (by deriving Data)
rjmh Mar 28, 2022
205755a
Add actionName to ContractModel
rjmh Mar 28, 2022
52c74ec
ContractModel: check *all* wallet balances, not just those changed in…
rjmh Mar 29, 2022
b5d9c69
Short section about certification in tutorial
MaximilianAlgehed Apr 6, 2022
61c1e1c
fixed build errors in tutorial modules and ran updateMaterialized
MaximilianAlgehed Apr 7, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion doc/default.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
{ stdenv, lib, pythonPackages, sphinxcontrib-domaintools, sphinxcontrib-haddock, sphinx-markdown-tables, sphinxemoji, combined-haddock, ... }:
stdenv.mkDerivation {
name = "plutus-docs";
src = lib.sourceFilesBySuffices ./. [ ".py" ".rst" ".hs" ".png" ".svg" ".bib" ".csv" ".css" ];
src = lib.sourceFilesBySuffices ./. [ ".py" ".rst" ".hs" ".png" ".svg" ".bib" ".csv" ".css" ".html" ];
buildInputs = with pythonPackages; [
sphinx
sphinx_rtd_theme
Expand Down
9 changes: 9 additions & 0 deletions doc/plutus-doc.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -56,6 +56,13 @@ executable doc-doctests
HandlingBlockchainEvents
HelloWorldApp
WriteScriptsTo
Escrow
Escrow2
Escrow3
Escrow4
Escrow5
Escrow6
EscrowImpl
build-depends:
base >=4.9 && <5,
template-haskell >=2.13.0.0,
Expand All @@ -80,6 +87,8 @@ executable doc-doctests
random -any,
text -any,
aeson -any,
tasty -any,
tasty-quickcheck -any

if !(impl(ghcjs) || os(ghcjs))
build-depends: plutus-tx-plugin -any
Loading