We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent fad0568 commit 1673073Copy full SHA for 1673073
hub/instruction_handling/transient/constraints.tex
@@ -28,7 +28,7 @@
28
\staticxSH{} (\inst{TSTORE} only),
29
\oogxSH{}.
30
\begin{enumerate}
31
- \item \If $\stackOogx _{i} + \stackStaticx _{i} = 1$ \Then $\nonStackRows_{i} = 2$ and furthermore
+ \item \If $\xAhoy_{i} = 1$ \Then $\nonStackRows_{i} = 2$ and furthermore
32
\[
33
\left[ \begin{array}{cr}
34
+ & \peekContext _{i + \locTransientCurrContextRow } \\
0 commit comments