Changeset 1445 for Deliverables/D4.2-4.3

Timestamp:

Oct 21, 2011, 6:19:34 PM (8 years ago)

Author:

mulligan

Message:

o'caml sizes done for first table

File:

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

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

@@ -528 +528 @@
 \begin{table}
 \begin{threeparttable}
-\begin{tabular}{lllll}
-Title & Size & Description & O'Caml & Ratio \\
-\hline
-\texttt{joint/Joint.ma} & 173 & Abstracted syntax for backend languages & N/A & N/A \\
-\texttt{RTLabs/syntax.ma} & 73 & The syntax of RTLabs & \texttt{RTLabs/RTLabs.mli} & 0.65 \\
-\texttt{RTL/RTL.ma} & 49 & The syntax of RTL & \texttt{RTL/RTL.mli} & 1.85\tnote{a} \\
-\texttt{ERTL/ERTL.ma} & 25 & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 1.04\tnote{a} \\
-\texttt{LIN/joint\_LTL\_LIN.ma} & 10 & The syntax of the abstracted combined LTL and LIN language & N/A & N/A \\
-\texttt{LTL/LTL.ma} & 10 & The specialisation of the above file to the syntax of LTL & \texttt{LTL/LTL.mli} & 1.86\tnote{b} \\
-\texttt{LIN/LIN.ma} & 17 & The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.mli} & 2.27\tnote{b} \\
+\begin{tabular}{lrllrl}
+Title & Lines & Description & O'Caml & Size & Ratio \\
+\hline
+\texttt{joint/Joint.ma} & 173 & Abstracted syntax for backend languages & N/A & N/A & N/A \\
+\texttt{RTLabs/syntax.ma} & 73 & The syntax of RTLabs & \texttt{RTLabs/RTLabs.mli} & 113 & 0.65 \\
+\texttt{RTL/RTL.ma} & 222\tnote{a} & The syntax of RTL & \texttt{RTL/RTL.mli} & 120\tnote{a} & 1.85\tnote{a} \\
+\texttt{ERTL/ERTL.ma} & 198\tnote{a} & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 191 & 1.04\tnote{a} \\
+\texttt{LIN/joint\_LTL\_LIN.ma} & 10 & The syntax of the abstracted combined LTL and LIN language & N/A & N/A & N/A \\
+\texttt{LTL/LTL.ma} & 193\tnote{b} & The specialisation of the above file to the syntax of LTL & \texttt{LTL/LTL.mli} & 104 & 1.86\tnote{b} \\
+\texttt{LIN/LIN.ma} & 200\tnote{b} & The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.mli} & 88 & 2.27\tnote{b} \\
 \end{tabular}
 \begin{tablenotes}
@@ -556 +556 @@
 \begin{table}
 \begin{threeparttable}
-\begin{tabular}{llll}
-Title & Description & O'Caml & Ratio \\
-\hline
-\texttt{joint/TranslateUtils.ma} & Generic translation utilities & N/A & N/A \\
-\texttt{RTLabs/RTLabsToRTL.ma} & Translation from RTLabs to RTL & \texttt{RTLabs/RTLabsToRTL.ml} & 1.61 \\
-\texttt{RTL/RTLToERTL.ma} & Translation from RTL to ERTL & \texttt{RTL/RTLToERTL.ml} & 1.01\tnote{a} \\
-\texttt{RTL/RTLTailcall.ma} & Elimination of tailcalls & \texttt{RTL/RTLtailcall.ml} & 2.02 \\
-\texttt{ERTL/ERTLToLTL.ma} & Translation from ERTL to LTL & \texttt{ERTL/ERTLToLTL.ml} & 1.22\tnote{b} \\
-\texttt{ERTL/Interference.ma} & Axiomatised graph colouring component & \texttt{common/interference.ml} & 0.03\tnote{c} \\
-\texttt{ERTL/liveness.ma} & Liveness analysis & \texttt{ERTL/liveness.ml} & 0.92 \\
-\texttt{LTL/LTLToLIN.ma} & Translation from LTL to LIN & \texttt{LTL/LTLToLIN.ml} & 0.53\tnote{c} \\
-\texttt{LIN/joint\_LTL\_LIN.ma} & Generic code for LTL and LIN languages & N/A & N/A \\
-\texttt{LIN/LINToASM.ma} & Translation from LIN to assembly & \texttt{LIN/LINToASM.ml} & 2.85\tnote{d}
+\begin{tabular}{lrlll}
+Title & Description & Lines & O'Caml & Ratio \\
+\hline
+\texttt{joint/TranslateUtils.ma} & 59 & Generic translation utilities & N/A & N/A \\
+\texttt{RTLabs/RTLabsToRTL.ma} & 1251 & Translation from RTLabs to RTL & \texttt{RTLabs/RTLabsToRTL.ml} & 1.61 \\
+\texttt{RTL/RTLToERTL.ma} & 417 & Translation from RTL to ERTL & \texttt{RTL/RTLToERTL.ml} & 1.01\tnote{a} \\
+\texttt{RTL/RTLTailcall.ma} & 52 & Elimination of tailcalls & \texttt{RTL/RTLtailcall.ml} & 2.02 \\
+\texttt{ERTL/ERTLToLTL.ma} & 464 & Translation from ERTL to LTL & \texttt{ERTL/ERTLToLTL.ml} & 1.22\tnote{b} \\
+\texttt{ERTL/Interference.ma} & 26 & Axiomatised graph colouring component & \texttt{common/interference.ml} & 0.03\tnote{c} \\
+\texttt{ERTL/liveness.ma} & 298 & Liveness analysis & \texttt{ERTL/liveness.ml} & 0.92 \\
+\texttt{LTL/LTLToLIN.ma} & 92 & Translation from LTL to LIN & \texttt{LTL/LTLToLIN.ml} & 0.53\tnote{c} \\
+\texttt{LIN/joint\_LTL\_LIN.ma} & 10 & Generic code for LTL and LIN languages & N/A & N/A \\
+\texttt{LIN/LINToASM.ma} & 335 & Translation from LIN to assembly & \texttt{LIN/LINToASM.ml} & 2.85\tnote{d}
 \end{tabular}
 \begin{tablenotes}