Changeset 1756 for Deliverables


Ignore:
Timestamp:
Feb 24, 2012, 5:59:48 PM (8 years ago)
Author:
sacerdot
Message:

Improved outline.

File:
1 edited

Legend:

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

    r1755 r1756  
    757757analysis above.
    758758
    759 \begin{tabular}{lrlll}
     759\begin{tabular}{lrlrr}
    760760Pass origin & Code lines & CompCert ratio & Estimated effort & Estimated effort \\
    761761            &            &                & (based on CompCert) & \\
    762762\hline
    763 Common &  4864 & 4.25 \permil & 20.67 & 17 \\
    764 Cminor &  1057 & 5.23 \permil & 5.53  &  6 \\
    765 Clight &  1856 & 5.23 \permil & 9.71  & 10 \\
    766 RTLabs &  1252 & 1.17 \permil & 1.48  &  5 \\
    767 RTL    &   469 & 4.17 \permil & 1.95  &  2 \\
     763Common &  4864 & 4.25 \permil & 20.67 & 17.0 \\
     764Cminor &  1057 & 5.23 \permil & 5.53  &  6.0 \\
     765Clight &  1856 & 5.23 \permil & 9.71  & 10.0 \\
     766RTLabs &  1252 & 1.17 \permil & 1.48  &  5.0 \\
     767RTL    &   469 & 4.17 \permil & 1.95  &  2.0 \\
    768768ERTL   &   789 & 3.01 \permil & 2.38  & 2.5 \\
    769769LTL    &    92 & 5.94 \permil & 0.55  & 0.5 \\
    770 LIN    &   354 & 6.54 \permil & 2.31  &   1 \\
    771 ASM    &   984 & 4.80 \permil & 4.72  &   6 \\
     770LIN    &   354 & 6.54 \permil & 2.31  &   1.0 \\
     771ASM    &   984 & 4.80 \permil & 4.72  &  10.0 \\
    772772\hline
    773 Total common    &  4864 & 4.25 \permil & 20.67 & 17 \\
    774 Total front-end &  2913 & 5.23 \permil & 15.24 & 16 \\
    775 Total back-end  &  6853 & 4.17 \permil & 13.39 & 17 \\
     773Total common    &  4864 & 4.25 \permil & 20.67 & 17.0 \\
     774Total front-end &  2913 & 5.23 \permil & 15.24 & 16.0 \\
     775Total back-end  &  6853 & 4.17 \permil & 13.39 & 21.0 \\
    776776\hline
    777 Total           & 14630 & 3.75 \permil & 49.30 & 50 \\
     777Total           & 14630 & 3.75 \permil & 49.30 & 54.0 \\
    778778\end{tabular}
    779779
Note: See TracChangeset for help on using the changeset viewer.