Changeset 1448 for Deliverables/D4.2-4.3
- Timestamp:
- Oct 21, 2011, 6:33:16 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.2-4.3/reports/D4-2.tex
r1447 r1448 563 563 Translation from RTL to ERTL & \texttt{RTL/RTLToERTL.ma} & 417 & \texttt{RTL/RTLToERTL.ml} & 472 & 1.01\tnote{a} \\ 564 564 Elimination 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} \\565 Translation from ERTL to LTL & \texttt{ERTL/ERTLToLTL.ma} & 464 & \texttt{ERTL/ERTLToLTL.ml} & 429\tnote{b} & 1.22\tnote{c} \\ 566 566 Axiomatised graph colouring component & \texttt{ERTL/Interference.ma} & 26 & \texttt{common/interference.ml} & 861 & 0.03\tnote{a} \\ 567 567 Liveness 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} \\568 Translation from LTL to LIN & \texttt{LTL/LTLToLIN.ma} & 92 & \texttt{LTL/LTLToLIN.ml} & 302\tnote{d} & 0.53\tnote{e} \\ 569 569 Generic 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}570 Translation from LIN to assembly & \texttt{LIN/LINToASM.ma} & 335 & \texttt{LIN/LINToASM.ml} & 142 & 2.85\tnote{f} 571 571 \end{tabular} 572 572 \begin{tablenotes} 573 573 \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}.\\ 577 579 \begin{tabular}{ll} 578 580 Total lines of Matita code for the above files:& 3032. \\
Note: See TracChangeset
for help on using the changeset viewer.