Changeset 1756 for Deliverables/D1.2/CompilerProofOutline/outline.tex
- Timestamp:
- Feb 24, 2012, 5:59:48 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D1.2/CompilerProofOutline/outline.tex
r1755 r1756 757 757 analysis above. 758 758 759 \begin{tabular}{lrl ll}759 \begin{tabular}{lrlrr} 760 760 Pass origin & Code lines & CompCert ratio & Estimated effort & Estimated effort \\ 761 761 & & & (based on CompCert) & \\ 762 762 \hline 763 Common & 4864 & 4.25 \permil & 20.67 & 17 \\764 Cminor & 1057 & 5.23 \permil & 5.53 & 6 \\765 Clight & 1856 & 5.23 \permil & 9.71 & 10 \\766 RTLabs & 1252 & 1.17 \permil & 1.48 & 5 \\767 RTL & 469 & 4.17 \permil & 1.95 & 2 \\763 Common & 4864 & 4.25 \permil & 20.67 & 17.0 \\ 764 Cminor & 1057 & 5.23 \permil & 5.53 & 6.0 \\ 765 Clight & 1856 & 5.23 \permil & 9.71 & 10.0 \\ 766 RTLabs & 1252 & 1.17 \permil & 1.48 & 5.0 \\ 767 RTL & 469 & 4.17 \permil & 1.95 & 2.0 \\ 768 768 ERTL & 789 & 3.01 \permil & 2.38 & 2.5 \\ 769 769 LTL & 92 & 5.94 \permil & 0.55 & 0.5 \\ 770 LIN & 354 & 6.54 \permil & 2.31 & 1 \\771 ASM & 984 & 4.80 \permil & 4.72 & 6\\770 LIN & 354 & 6.54 \permil & 2.31 & 1.0 \\ 771 ASM & 984 & 4.80 \permil & 4.72 & 10.0 \\ 772 772 \hline 773 Total common & 4864 & 4.25 \permil & 20.67 & 17 \\774 Total front-end & 2913 & 5.23 \permil & 15.24 & 16 \\775 Total back-end & 6853 & 4.17 \permil & 13.39 & 17\\773 Total common & 4864 & 4.25 \permil & 20.67 & 17.0 \\ 774 Total front-end & 2913 & 5.23 \permil & 15.24 & 16.0 \\ 775 Total back-end & 6853 & 4.17 \permil & 13.39 & 21.0 \\ 776 776 \hline 777 Total & 14630 & 3.75 \permil & 49.30 & 5 0 \\777 Total & 14630 & 3.75 \permil & 49.30 & 54.0 \\ 778 778 \end{tabular} 779 779
Note: See TracChangeset
for help on using the changeset viewer.