deploy: 1fddb29

ethdebug · Sep 28, 2024 · d30fbd5 · d30fbd5
1 parent 514b158
commit d30fbd5
Show file tree

Hide file tree

Showing 87 changed files with 93 additions and 93 deletions.
diff --git a/404.html b/404.html
@@ -4,7 +4,7 @@
 <meta charset="UTF-8">
 <meta name="generator" content="Docusaurus v3.4.0">
 <title data-rh="true">Page Not Found | ethdebug format</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:url" content="https://ethdebug.github.io/format/404.html"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docusaurus_tag" content="default"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docsearch:docusaurus_tag" content="default"><meta data-rh="true" property="og:title" content="Page Not Found | ethdebug format"><link data-rh="true" rel="icon" href="/format/img/favicon.ico"><link data-rh="true" rel="canonical" href="https://ethdebug.github.io/format/404.html"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/404.html" hreflang="en"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/404.html" hreflang="x-default"><link rel="stylesheet" href="/format/assets/css/styles.5de36de1.css">
-<script src="/format/assets/js/runtime~main.d7791420.js" defer="defer"></script>
+<script src="/format/assets/js/runtime~main.d3964bd7.js" defer="defer"></script>
 <script src="/format/assets/js/main.635b7952.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/assets/js/common.3693924e.js b/assets/js/common.3693924e.js
diff --git a/assets/js/common.d9e6497e.js.LICENSE.txt → assets/js/common.3693924e.js.LICENSE.txt b/assets/js/common.d9e6497e.js.LICENSE.txt → assets/js/common.3693924e.js.LICENSE.txt
diff --git a/assets/js/common.d9e6497e.js b/assets/js/common.d9e6497e.js
diff --git a/assets/js/runtime~main.d7791420.js → assets/js/runtime~main.d3964bd7.js b/assets/js/runtime~main.d7791420.js → assets/js/runtime~main.d3964bd7.js
diff --git a/docs/category/prototype-sketches/index.html b/docs/category/prototype-sketches/index.html
@@ -4,7 +4,7 @@
 <meta charset="UTF-8">
 <meta name="generator" content="Docusaurus v3.4.0">
 <title data-rh="true">Prototype sketches | ethdebug format</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:url" content="https://ethdebug.github.io/format/docs/category/prototype-sketches"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docusaurus_version" content="current"><meta data-rh="true" name="docusaurus_tag" content="docs-default-current"><meta data-rh="true" name="docsearch:version" content="current"><meta data-rh="true" name="docsearch:docusaurus_tag" content="docs-default-current"><meta data-rh="true" property="og:title" content="Prototype sketches | ethdebug format"><meta data-rh="true" name="description" content="Informally specified proposals to inform format design"><meta data-rh="true" property="og:description" content="Informally specified proposals to inform format design"><link data-rh="true" rel="icon" href="/format/img/favicon.ico"><link data-rh="true" rel="canonical" href="https://ethdebug.github.io/format/docs/category/prototype-sketches"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/category/prototype-sketches" hreflang="en"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/category/prototype-sketches" hreflang="x-default"><link rel="stylesheet" href="/format/assets/css/styles.5de36de1.css">
-<script src="/format/assets/js/runtime~main.d7791420.js" defer="defer"></script>
+<script src="/format/assets/js/runtime~main.d3964bd7.js" defer="defer"></script>
 <script src="/format/assets/js/main.635b7952.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/docs/implementation-guides/index.html b/docs/implementation-guides/index.html
