Changeset 1747


Ignore:
Timestamp:
Feb 24, 2012, 4:25:35 PM (8 years ago)
Author:
boender
Message:
  • New and updated version of effort table
File:
1 edited

Legend:

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

    r1746 r1747  
    663663analysis above.
    664664
    665 \begin{tabular}{lrll}
    666 Pass origin & Code lines & CompCert ratio & Estimated effort \\
     665\begin{tabular}{lrlll}
     666Pass origin & Code lines & CompCert ratio & Estimated effort & Estimated effort \\
     667            &            &                & (based on CompCert) & \\
    667668\hline
    668 Cminor & 2913 & 5.23 \permil & 15.24 \\
    669 RTLabs & 1252 & 1.17 \permil & 1.48 \\
    670 RTL    &  469 & 4.17 \permil & 1.95 \\
    671 ERTL   &  789 & 3.01 \permil & 2.38 \\
    672 LTL    &   92 & 5.94 \permil & 0.55 \\
    673 LIN    &  354 & 6.54 \permil & 2.31 \\
    674 ASM    &  984 & 4.80 \permil & 4.72 \\
     669Common & 12759 & 4.25 \permil & 54.22 \\
     670Cminor &  1057 & 5.23 \permil & 5.53 \\
     671Clight &  1856 & 5.23 \permil & 9.71 \\
     672RTLabs &  1252 & 1.17 \permil & 1.48 \\
     673RTL    &   469 & 4.17 \permil & 1.95 \\
     674ERTL   &   789 & 3.01 \permil & 2.38 \\
     675LTL    &    92 & 5.94 \permil & 0.55 \\
     676LIN    &   354 & 6.54 \permil & 2.31 \\
     677ASM    &   984 & 4.80 \permil & 4.72 \\
    675678\hline
    676 Total  & 6853 & 4.17 \permil & 28.63 \\
     679Total common    & 12759 & 4.25 \permil & 54.22 \\
     680Total front-end &  2913 & 5.23 \permil & 15.24 \\
     681Total back-end  &  6853 & 4.17 \permil & 13.39 \\
     682\hline
     683Total           & 22525 & 3.75 \permil & 84.85 \\
    677684\end{tabular}
    678685
Note: See TracChangeset for help on using the changeset viewer.