Ignore:
Timestamp:
Feb 24, 2012, 3:40:52 PM (8 years ago)
Author:
boender
Message:
  • committed new version of effort table
File:
1 edited

Legend:

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

    r1741 r1742  
    593593
    594594\section{Estimated effort}
    595 Based on the rough analysis performed so far we can now estimate the total
    596 effort for the certification of the compiler. We obtain the estimation by
     595Based on the rough analysis performed so far we can estimate the total
     596effort for the certification of the compiler. We obtain this estimation by
    597597combining, for each pass: 1) the number of lines of code to be certified;
    598 2) the ratio number of lines of proof on number of lines of code from
    599 CompCert project~\cite{compcert} for the CompCert pass that is closer to
     5982) the ratio of number of lines of proof to number of lines of code from
     599the CompCert project~\cite{compcert} for the CompCert pass that is closest to
    600600ours; 3) an estimation of the complexity of the pass according to the
    601601analysis above.
     
    605605Clight & \\
    606606Cminor & \\
    607 RTLabs & 1252 & 1.17 \permil & 1.5 \\
    608 RTL    &  469 & 2.90 \permil & 1.4 \\
    609 ERTL   &  789 & 2.79 \permil & 2.2 \\
    610 LTL    &      & \\
    611 LIN    &  354 & 7.34 \permil & 2.6 \\
    612 ASM    &      & \\
     607RTLabs & 1252 & 1.17 \permil & 1.48 \\
     608RTL    &  469 & 4.17 \permil & 1.95 \\
     609ERTL   &  789 & 3.01 \permil & 2.38 \\
     610LTL    &   92 & 5.94 \permil & 0.55 \\
     611LIN    &  354 & 4.80 \permil & 1.70 \\
     612ASM    &  984 & 6.54 \permil & 6.44 \\
    613613\end{tabular}
    614614
Note: See TracChangeset for help on using the changeset viewer.