@@ -4,7 +4,7 @@
 <meta charset="UTF-8">
 <meta name="generator" content="Docusaurus v3.4.0">
 <title data-rh="true">Implementation guides | ethdebug format</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:url" content="https://ethdebug.github.io/format/docs/implementation-guides/"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docusaurus_version" content="current"><meta data-rh="true" name="docusaurus_tag" content="docs-default-current"><meta data-rh="true" name="docsearch:version" content="current"><meta data-rh="true" name="docsearch:docusaurus_tag" content="docs-default-current"><meta data-rh="true" property="og:title" content="Implementation guides | ethdebug format"><meta data-rh="true" name="description" content="This section of these docs serves to provide resources that guide readers who"><meta data-rh="true" property="og:description" content="This section of these docs serves to provide resources that guide readers who"><link data-rh="true" rel="icon" href="/format/img/favicon.ico"><link data-rh="true" rel="canonical" href="https://ethdebug.github.io/format/docs/implementation-guides/"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/" hreflang="en"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/" hreflang="x-default"><link rel="stylesheet" href="/format/assets/css/styles.5de36de1.css">
-<script src="/format/assets/js/runtime~main.d7791420.js" defer="defer"></script>
+<script src="/format/assets/js/runtime~main.d3964bd7.js" defer="defer"></script>
 <script src="/format/assets/js/main.635b7952.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/docs/implementation-guides/pointers/dereference-logic/generating-regions/index.html b/docs/implementation-guides/pointers/dereference-logic/generating-regions/index.html
@@ -4,7 +4,7 @@
 <meta charset="UTF-8">
 <meta name="generator" content="Docusaurus v3.4.0">
 <title data-rh="true">Generating regions on the fly | ethdebug format</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:url" content="https://ethdebug.github.io/format/docs/implementation-guides/pointers/dereference-logic/generating-regions"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docusaurus_version" content="current"><meta data-rh="true" name="docusaurus_tag" content="docs-default-current"><meta data-rh="true" name="docsearch:version" content="current"><meta data-rh="true" name="docsearch:docusaurus_tag" content="docs-default-current"><meta data-rh="true" property="og:title" content="Generating regions on the fly | ethdebug format"><meta data-rh="true" name="description" content="The dereference() function internally creates an"><meta data-rh="true" property="og:description" content="The dereference() function internally creates an"><link data-rh="true" rel="icon" href="/format/img/favicon.ico"><link data-rh="true" rel="canonical" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/dereference-logic/generating-regions"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/dereference-logic/generating-regions" hreflang="en"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/dereference-logic/generating-regions" hreflang="x-default"><link rel="stylesheet" href="/format/assets/css/styles.5de36de1.css">
-<script src="/format/assets/js/runtime~main.d7791420.js" defer="defer"></script>
+<script src="/format/assets/js/runtime~main.d3964bd7.js" defer="defer"></script>
 <script src="/format/assets/js/main.635b7952.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/docs/implementation-guides/pointers/dereference-logic/index.html b/docs/implementation-guides/pointers/dereference-logic/index.html
@@ -4,7 +4,7 @@
 <meta charset="UTF-8">
 <meta name="generator" content="Docusaurus v3.4.0">
 <title data-rh="true">The dereference() function | ethdebug format</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:url" content="https://ethdebug.github.io/format/docs/implementation-guides/pointers/dereference-logic/"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docusaurus_version" content="current"><meta data-rh="true" name="docusaurus_tag" content="docs-default-current"><meta data-rh="true" name="docsearch:version" content="current"><meta data-rh="true" name="docsearch:docusaurus_tag" content="docs-default-current"><meta data-rh="true" property="og:title" content="The dereference() function | ethdebug format"><meta data-rh="true" name="description" content="Summary"><meta data-rh="true" property="og:description" content="Summary"><link data-rh="true" rel="icon" href="/format/img/favicon.ico"><link data-rh="true" rel="canonical" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/dereference-logic/"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/dereference-logic/" hreflang="en"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/dereference-logic/" hreflang="x-default"><link rel="stylesheet" href="/format/assets/css/styles.5de36de1.css">
-<script src="/format/assets/js/runtime~main.d7791420.js" defer="defer"></script>
+<script src="/format/assets/js/runtime~main.d3964bd7.js" defer="defer"></script>
 <script src="/format/assets/js/main.635b7952.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/docs/implementation-guides/pointers/dereference-logic/making-regions-concrete/index.html b/docs/implementation-guides/pointers/dereference-logic/making-regions-concrete/index.html
