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

...

File:
1 edited

Legend:

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

    r1753 r1754  
    761761            &            &                & (based on CompCert) & \\
    762762\hline
    763 Common &  4864 & 4.25 \permil & 20.67 \\
    764 Cminor &  1057 & 5.23 \permil & 5.53 \\
    765 Clight &  1856 & 5.23 \permil & 9.71 \\
    766 RTLabs &  1252 & 1.17 \permil & 1.48 \\
    767 RTL    &   469 & 4.17 \permil & 1.95 \\
    768 ERTL   &   789 & 3.01 \permil & 2.38 \\
    769 LTL    &    92 & 5.94 \permil & 0.55 \\
    770 LIN    &   354 & 6.54 \permil & 2.31 \\
    771 ASM    &   984 & 4.80 \permil & 4.72 \\
     763Common &  4864 & 4.25 \permil & 20.67 & 17 \\
     764Cminor &  1057 & 5.23 \permil & 5.53  &  6 \\
     765Clight &  1856 & 5.23 \permil & 9.71  & 10 \\
     766RTLabs &  1252 & 1.17 \permil & 1.48  &  3 \\
     767RTL    &   469 & 4.17 \permil & 1.95  &  2 \\
     768ERTL   &   789 & 3.01 \permil & 2.38  & 2.5 \\
     769LTL    &    92 & 5.94 \permil & 0.55  & 0.5 \\
     770LIN    &   354 & 6.54 \permil & 2.31  &   1 \\
     771ASM    &   984 & 4.80 \permil & 4.72  &   6 \\
    772772\hline
    773 Total common    &  4864 & 4.25 \permil & 20.67 \\
    774 Total front-end &  2913 & 5.23 \permil & 15.24 \\
    775 Total back-end  &  6853 & 4.17 \permil & 13.39 \\
     773Total common    &  4864 & 4.25 \permil & 20.67 & 17 \\
     774Total front-end &  2913 & 5.23 \permil & 15.24 & 16 \\
     775Total back-end  &  6853 & 4.17 \permil & 13.39 & 15 \\
    776776\hline
    777 Total           & 14630 & 3.75 \permil & 49.30 \\
     777Total           & 14630 & 3.75 \permil & 49.30 & 48 \\
    778778\end{tabular}
    779779
Note: See TracChangeset for help on using the changeset viewer.