update

matter-labs · Apr 2, 2024 · b76fa34 · b76fa34
1 parent 8c927a5
commit b76fa34
Show file tree

Hide file tree

Showing 5 changed files with 26 additions and 18 deletions.
diff --git a/EraVM.sem.FarRet.html b/EraVM.sem.FarRet.html
@@ -122,8 +122,8 @@ <h2 id="syntax">Syntax</h2>
 <h2 id="legacy-syntax">Legacy syntax</h2>
 <ul>
 <li><code>ret in1</code></li>
-<li><code>ret</code> is an alias for <code>ret r1``ret.ok in1</code>
-aliased as <code>ret in1</code></li>
+<li><code>ret</code> is an alias for <code>ret r1</code></li>
+<li><code>ret.ok in1</code> aliased as <code>ret in1</code></li>
 </ul>
 <h2 id="summary">Summary</h2>
 <p>A normal return from a <strong>far</strong> call. Will pop up current

diff --git a/EraVM.sem.FarRevert.html b/EraVM.sem.FarRevert.html
@@ -115,13 +115,15 @@ <h2 id="abstract-syntax">Abstract Syntax</h2>
 class="id" title="definition">in_reg</span></a>)</span></p>
 <h2 id="syntax">Syntax</h2>
 <ul>
-<li><p><code>revert in1</code></p></li>
+<li><p><code>rev in1</code></p></li>
 <li><p><code>rev</code>, an alias to <code>rev r1</code>. Argument is
 ignored for near reverts.</p></li>
 </ul>
 <h2 id="legacy-syntax">Legacy syntax</h2>
-<p><code>revert</code> is an alias for
-<code>revert r1``ret.revert in1</code></p>
+<ul>
+<li><code>revert</code> is an alias for <code>revert r1</code></li>
+<li><code>ret.revert in1</code></li>
+</ul>
 <h2 id="summary">Summary</h2>
 <p>An abnormal return from a far call. Will pop up current callframe,
 give back unspent ergs and execute a currently active exception handler.

diff --git a/EraVM.sem.NearRet.html b/EraVM.sem.NearRet.html
@@ -77,8 +77,8 @@ <h2 id="syntax">Syntax</h2>
 <h2 id="legacy-syntax">Legacy syntax</h2>
 <ul>
 <li><code>ret in1</code></li>
-<li><code>ret</code> is an alias for <code>ret r1``ret.ok in1</code>
-aliased as <code>ret in1</code></li>
+<li><code>ret</code> is an alias for <code>ret r1</code></li>
+<li><code>ret.ok in1</code> aliased as <code>ret in1</code></li>
 </ul>
 <h2 id="summary">Summary</h2>
 <p>A normal return from a <strong>near</strong> call. Will pop up

diff --git a/EraVM.sem.NearRevert.html b/EraVM.sem.NearRevert.html
@@ -80,8 +80,10 @@ <h2 id="abstract-syntax">Abstract Syntax</h2>
 <h2 id="syntax">Syntax</h2>
 <p><code>rev in1</code></p>
 <h2 id="legacy-syntax">Legacy syntax</h2>
-<p><code>revert</code> is an alias for
-<code>revert r1``ret.revert in1</code></p>
+<ul>
+<li><code>revert</code> is an alias for <code>revert r1</code></li>
+<li><code>ret.revert in1</code></li>
+</ul>
 <h2 id="summary">Summary</h2>
 <p>An erroneous return from a <strong>near</strong> call, executes an
 exception handler. Will revert all changes in <span

diff --git a/spec.html b/spec.html
@@ -12254,8 +12254,8 @@ <h2 id="syntax">Syntax</h2>
 <h2 id="legacy-syntax">Legacy syntax</h2>
 <ul>
 <li><code>ret in1</code></li>
-<li><code>ret</code> is an alias for <code>ret r1``ret.ok in1</code>
-aliased as <code>ret in1</code></li>
+<li><code>ret</code> is an alias for <code>ret r1</code></li>
+<li><code>ret.ok in1</code> aliased as <code>ret in1</code></li>
 </ul>
 <h2 id="summary">Summary</h2>
 <p>A normal return from a <strong>near</strong> call. Will pop up
@@ -12387,8 +12387,10 @@ <h2 id="abstract-syntax">Abstract Syntax</h2>
 <h2 id="syntax">Syntax</h2>
 <p><code>rev in1</code></p>
 <h2 id="legacy-syntax">Legacy syntax</h2>
-<p><code>revert</code> is an alias for
-<code>revert r1``ret.revert in1</code></p>
+<ul>
+<li><code>revert</code> is an alias for <code>revert r1</code></li>
+<li><code>ret.revert in1</code></li>
+</ul>
 <h2 id="summary">Summary</h2>
 <p>An erroneous return from a <strong>near</strong> call, executes an
 exception handler. Will revert all changes in <span
@@ -14195,8 +14197,8 @@ <h2 id="syntax">Syntax</h2>
 <h2 id="legacy-syntax">Legacy syntax</h2>
 <ul>
 <li><code>ret in1</code></li>
-<li><code>ret</code> is an alias for <code>ret r1``ret.ok in1</code>
-aliased as <code>ret in1</code></li>
+<li><code>ret</code> is an alias for <code>ret r1</code></li>
+<li><code>ret.ok in1</code> aliased as <code>ret in1</code></li>
 </ul>
 <h2 id="summary">Summary</h2>
 <p>A normal return from a <strong>far</strong> call. Will pop up current
@@ -14619,13 +14621,15 @@ <h2 id="abstract-syntax">Abstract Syntax</h2>
 class="id" title="definition">in_reg</span></a>)</span></p>
 <h2 id="syntax">Syntax</h2>
 <ul>
-<li><p><code>revert in1</code></p></li>
+<li><p><code>rev in1</code></p></li>
 <li><p><code>rev</code>, an alias to <code>rev r1</code>. Argument is
 ignored for near reverts.</p></li>
 </ul>
 <h2 id="legacy-syntax">Legacy syntax</h2>
-<p><code>revert</code> is an alias for
-<code>revert r1``ret.revert in1</code></p>
+<ul>
+<li><code>revert</code> is an alias for <code>revert r1</code></li>
+<li><code>ret.revert in1</code></li>
+</ul>
 <h2 id="summary">Summary</h2>
 <p>An abnormal return from a far call. Will pop up current callframe,
 give back unspent ergs and execute a currently active exception handler.