@@ -4,7 +4,7 @@
 <meta charset="UTF-8">
 <meta name="generator" content="Docusaurus v3.4.0">
 <title data-rh="true">Making regions concrete | ethdebug format</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:url" content="https://ethdebug.github.io/format/docs/implementation-guides/pointers/dereference-logic/making-regions-concrete"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docusaurus_version" content="current"><meta data-rh="true" name="docusaurus_tag" content="docs-default-current"><meta data-rh="true" name="docsearch:version" content="current"><meta data-rh="true" name="docsearch:docusaurus_tag" content="docs-default-current"><meta data-rh="true" property="og:title" content="Making regions concrete | ethdebug format"><meta data-rh="true" name="description" content="There are two main aspects involved when converting from a Pointer.Region,"><meta data-rh="true" property="og:description" content="There are two main aspects involved when converting from a Pointer.Region,"><link data-rh="true" rel="icon" href="/format/img/favicon.ico"><link data-rh="true" rel="canonical" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/dereference-logic/making-regions-concrete"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/dereference-logic/making-regions-concrete" hreflang="en"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/dereference-logic/making-regions-concrete" hreflang="x-default"><link rel="stylesheet" href="/format/assets/css/styles.5de36de1.css">
-<script src="/format/assets/js/runtime~main.d7791420.js" defer="defer"></script>
+<script src="/format/assets/js/runtime~main.d3964bd7.js" defer="defer"></script>
 <script src="/format/assets/js/main.635b7952.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/docs/implementation-guides/pointers/evaluating-expressions/index.html b/docs/implementation-guides/pointers/evaluating-expressions/index.html
@@ -4,7 +4,7 @@
 <meta charset="UTF-8">
 <meta name="generator" content="Docusaurus v3.4.0">
 <title data-rh="true">Evaluating pointer expressions | ethdebug format</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:url" content="https://ethdebug.github.io/format/docs/implementation-guides/pointers/evaluating-expressions"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docusaurus_version" content="current"><meta data-rh="true" name="docusaurus_tag" content="docs-default-current"><meta data-rh="true" name="docsearch:version" content="current"><meta data-rh="true" name="docsearch:docusaurus_tag" content="docs-default-current"><meta data-rh="true" property="og:title" content="Evaluating pointer expressions | ethdebug format"><meta data-rh="true" name="description" content="Expression evaluation is a bit more interesting than reading raw region data,"><meta data-rh="true" property="og:description" content="Expression evaluation is a bit more interesting than reading raw region data,"><link data-rh="true" rel="icon" href="/format/img/favicon.ico"><link data-rh="true" rel="canonical" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/evaluating-expressions"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/evaluating-expressions" hreflang="en"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/evaluating-expressions" hreflang="x-default"><link rel="stylesheet" href="/format/assets/css/styles.5de36de1.css">
-<script src="/format/assets/js/runtime~main.d7791420.js" defer="defer"></script>
+<script src="/format/assets/js/runtime~main.d3964bd7.js" defer="defer"></script>
 <script src="/format/assets/js/main.635b7952.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/docs/implementation-guides/pointers/index.html b/docs/implementation-guides/pointers/index.html
@@ -4,7 +4,7 @@
 <meta charset="UTF-8">
 <meta name="generator" content="Docusaurus v3.4.0">
 <title data-rh="true">Dereferencing pointers | ethdebug format</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:url" content="https://ethdebug.github.io/format/docs/implementation-guides/pointers/"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docusaurus_version" content="current"><meta data-rh="true" name="docusaurus_tag" content="docs-default-current"><meta data-rh="true" name="docsearch:version" content="current"><meta data-rh="true" name="docsearch:docusaurus_tag" content="docs-default-current"><meta data-rh="true" property="og:title" content="Dereferencing pointers | ethdebug format"><meta data-rh="true" name="description" content="_An implementation guide for resolving ethdebug/format/pointers"><meta data-rh="true" property="og:description" content="_An implementation guide for resolving ethdebug/format/pointers"><link data-rh="true" rel="icon" href="/format/img/favicon.ico"><link data-rh="true" rel="canonical" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/" hreflang="en"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/" hreflang="x-default"><link rel="stylesheet" href="/format/assets/css/styles.5de36de1.css">
