Update gh-pages

Store path: /nix/store/bgp4vqhn18pbvpwadh26d81w1nzdmyd3-website

Author: hercules-ci[bot]

comparison.html

@@ -158,6 +158,14 @@ <h1 id="comparison"><a class="header" href="#comparison">Comparison</a></h1>
 <li>Plutarch while decoding Data-encoded types is checking for invariants such as hashes lengths, map key ordering etc. which leads to higher start up cost visible in NFT Marketplace validator.</li>
 <li>Opshin does expose option to compile without tracing so that is included in the final size. All implementations use traces in their source code but remaining allow to strip it with a compilation flag.</li>
 </ul>
+<h2 id="versions"><a class="header" href="#versions">Versions</a></h2>
+<!-- versions.md -->
+<ul>
+<li>plutus-tx: 1.40.0.0</li>
+<li>plutarch: 1.10.1</li>
+<li>aiken: v1.0.24-alpha+unknown</li>
+<li>opshin: 0.23.0</li>
+</ul>
 <h2 id="script-size-bytes"><a class="header" href="#script-size-bytes">Script size (bytes)</a></h2>
 <p>Script sizes are compared by compiling each script to CBOR and taking its binary size in bytes. Validators are compiled without traces if language supports it (Opshin does not) and are not passed through any external UPLC optimizer.</p>
 <p><img src="./script_size.png" alt="size plot" /></p>

default.nix

@@ -1,22 +1,39 @@
-{
+{ lib, ... }: {
   hercules-ci.github-pages.branch = "master";
-  perSystem = { self', config, ... }: {
-    hercules-ci.github-pages.settings.contents = config.packages.website;
+  perSystem = { self', config, pkgs, ... }:
+    let
+      findCabalVersion = dep:
+        (lib.findFirst
+          (p: p.identifier.name == dep)
+          (throw "No ${dep} in dependencies")
+          self'.packages.${"${dep}-implementation-export"}.passthru.config.depends).identifier.version;
 
-    mdBook = {
-      website = {
-        src = ./.;
-        preBuild = ''
-          mkdir -p static
-          cp ${self'.packages.nft-marketplace-specification}/nft-marketplace.pdf static/nft-marketplace-spec.pdf
-          cp ${self'.packages.dex-specification}/dex.pdf static/constant-product-dex-spec.pdf
-          cp ${self'.packages.data-files}/* .
+      versionsFile = pkgs.runCommand "versions.md" { } ''
+        { echo - plutus-tx: ${findCabalVersion "plutus-tx"}
+          echo - plutarch: ${findCabalVersion "plutarch"}
+          echo - aiken: $(${config.libAiken.packages.aiken}/bin/aiken --version | cut -d ' ' -f 2)
+          echo - opshin: $(${pkgs.opshin}/bin/opshin --version | cut -d ' ' -f 2)
+        } > $out
+      '';
+    in
+    {
+      hercules-ci.github-pages.settings.contents = config.packages.website;
 
-          for f in *.md; do
-              sed --in-place "/<!-- $f -->/r $f" comparison.md
-          done
-        '';
+      mdBook = {
+        website = {
+          src = ./.;
+          preBuild = ''
+            mkdir -p static
+            cp ${self'.packages.nft-marketplace-specification}/nft-marketplace.pdf static/nft-marketplace-spec.pdf
+            cp ${self'.packages.dex-specification}/dex.pdf static/constant-product-dex-spec.pdf
+            cp ${self'.packages.data-files}/* .
+            cp ${versionsFile} versions.md
+
+            for f in *.md; do
+                sed --in-place "/<!-- $f -->/r $f" comparison.md
+            done
+          '';
+        };
       };
     };
-  };
 }

print.html

@@ -170,6 +170,14 @@ <h1 id="introduction"><a class="header" href="#introduction">Introduction</a></h
 <li>Plutarch while decoding Data-encoded types is checking for invariants such as hashes lengths, map key ordering etc. which leads to higher start up cost visible in NFT Marketplace validator.</li>
 <li>Opshin does expose option to compile without tracing so that is included in the final size. All implementations use traces in their source code but remaining allow to strip it with a compilation flag.</li>
 </ul>
+<h2 id="versions"><a class="header" href="#versions">Versions</a></h2>
+<!-- versions.md -->
+<ul>
+<li>plutus-tx: 1.40.0.0</li>
+<li>plutarch: 1.10.1</li>
+<li>aiken: v1.0.24-alpha+unknown</li>
+<li>opshin: 0.23.0</li>
+</ul>
 <h2 id="script-size-bytes"><a class="header" href="#script-size-bytes">Script size (bytes)</a></h2>
 <p>Script sizes are compared by compiling each script to CBOR and taking its binary size in bytes. Validators are compiled without traces if language supports it (Opshin does not) and are not passed through any external UPLC optimizer.</p>
 <p><img src="./script_size.png" alt="size plot" /></p>