# Changeset 1443 for Deliverables

Ignore:
Timestamp:
Oct 21, 2011, 6:08:27 PM (8 years ago)
Message:

sizes added

File:
1 edited

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

 r1442 \begin{table} \begin{threeparttable} \begin{tabular}{llll} Title & Description & O'Caml & Ratio \\ \hline \texttt{joint/Joint.ma} & Abstracted syntax for backend languages & N/A & N/A \\ \texttt{RTLabs/syntax.ma} & The syntax of RTLabs & \texttt{RTLabs/RTLabs.mli} & 0.65 \\ \texttt{RTL/RTL.ma} & The syntax of RTL & \texttt{RTL/RTL.mli} & 1.85\tnote{a} \\ \texttt{ERTL/ERTL.ma} & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 1.04\tnote{a} \\ \texttt{LIN/joint\_LTL\_LIN.ma} & The syntax of the abstracted combined LTL and LIN language & N/A & N/A \\ \texttt{LTL/LTL.ma} & The specialisation of the above file to the syntax of LTL & \texttt{LTL/LTL.mli} & 1.86\tnote{b} \\ \texttt{LIN/LIN.ma} & The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.mli} & 2.27\tnote{b} \\ \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} \\ \end{tabular} \begin{tablenotes} Total lines of Matita code for the above files:& 347 \\ Total lines of O'Caml code for the above files:& 616 \\ Ration of total lines:& 0.56 Ratio of total lines:& 0.56 \end{tabular} \end{tablenotes} Total lines of Matita code for the above files:& 3032. \\ Total lines of O'Caml code for the above files:& 3332. \\ Ration of total lines:& 0.91. Ratio of total lines:& 0.91. \end{tabular} \end{tablenotes}
Note: See TracChangeset for help on using the changeset viewer.