diff options
author | Yann Herklotz <ymh15@ic.ac.uk> | 2020-11-21 00:03:19 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-11-21 00:04:19 +0000 |
commit | 15aab23c1e89e9369b631eb3cefc7fc708d6da36 (patch) | |
tree | 1fa2ba7cf2b0af2f369918959326555368fd0b1f /appendix.tex | |
parent | 5f228d3512b2e3e39305e6f53bc873c76439e96f (diff) | |
download | oopsla21_fvhls-15aab23c1e89e9369b631eb3cefc7fc708d6da36.tar.gz oopsla21_fvhls-15aab23c1e89e9369b631eb3cefc7fc708d6da36.zip |
Update on Overleaf.
Diffstat (limited to 'appendix.tex')
-rw-r--r-- | appendix.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/appendix.tex b/appendix.tex index 11bfe41..defe44d 100644 --- a/appendix.tex +++ b/appendix.tex @@ -1,3 +1,4 @@ +\newpage \appendix \section{Appendix} @@ -50,7 +51,7 @@ \inferrule[Nonblocking Array]{\yhkeyword{name}\ \textit{lhs} = \yhkeyword{OK}\ n \\ \textit{erun}\ \Gamma\ \textit{rhs}\ v_{\textit{rhs}}}{\textit{srun}\ (\Gamma_{r}, \Gamma_{a}, \Delta_{r}, \Delta_{a})\ (\textit{lhs} \Leftarrow \textit{rhs})\ (\Gamma_{r}, \Gamma_{a}, \Delta_{r} // \{n \rightarrow v_{\textit{rhs}}\}, \Delta_{a})} \end{gather*} \end{minipage} - \caption{Inferrence rules for statements.}\label{fig:inferrence_statements} + \caption{Inference rules for statements.}\label{fig:inferrence_statements} \end{figure*} \begin{figure} |