Changeset 1443 for Deliverables/D4.2-4.3


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

sizes added

File:
1 edited

Legend:

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

    r1442 r1443  
    528528\begin{table}
    529529\begin{threeparttable}
    530 \begin{tabular}{llll}
    531 Title & Description & O'Caml & Ratio \\
    532 \hline
    533 \texttt{joint/Joint.ma} & Abstracted syntax for backend languages & N/A & N/A \\
    534 \texttt{RTLabs/syntax.ma} & The syntax of RTLabs & \texttt{RTLabs/RTLabs.mli} & 0.65 \\
    535 \texttt{RTL/RTL.ma} & The syntax of RTL & \texttt{RTL/RTL.mli} & 1.85\tnote{a} \\
    536 \texttt{ERTL/ERTL.ma} & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 1.04\tnote{a} \\
    537 \texttt{LIN/joint\_LTL\_LIN.ma} & The syntax of the abstracted combined LTL and LIN language & N/A & N/A \\
    538 \texttt{LTL/LTL.ma} & The specialisation of the above file to the syntax of LTL & \texttt{LTL/LTL.mli} & 1.86\tnote{b} \\
    539 \texttt{LIN/LIN.ma} & The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.mli} & 2.27\tnote{b} \\
     530\begin{tabular}{lllll}
     531Title & Size & Description & O'Caml & Ratio \\
     532\hline
     533\texttt{joint/Joint.ma} & 173 & Abstracted syntax for backend languages & N/A & N/A \\
     534\texttt{RTLabs/syntax.ma} & 73 & The syntax of RTLabs & \texttt{RTLabs/RTLabs.mli} & 0.65 \\
     535\texttt{RTL/RTL.ma} & 49 & The syntax of RTL & \texttt{RTL/RTL.mli} & 1.85\tnote{a} \\
     536\texttt{ERTL/ERTL.ma} & 25 & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 1.04\tnote{a} \\
     537\texttt{LIN/joint\_LTL\_LIN.ma} & 10 & The syntax of the abstracted combined LTL and LIN language & N/A & N/A \\
     538\texttt{LTL/LTL.ma} & 10 & The specialisation of the above file to the syntax of LTL & \texttt{LTL/LTL.mli} & 1.86\tnote{b} \\
     539\texttt{LIN/LIN.ma} & 17 & The specialisation of the above file to the syntax of LIN & \texttt{LIN/LIN.mli} & 2.27\tnote{b} \\
    540540\end{tabular}
    541541\begin{tablenotes}
     
    545545  Total lines of Matita code for the above files:& 347 \\
    546546  Total lines of O'Caml code for the above files:& 616 \\
    547   Ration of total lines:& 0.56
     547  Ratio of total lines:& 0.56
    548548  \end{tabular}
    549549\end{tablenotes}
     
    578578  Total lines of Matita code for the above files:& 3032. \\
    579579  Total lines of O'Caml code for the above files:& 3332. \\
    580   Ration of total lines:& 0.91.
     580  Ratio of total lines:& 0.91.
    581581  \end{tabular}
    582582\end{tablenotes}
Note: See TracChangeset for help on using the changeset viewer.