Merge pull request #99 from mlabs-haskell/euonymos/ms4-report

euonymos · web-flow · commit c88e3838e8f8 · 2024-09-03T16:52:25.000-06:00
update MS4 report
diff --git a/docs/catalyst_milestone_reports.md b/docs/catalyst_milestone_reports.md
@@ -53,10 +53,11 @@ Understanding state transitions and the overall system flow is critical for ensu
 
 Catalyst Milestone Outputs:
 
-* Plutarch on-chain code generation and optimisation ([PR](https://github.com/mlabs-haskell/cem-script/pull/94))
+* Static DSL for constraints and Plutarch on-chain code generation and optimisation ([PR#96](https://github.com/mlabs-haskell/cem-script/pull/96))
 * Profiling implementation ([PR](https://github.com/mlabs-haskell/cem-script/pull/95))
 * Profiling performed for old (using Plutus) and new (using Plutarch) code generator.
   New one showed advantage over first one in all fees measured, and in some cases in order of magntude.
+* A [video](https://drive.google.com/file/d/1720CsrdQFnpzA2ODDJuu6WK3thmEnE30/view?usp=sharing) that summarizes the outcomes achieved in the milestone.
 
 ## Profiling results
 
@@ -121,7 +122,7 @@ Voting flow (fails exceeding Tx limits on second vote):
 
 ### New (Plutarch with user-defined Plutus logic pieces) backend
 
-Auction: 
+Auction:
 
 ```
   [ ( "BuyoutSpine"
diff --git a/test/Auction.hs b/test/Auction.hs
@@ -18,7 +18,8 @@ import PlutusLedgerApi.V1.Value (assetClassValue)
 import Test.Hspec (describe, it, shouldBe)
 
 import TestNFT (testNftAssetClass)
-import Utils (execClb, mintTestTokens, submitAndCheck)
+import Utils (execClb, mintTestTokens, submitAndCheck, perTransitionStats)
+import Text.Show.Pretty (ppShow)
 
 auctionSpec = describe "AuctionSpec" $ do
   it "Serialise" $ do
@@ -226,3 +227,6 @@ auctionSpec = describe "AuctionSpec" $ do
             ]
         , specSigner = bidder1
         }
+
+    stats <- perTransitionStats
+    liftIO $ putStrLn $ ppShow stats
diff --git a/test/Voting.hs b/test/Voting.hs
@@ -79,5 +79,8 @@ votingSpec = describe "Voting" $ do
           , specSigner = creator
           }
 
+      stats <- perTransitionStats
+      liftIO $ putStrLn $ ppShow stats
+
       Just state <- queryScriptState params
       liftIO $ state `shouldBe` Finalized Abstain

Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,8 @@ import PlutusLedgerApi.V1.Value (assetClassValue)`
`18`	`18`	`import Test.Hspec (describe, it, shouldBe)`
`19`	`19`
`20`	`20`	`import TestNFT (testNftAssetClass)`
`21`		`-import Utils (execClb, mintTestTokens, submitAndCheck)`
	`21`	`+import Utils (execClb, mintTestTokens, submitAndCheck, perTransitionStats)`
	`22`	`+import Text.Show.Pretty (ppShow)`
`22`	`23`
`23`	`24`	`auctionSpec = describe "AuctionSpec" $ do`
`24`	`25`	`it "Serialise" $ do`
`@@ -226,3 +227,6 @@ auctionSpec = describe "AuctionSpec" $ do`
`226`	`227`	`]`
`227`	`228`	`, specSigner = bidder1`
`228`	`229`	`}`
	`230`	`+`
	`231`	`+ stats <- perTransitionStats`
	`232`	`+ liftIO $ putStrLn $ ppShow stats`
Original file line number	Diff line number	Diff line change
`@@ -79,5 +79,8 @@ votingSpec = describe "Voting" $ do`
`79`	`79`	`, specSigner = creator`
`80`	`80`	`}`
`81`	`81`
	`82`	`+ stats <- perTransitionStats`
	`83`	`+ liftIO $ putStrLn $ ppShow stats`
	`84`	`+`
`82`	`85`	`Just state <- queryScriptState params`
`83`	`86`	liftIO $ state `shouldBe` Finalized Abstain