m2-internship/dwarf-semantics
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Fix duplicated line

Browse source
This commit is contained in:
Théophile Bastian 2018-07-17 12:19:18 +02:00
parent 2cb812b058
commit ad2ff8d387
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
semantics.tex
View file

@ -22,7 +22,6 @@
\newcommand{\FDE}{\operatorname{FDE}} \newcommand{\FDE}{\operatorname{FDE}}
\newcommand{\dwrow}{\operatorname{Row}} \newcommand{\dwrow}{\operatorname{Row}}
\newcommand{\spexpr}{\mathbb{E}} \newcommand{\spexpr}{\mathbb{E}}
\newcommand{\dwexpr}{\bar{\mathbb{E}}}
\newcommand{\regs}{\mathbb{R}} \newcommand{\regs}{\mathbb{R}}
\newcommand{\values}{\mathbb{V}} \newcommand{\values}{\mathbb{V}}
@ -107,8 +106,6 @@ formats to handle various operands formatting, to optimize space).
& \text{A DWARF row} \\ & \text{A DWARF row} \\
\spexpr &:= \regs \times \mathbb{Z} \spexpr &:= \regs \times \mathbb{Z}
& \text{A ``simple'' expression $\reg{reg} + offset$} \\ & \text{A ``simple'' expression $\reg{reg} + offset$} \\
\spexpr &:= \regs \times \mathbb{Z}
& \text{A ``simple'' expression $\reg{reg} + offset$} \\
\regs &:= \left\{0, 1, \ldots, \operatorname{NB\_REGS - 1} \right\} \regs &:= \left\{0, 1, \ldots, \operatorname{NB\_REGS - 1} \right\}
& \text{Machine registers} \\ & \text{Machine registers} \\
\values &:= \{\bot\} \cup \valaddr{\spexpr} \cup \valval{\spexpr} \values &:= \{\bot\} \cup \valaddr{\spexpr} \cup \valval{\spexpr}