diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-06-03 16:49:44 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-03 16:49:44 +0100 |
commit | f39af0c87d03bb20047605b80087cb33b11b30f1 (patch) | |
tree | 9bdc237ba6216f8415e6cd68602c27f0af6f55ec /main.tex | |
parent | fcf4f1cd0cfffa45e92f2f114fd52761bcf1db9e (diff) | |
download | oopsla21_fvhls-f39af0c87d03bb20047605b80087cb33b11b30f1.tar.gz oopsla21_fvhls-f39af0c87d03bb20047605b80087cb33b11b30f1.zip |
Remove warnings
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -209,38 +209,38 @@ Definition of stmntrun. \end{equation} \begin{equation} - \label{eq:3} + \label{eq:4} \inferrule[Seq]{\text{stmntrun}\ f\ as0\ st1\ as1 \\ \text{stmntrun}\ f\ as1\ st2\ as2}{ \text{stmntrun}\ f\ as0\ (\mathtt{Vseq}\ st1\ st2)\ as2} \end{equation} \begin{equation} - \label{eq:4} + \label{eq:5} \inferrule[CaseNoMatch]{\text{stmntrun}\ f\ as0\ (\mathtt{Vcase}\ e\ cs\ def)\ as1 \\ \text{exprrun}\ f\ \Delta_{0}\ me\ mve \\ \text{exprrun}\ f\ \Delta_{0}\ e\ ve \\ mve \neq ve}{ \text{stmntrun}\ f\ as0\ (\mathtt{Vcase}\ e\ ((me,\ sc) :: cs)\ def)\ as1} \end{equation} \begin{equation} - \label{eq:5} + \label{eq:6} \inferrule[CaseMatch]{\text{stmntrun}\ f\ as0\ sc\ as1 \\ \text{exprrun}\ f\ \Delta_{0}\ e\ ve \\ \text{exprrun}\ f\ \Delta_{0}\ me\ mve \\ mve = ve}{ \text{stmntrun}\ f\ as0\ (\mathtt{Vcase}\ e\ ((me,\ sc) :: cs)\ def)\ as1} \end{equation} \begin{equation} - \label{eq:6} + \label{eq:7} \inferrule[CaseDefault]{\text{exprrun}\ f\ \Delta_{0}\ e ve \\ \text{stmntrun}\ f\ as0\ st\ as1}{ \text{stmntrun}\ f\ as0\ (\mathtt{Vcase}\ e\ []\ (\mathtt{Some}\ st))\ as1} \end{equation} \begin{equation} - \label{eq:7} + \label{eq:8} \inferrule[Blocking]{}{x} \end{equation} \begin{equation} - \label{eq:7} + \label{eq:9} \inferrule[Nonblocking]{}{x} \end{equation} |