-<script src="/format/assets/js/runtime~main.d7791420.js" defer="defer"></script>
+<script src="/format/assets/js/runtime~main.d3964bd7.js" defer="defer"></script>
 <script src="/format/assets/js/main.635b7952.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/docs/implementation-guides/pointers/reading-from-regions/index.html b/docs/implementation-guides/pointers/reading-from-regions/index.html
@@ -4,7 +4,7 @@
 <meta charset="UTF-8">
 <meta name="generator" content="Docusaurus v3.4.0">
 <title data-rh="true">Reading from pointer regions | ethdebug format</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:url" content="https://ethdebug.github.io/format/docs/implementation-guides/pointers/reading-from-regions"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docusaurus_version" content="current"><meta data-rh="true" name="docusaurus_tag" content="docs-default-current"><meta data-rh="true" name="docsearch:version" content="current"><meta data-rh="true" name="docsearch:docusaurus_tag" content="docs-default-current"><meta data-rh="true" property="og:title" content="Reading from pointer regions | ethdebug format"><meta data-rh="true" name="description" content="Being able to read a particular pointer region&#x27;s data from a machine state"><meta data-rh="true" property="og:description" content="Being able to read a particular pointer region&#x27;s data from a machine state"><link data-rh="true" rel="icon" href="/format/img/favicon.ico"><link data-rh="true" rel="canonical" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/reading-from-regions"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/reading-from-regions" hreflang="en"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/reading-from-regions" hreflang="x-default"><link rel="stylesheet" href="/format/assets/css/styles.5de36de1.css">
-<script src="/format/assets/js/runtime~main.d7791420.js" defer="defer"></script>
+<script src="/format/assets/js/runtime~main.d3964bd7.js" defer="defer"></script>
 <script src="/format/assets/js/main.635b7952.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/docs/implementation-guides/pointers/testing/blockchain-simulation/index.html b/docs/implementation-guides/pointers/testing/blockchain-simulation/index.html
@@ -4,7 +4,7 @@
 <meta charset="UTF-8">
 <meta name="generator" content="Docusaurus v3.4.0">
 <title data-rh="true">Simulating a blockchain | ethdebug format</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:url" content="https://ethdebug.github.io/format/docs/implementation-guides/pointers/testing/blockchain-simulation"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docusaurus_version" content="current"><meta data-rh="true" name="docusaurus_tag" content="docs-default-current"><meta data-rh="true" name="docsearch:version" content="current"><meta data-rh="true" name="docsearch:docusaurus_tag" content="docs-default-current"><meta data-rh="true" property="og:title" content="Simulating a blockchain | ethdebug format"><meta data-rh="true" name="description" content="In case you missed the"><meta data-rh="true" property="og:description" content="In case you missed the"><link data-rh="true" rel="icon" href="/format/img/favicon.ico"><link data-rh="true" rel="canonical" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/testing/blockchain-simulation"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/testing/blockchain-simulation" hreflang="en"><link data-rh="true" rel="alternate" href="https://ethdebug.github.io/format/docs/implementation-guides/pointers/testing/blockchain-simulation" hreflang="x-default"><link rel="stylesheet" href="/format/assets/css/styles.5de36de1.css">
-<script src="/format/assets/js/runtime~main.d7791420.js" defer="defer"></script>
+<script src="/format/assets/js/runtime~main.d3964bd7.js" defer="defer"></script>
 <script src="/format/assets/js/main.635b7952.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">