diff options
Diffstat (limited to 'chapters/pipelining.tex')
| -rw-r--r-- | chapters/pipelining.tex | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/chapters/pipelining.tex b/chapters/pipelining.tex index 09fae11..b0bdb20 100644 --- a/chapters/pipelining.tex +++ b/chapters/pipelining.tex @@ -168,9 +168,10 @@ all, the proof from the paper was actually never fully completed: location=middle, width=\dimexpr \textwidth - 1cm \relax, ] - {\noindent\it [Semantic preservation going from unrolled loops in a basic-block representation to - the actual loops in a CFG] is intuitively obvious but surprisingly tedious to formalize in full - details: indeed, this is the only result in this paper that we have not yet mechanized in Coq.} + {\noindent\it [Semantic preservation going from unrolled loops in a basic block representation to + the actual loops in a CFG] is intuitively obvious but surprisingly tedious to formalize in + full details: indeed, this is the only result in this paper that we have not yet mechanized in + Coq.} \startalignment[flushright] --- \cite[alternative=authoryears,right={, Section |