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

...

File:
1 edited

Legend:

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

    r1754 r1755  
    764764Cminor &  1057 & 5.23 \permil & 5.53  &  6 \\
    765765Clight &  1856 & 5.23 \permil & 9.71  & 10 \\
    766 RTLabs &  1252 & 1.17 \permil & 1.48  &  3 \\
     766RTLabs &  1252 & 1.17 \permil & 1.48  &  5 \\
    767767RTL    &   469 & 4.17 \permil & 1.95  &  2 \\
    768768ERTL   &   789 & 3.01 \permil & 2.38  & 2.5 \\
     
    773773Total common    &  4864 & 4.25 \permil & 20.67 & 17 \\
    774774Total front-end &  2913 & 5.23 \permil & 15.24 & 16 \\
    775 Total back-end  &  6853 & 4.17 \permil & 13.39 & 15 \\
     775Total back-end  &  6853 & 4.17 \permil & 13.39 & 17 \\
    776776\hline
    777 Total           & 14630 & 3.75 \permil & 49.30 & 48 \\
     777Total           & 14630 & 3.75 \permil & 49.30 & 50 \\
    778778\end{tabular}
    779779
Note: See TracChangeset for help on using the changeset viewer.