deploy: 48e69f3

WebAssembly · Dec 9, 2023 · 72935ef · 72935ef
1 parent 0ffebe5
commit 72935ef
Show file tree

Hide file tree

Showing 33 changed files with 1,958 additions and 1,688 deletions.
diff --git a/core/_download/WebAssembly.pdf b/core/_download/WebAssembly.pdf
diff --git a/core/_static/custom.css b/core/_static/custom.css
@@ -44,6 +44,8 @@ div.admonition p.admonition-title {
 div.math {
  background-color: #F0F0F0;
  padding: 3px 0 3px 0;
+ overflow-x: auto;
+ overflow-y: hidden;
 }
 
 div.relations {

diff --git a/core/appendix/embedding.html b/core/appendix/embedding.html
@@ -108,7 +108,7 @@ <h2>Types<a class="headerlink" href="#types" title="Permalink to this heading">
 <p>Failure of an interface operation is indicated by an auxiliary syntactic class:</p>
 <div class="math notranslate nohighlight">
 \[\begin{split}\begin{array}{llll}
-\def\mathdef120#1{{}}\mathdef120{(error)} &amp; \href{../appendix/embedding.html#embed-error}{\mathit{error}} &amp;::=&amp; \href{../appendix/embedding.html#embed-error}{\mathsf{error}} \\
+\def\mathdef120#1{{}}\mathdef120{error} &amp; \href{../appendix/embedding.html#embed-error}{\mathit{error}} &amp;::=&amp; \href{../appendix/embedding.html#embed-error}{\mathsf{error}} \\
 \end{array}\end{split}\]</div>
 <p>In addition to the error conditions specified explicitly in this section, implementations may also return errors when specific <a class="reference internal" href="implementation.html#impl"><span class="std std-ref">implementation limitations</span></a> are reached.</p>
 <div class="admonition note">
@@ -335,8 +335,8 @@ <h2>Pre- and Post-Conditions<a class="headerlink" href="#pre-and-post-conditions
 </section>
 <section id="tables">
 <span id="embed-table"></span><span id="index-13"></span><h2>Tables<a class="headerlink" href="#tables" title="Permalink to this heading">¶</a></h2>
-<section id="mathrm-table-alloc-xref-exec-runtime-syntax-store-mathit-store-xref-syntax-types-syntax-tabletype-mathit-tabletype-xref-exec-runtime-syntax-store-mathit-store-xref-exec-runtime-syntax-tableaddr-mathit-tableaddr-xref-exec-runtime-syntax-ref-mathit-ref">
-<span id="embed-table-alloc"></span><h3><span class="math notranslate nohighlight">\(\mathrm{table\_alloc}(\href{../exec/runtime.html#syntax-store}{\mathit{store}}, \href{../syntax/types.html#syntax-tabletype}{\mathit{tabletype}}) : (\href{../exec/runtime.html#syntax-store}{\mathit{store}}, \href{../exec/runtime.html#syntax-tableaddr}{\mathit{tableaddr}}, \href{../exec/runtime.html#syntax-ref}{\mathit{ref}})\)</span><a class="headerlink" href="#mathrm-table-alloc-xref-exec-runtime-syntax-store-mathit-store-xref-syntax-types-syntax-tabletype-mathit-tabletype-xref-exec-runtime-syntax-store-mathit-store-xref-exec-runtime-syntax-tableaddr-mathit-tableaddr-xref-exec-runtime-syntax-ref-mathit-ref" title="Permalink to this heading">¶</a></h3>
+<section id="mathrm-table-alloc-xref-exec-runtime-syntax-store-mathit-store-xref-syntax-types-syntax-tabletype-mathit-tabletype-xref-exec-runtime-syntax-ref-mathit-ref-xref-exec-runtime-syntax-store-mathit-store-xref-exec-runtime-syntax-tableaddr-mathit-tableaddr">
+<span id="embed-table-alloc"></span><h3><span class="math notranslate nohighlight">\(\mathrm{table\_alloc}(\href{../exec/runtime.html#syntax-store}{\mathit{store}}, \href{../syntax/types.html#syntax-tabletype}{\mathit{tabletype}}, \href{../exec/runtime.html#syntax-ref}{\mathit{ref}}) : (\href{../exec/runtime.html#syntax-store}{\mathit{store}}, \href{../exec/runtime.html#syntax-tableaddr}{\mathit{tableaddr}})\)</span><a class="headerlink" href="#mathrm-table-alloc-xref-exec-runtime-syntax-store-mathit-store-xref-syntax-types-syntax-tabletype-mathit-tabletype-xref-exec-runtime-syntax-ref-mathit-ref-xref-exec-runtime-syntax-store-mathit-store-xref-exec-runtime-syntax-tableaddr-mathit-tableaddr" title="Permalink to this heading">¶</a></h3>
 <ol class="arabic simple">
 <li><p>Pre-condition: <span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-tabletype}{\mathit{tabletype}}\)</span> is <a class="reference internal" href="../valid/types.html#valid-tabletype"><span class="std std-ref">valid</span></a>.</p></li>
 <li><p>Let <span class="math notranslate nohighlight">\(\href{../exec/runtime.html#syntax-tableaddr}{\mathit{tableaddr}}\)</span> be the result of <a class="reference internal" href="../exec/modules.html#alloc-table"><span class="std std-ref">allocating a table</span></a> in <span class="math notranslate nohighlight">\(\href{../exec/runtime.html#syntax-store}{\mathit{store}}\)</span> with <a class="reference internal" href="../syntax/types.html#syntax-tabletype"><span class="std std-ref">table type</span></a> <span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-tabletype}{\mathit{tabletype}}\)</span> and initialization value <span class="math notranslate nohighlight">\(\href{../exec/runtime.html#syntax-ref}{\mathit{ref}}\)</span>.</p></li>