Changeset 1863 for Deliverables


Ignore:
Timestamp:
Mar 15, 2012, 5:15:33 PM (8 years ago)
Author:
campbell
Message:

Minor WP3 revisions.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/Presentations/WP3.tex

    r1858 r1863  
    9999\begin{itemize}
    100100\item Shared definitions
    101 %\item The front end:
     101%\item The front-end:
    102102%\end{itemize}
    103103%\vspace{-3ex}
     
    116116\> $\downarrow$ \> transform to RTL graph\\
    117117\textsf{RTLabs}\\
    118 \> \,\gray{\vdots} \> \gray{start of target specific backend}
     118\> \,\gray{\vdots} \> \gray{start of target specific back-end}
    119119\end{tabbing}
    120120%\vspace{-3ex}
     
    168168\frametitle{Clight: syntax and semantics}
    169169
    170 Modest evolution from D3.1, except:
     170Modest evolution from D3.1:
    171171
    172172\medskip
     
    251251\end{lstlisting}
    252252\begin{itemize}
    253 \item enforces some checking during production
    254 \item directly forces checking that temporaries are fresh
    255 \item gets rid of some corner cases in translation to RTLabs
     253%\item enforces some checking during production
     254\item indirectly forces checking that temporaries are fresh
     255\item[$\star$] reduces failure cases in translation to RTLabs
    256256\end{itemize}
    257257
Note: See TracChangeset for help on using the changeset viewer.