Changeset 1744 for Deliverables/D1.2/CompilerProofOutline/outline.tex

Timestamp:

Feb 24, 2012, 4:03:40 PM (8 years ago)

Author:

boender

Message:

• New version of effort table

File:

• Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) (1 diff)

Deliverables/D1.2/CompilerProofOutline/outline.tex

@@ -657 +657 @@
 \begin{tabular}{lrll}
 Pass origin & Code lines & CompCert ratio & Estimated effort \\
-Clight & \\
-Cminor & \\
+\hline
+Cminor & 2913 & 5.23 \permil & 15.24 \\ 
 RTLabs & 1252 & 1.17 \permil & 1.48 \\
 RTL    &  469 & 4.17 \permil & 1.95 \\
 ERTL   &  789 & 3.01 \permil & 2.38 \\
 LTL    &   92 & 5.94 \permil & 0.55 \\
-LIN    &  354 & 4.80 \permil & 1.70 \\
-ASM    &  984 & 6.54 \permil & 6.44 \\
+LIN    &  354 & 6.54 \permil & 2.31 \\
+ASM    &  984 & 4.80 \permil & 4.72 \\
+\hline
+Total  & 6853 & 4.17 \permil & 28.63 \\
 \end{tabular}