Changeset 1744 for Deliverables


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

Legend:

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

    r1743 r1744  
    657657\begin{tabular}{lrll}
    658658Pass origin & Code lines & CompCert ratio & Estimated effort \\
    659 Clight & \\
    660 Cminor & \\
     659\hline
     660Cminor & 2913 & 5.23 \permil & 15.24 \\
    661661RTLabs & 1252 & 1.17 \permil & 1.48 \\
    662662RTL    &  469 & 4.17 \permil & 1.95 \\
    663663ERTL   &  789 & 3.01 \permil & 2.38 \\
    664664LTL    &   92 & 5.94 \permil & 0.55 \\
    665 LIN    &  354 & 4.80 \permil & 1.70 \\
    666 ASM    &  984 & 6.54 \permil & 6.44 \\
     665LIN    &  354 & 6.54 \permil & 2.31 \\
     666ASM    &  984 & 4.80 \permil & 4.72 \\
     667\hline
     668Total  & 6853 & 4.17 \permil & 28.63 \\
    667669\end{tabular}
    668670
Note: See TracChangeset for help on using the changeset viewer.