Changeset 1448 for Deliverables/D4.2-4.3

Timestamp:

Oct 21, 2011, 6:33:16 PM (9 years ago)

Author:

mulligan

Message:

finished columns in d4.2 report

File:

• Deliverables/D4.2-4.3/reports/D4-2.tex (modified) (1 diff)

Deliverables/D4.2-4.3/reports/D4-2.tex

@@ -563 +563 @@
 Translation from RTL to ERTL & \texttt{RTL/RTLToERTL.ma} & 417 & \texttt{RTL/RTLToERTL.ml} & 472 & 1.01\tnote{a} \\
 Elimination of tailcalls & \texttt{RTL/RTLTailcall.ma} & 52 & \texttt{RTL/RTLtailcall.ml} & 25 & 2.02 \\
-Translation from ERTL to LTL & \texttt{ERTL/ERTLToLTL.ma} & 464 & \texttt{ERTL/ERTLToLTL.ml} & 429 & 1.22\tnote{b} \\
+Translation from ERTL to LTL & \texttt{ERTL/ERTLToLTL.ma} & 464 & \texttt{ERTL/ERTLToLTL.ml} & 429\tnote{b} & 1.22\tnote{c} \\
 Axiomatised graph colouring component & \texttt{ERTL/Interference.ma} & 26 & \texttt{common/interference.ml} & 861 & 0.03\tnote{a} \\
 Liveness analysis & \texttt{ERTL/liveness.ma} & 298 & \texttt{ERTL/liveness.ml} & 323 & 0.92 \\
-Translation from LTL to LIN & \texttt{LTL/LTLToLIN.ma} & 92 & \texttt{LTL/LTLToLIN.ml} & 131 & 0.53\tnote{c} \\
+Translation from LTL to LIN & \texttt{LTL/LTLToLIN.ma} & 92 & \texttt{LTL/LTLToLIN.ml} & 302\tnote{d} & 0.53\tnote{e} \\
 Generic code for LTL and LIN languages & \texttt{LIN/joint\_LTL\_LIN.ma} & 10 & N/A & N/A & N/A \\
-Translation from LIN to assembly & \texttt{LIN/LINToASM.ma} & 335 & \texttt{LIN/LINToASM.ml} & 142 & 2.85\tnote{d}
+Translation from LIN to assembly & \texttt{LIN/LINToASM.ma} & 335 & \texttt{LIN/LINToASM.ml} & 142 & 2.85\tnote{f}
 \end{tabular}
 \begin{tablenotes}
   \item[a] After inlining of \texttt{joint/TranslateUtils.ma}.
-  \item[b] After inlining of \texttt{joint/TranslateUtils.ma} and \texttt{ERTL/ERTLToLTLI.ml}.
-  \item[c] After inlining of \texttt{joint/TranslateUtils.ma}, \texttt{LTL/LTLToLINI.ml} and \texttt{joint/joint\_LTL\_LIN.ma}.
-  \item[d] After inlining of \texttt{joint/TranslateUtils.ma}, and \texttt{joint/joint\_LTL\_LIN.ma}.\\
+  \item[b] After inlining of \texttt{ERTL/ERTLToLTLI.ml}.
+  \item[c] After inlining of \texttt{joint/TranslateUtils.ma} and \texttt{ERTL/ERTLToLTLI.ml}.
+  \item[d] After inlining of \texttt{LTL/LTLToLINI.ml}.
+  \item[e] After inlining of \texttt{joint/TranslateUtils.ma}, \texttt{LTL/LTLToLINI.ml} and \texttt{joint/joint\_LTL\_LIN.ma}.
+  \item[f] After inlining of \texttt{joint/TranslateUtils.ma}, and \texttt{joint/joint\_LTL\_LIN.ma}.\\
   \begin{tabular}{ll}
   Total lines of Matita code for the above files:& 3032. \\