Changeset 651


Ignore:
Timestamp:
Mar 8, 2011, 5:40:56 PM (9 years ago)
Author:
campbell
Message:

Small additions to WP3 slides.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.1/Presentations/WP3-brian.tex

    r647 r651  
    234234\bigskip
    235235\textbf{Not so easy} --- no sections, different library, bugs\dots
     236
     237\begin{itemize}
     238\item[$\triangleright$] Also additional trace for cost labels
     239\end{itemize}
    236240\end{overprint}
    237241
     
    348352extraction.
    349353
    350 \end{frame}
    351 % demo would come here, if at all
     354\bigskip
     355\textbf{Demo}
     356
     357\end{frame}
     358
     359\begin{frame}
     360\frametitle{D3.1 summary}
     361
     362C semantics produced by
     363\begin{itemize}
     364\item using CIL and ported inductive semantics from CompCert,
     365\item adding 8051 memory extensions,
     366\item writing executable semantics,
     367\item proving inductive and executable semantics equivalent,
     368\item executable testing.
     369\end{itemize}
     370\end{frame}
    352371
    353372\begin{frame}
Note: See TracChangeset for help on using the changeset viewer.