Changeset 1796 for Deliverables


Ignore:
Timestamp:
Feb 29, 2012, 11:49:40 AM (8 years ago)
Author:
campbell
Message:

Cast removal is also an endo-transformation.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/CompilerProofOutline/outline.tex

    r1795 r1796  
    132132\quad \= $\downarrow$ \quad \= \kill
    133133\textsf{Clight}\\
    134 \> $\downarrow$ \> cast removal\\
     134\> $\downarrow$ \> cast removal (an endo-transformation)\\
    135135\> $\downarrow$ \> add runtime functions\footnote{Following the last project
    136136meeting we intend to move this transformation to the back-end}\\
Note: See TracChangeset for help on using the changeset viewer.