Skip to content

Commit cb6a1e9

Browse files
committed
report: Minor fixes.
1 parent 9d566a0 commit cb6a1e9

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

tex/report/miri-report.tex

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -137,7 +137,7 @@ \subsection{Flaws}
137137
Bool(bool),
138138
Int(i64),
139139
Pointer(Pointer), // index into stack
140-
Adt { variant: usize, data_ptr: Pointer },
140+
Adt { variant: usize, data: Pointer },
141141
// ...
142142
}
143143
\end{minted}
@@ -224,7 +224,7 @@ \subsubsection{Undefined byte mask}
224224

225225
See \autoref{fig:undef} for an example undefined byte, represented by underscores. Note that there
226226
would still be a value for the second byte in the byte array, but we don't care what it is. The
227-
bitmask would be $10_2$ i.e. \rust{[true, false]}.
227+
bitmask would be $10_2$, i.e. \rust{[true, false]}.
228228

229229
\begin{figure}[hb]
230230
\begin{minted}[autogobble]{rust}
@@ -286,7 +286,7 @@ \section{Future work}
286286
\item A graphical or text-mode debugger that steps through MIR execution one statement at a time,
287287
for figuring out why some compile-time execution is raising an error or simply learning how Rust
288288
works at a low level.
289-
\item An read-eval-print-loop (REPL) for Rust may be easier to implement on top of Miri than the
289+
\item A read-eval-print-loop (REPL) for Rust may be easier to implement on top of Miri than the
290290
usual LLVM back-end.
291291
\item An extended version of Miri could be developed apart from the purpose of compile-time
292292
execution that is able to run foreign functions from C/C++ and generally have full access to the

0 commit comments

Comments
 (0)