Changeset 657


Ignore:
Timestamp:
Mar 9, 2011, 6:11:16 PM (9 years ago)
Author:
campbell
Message:

Mention cost labels in D3.1 summary slide.

File:
1 edited

Legend:

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

    r651 r657  
    363363\begin{itemize}
    364364\item using CIL and ported inductive semantics from CompCert,
    365 \item adding 8051 memory extensions,
     365\item adding 8051 memory extensions and cost labels,
    366366\item writing executable semantics,
    367367\item proving inductive and executable semantics equivalent,
Note: See TracChangeset for help on using the changeset viewer.