Changeset 1448 for Deliverables


Ignore:
Timestamp:
Oct 21, 2011, 6:33:16 PM (8 years ago)
Author:
mulligan
Message:

finished columns in d4.2 report

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.2-4.3/reports/D4-2.tex

    r1447 r1448  
    563563Translation from RTL to ERTL & \texttt{RTL/RTLToERTL.ma} & 417 & \texttt{RTL/RTLToERTL.ml} & 472 & 1.01\tnote{a} \\
    564564Elimination of tailcalls & \texttt{RTL/RTLTailcall.ma} & 52 & \texttt{RTL/RTLtailcall.ml} & 25 & 2.02 \\
    565 Translation from ERTL to LTL & \texttt{ERTL/ERTLToLTL.ma} & 464 & \texttt{ERTL/ERTLToLTL.ml} & 429 & 1.22\tnote{b} \\
     565Translation from ERTL to LTL & \texttt{ERTL/ERTLToLTL.ma} & 464 & \texttt{ERTL/ERTLToLTL.ml} & 429\tnote{b} & 1.22\tnote{c} \\
    566566Axiomatised graph colouring component & \texttt{ERTL/Interference.ma} & 26 & \texttt{common/interference.ml} & 861 & 0.03\tnote{a} \\
    567567Liveness analysis & \texttt{ERTL/liveness.ma} & 298 & \texttt{ERTL/liveness.ml} & 323 & 0.92 \\
    568 Translation from LTL to LIN & \texttt{LTL/LTLToLIN.ma} & 92 & \texttt{LTL/LTLToLIN.ml} & 131 & 0.53\tnote{c} \\
     568Translation from LTL to LIN & \texttt{LTL/LTLToLIN.ma} & 92 & \texttt{LTL/LTLToLIN.ml} & 302\tnote{d} & 0.53\tnote{e} \\
    569569Generic code for LTL and LIN languages & \texttt{LIN/joint\_LTL\_LIN.ma} & 10 & N/A & N/A & N/A \\
    570 Translation from LIN to assembly & \texttt{LIN/LINToASM.ma} & 335 & \texttt{LIN/LINToASM.ml} & 142 & 2.85\tnote{d}
     570Translation from LIN to assembly & \texttt{LIN/LINToASM.ma} & 335 & \texttt{LIN/LINToASM.ml} & 142 & 2.85\tnote{f}
    571571\end{tabular}
    572572\begin{tablenotes}
    573573  \item[a] After inlining of \texttt{joint/TranslateUtils.ma}.
    574   \item[b] After inlining of \texttt{joint/TranslateUtils.ma} and \texttt{ERTL/ERTLToLTLI.ml}.
    575   \item[c] After inlining of \texttt{joint/TranslateUtils.ma}, \texttt{LTL/LTLToLINI.ml} and \texttt{joint/joint\_LTL\_LIN.ma}.
    576   \item[d] After inlining of \texttt{joint/TranslateUtils.ma}, and \texttt{joint/joint\_LTL\_LIN.ma}.\\
     574  \item[b] After inlining of \texttt{ERTL/ERTLToLTLI.ml}.
     575  \item[c] After inlining of \texttt{joint/TranslateUtils.ma} and \texttt{ERTL/ERTLToLTLI.ml}.
     576  \item[d] After inlining of \texttt{LTL/LTLToLINI.ml}.
     577  \item[e] After inlining of \texttt{joint/TranslateUtils.ma}, \texttt{LTL/LTLToLINI.ml} and \texttt{joint/joint\_LTL\_LIN.ma}.
     578  \item[f] After inlining of \texttt{joint/TranslateUtils.ma}, and \texttt{joint/joint\_LTL\_LIN.ma}.\\
    577579  \begin{tabular}{ll}
    578580  Total lines of Matita code for the above files:& 3032. \\
Note: See TracChangeset for help on using the changeset viewer.