Changeset 1420


Ignore:
Timestamp:
Oct 19, 2011, 5:50:10 PM (9 years ago)
Author:
mulligan
Message:

more changes

File:
1 edited

Legend:

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

    r1418 r1420  
    500500Title & Description & O'Caml & Ratio \\
    501501\hline
    502 \texttt{RTLabs/RTLabsToRTL.ma} & The translation from RTLabs to RTL & \texttt{RTLabs/RTLabsToRTL.ml} & 1.61 \\
     502\texttt{RTLabs/RTLabsToRTL.ma} & Translation from RTLabs to RTL & \texttt{RTLabs/RTLabsToRTL.ml} & 1.61 \\
    503503\texttt{joint/TranslateUtils.ma} & Generic translation utilities & N/A & N/A \\
    504504\texttt{joint/Joint\_LTL\_LIN.ma} & Generic code for LTL and LIN languages & N/A & N/A \\
    505 \texttt{RTL/RTLToERTL.ma} & The translation from RTL to ERTL & \texttt{RTL/RTLToERTL.ml} & 0.88 \\
    506 \texttt{RTL/RTLtailcall.ma} & Elimination of tailcalls & \texttt{RTL/RTLtailcall.ml} & 2.08 \\
    507 \texttt{ERTL/ERTLToLTL.ma} & The translation from ERTL to LTL & \texttt{ERTL/ERTLToRTL.ml} & 1.1\tnote{a} \\
    508 \texttt{ERTL/Interference.ma} & Axiomatised graph colouring component & \texttt{common/interference.ml} & 0.03\tnote{b} \\
    509 \texttt{ERTL/liveness.ma} & Liveness analysis & \texttt{ERTL/liveness.ml} & 0.92 \\
    510 \texttt{LTL/LTLToLIN.ma} & The translation from LTL to LIN & \texttt{LTL/LTLToLIN.ml} & 2.43\tnote{c} \\
    511 \texttt{LIN/LINToASM.ma} & The translation from LIN to assembly language & \texttt{LIN/LINToASM.ml} & 0.41\tnote{c}
     505\texttt{RTL/RTLToERTL.ma} & Translation from RTL to ERTL & \texttt{RTL/RTLToERTL.ml} & 1.38\tnote{a}\tnote{b}\tnote{c} \\
     506\texttt{RTL/RTLtailcall.ma} & Elimination of tailcalls & \texttt{RTL/RTLtailcall.ml} & 2.01 \\
     507\texttt{ERTL/ERTLToLTL.ma} & Translation from ERTL to LTL & \texttt{ERTL/ERTLToLTL.ml} & 1.39\tnote{a}\tnote{b}\tnote{c}\tnote{d} \\
     508\texttt{ERTL/Interference.ma} & Axiomatised graph colouring component & \texttt{common/interference.ml} & 0.23\tnote{b} \\
     509\texttt{ERTL/liveness.ma} & Liveness analysis & \texttt{ERTL/liveness.ml} & 1.46\tnote{b} \\
     510\texttt{LTL/LTLToLIN.ma} & Translation from LTL to LIN & \texttt{LTL/LTLToLIN.ml} & 1.10 \tnote{a}\tnote{b}\tnote{c}\tnote{e}\tnote{f} \\
     511\texttt{LIN/LINToASM.ma} & Translation from LIN to assembly & \texttt{LIN/LINToASM.ml} & 4.06\tnote{a}\tnote{b}\tnote{c}\tnote{f}
    512512\end{tabular}
    513513\begin{tablenotes}
    514   \item[a] This figure includes the line count of \texttt{ERTLToLTLI.ml} and \texttt{ERTLToLTL.ml}.
    515   \item[b] The majority of this file is axiomatised.
    516   \item[c] This figure includes the line count of \texttt{joint/Joint\_LTL\_LIN.ma}.
     514  \item[a] Includes \texttt{joint/TranslateUtils.ma}.
     515  \item[b] Includes \texttt{joint/Joint.ma}.
     516  \item[c] Includes \texttt{joint/TranslateUtil.ma}.
     517  \item[d] Includes \texttt{ERTL/ERTLToLTLI.ml}.
     518  \item[e] Includes \texttt{LTL/LTLToLINI.ml}.
     519  \item[f] Includes \texttt{joint/joint\_LTL\_LIN.ma}.
    517520\end{tablenotes}
    518521\end{threeparttable}
     
    532535Further, many translations are actually significantly shorter than their O'Caml counterparts due to axiomatisation, and the lack of structure and functor declarations in Matita.
    533536
    534 We note that the O'Caml codebase consists of 26989 lines of O'Caml code (including comments).
    535 The Matita codebase consists of 41959 lines of Matita code (including comments).
    536 This is a ratio of 1.55 --- not bad considering the Matita code also includes implementations of data structures that are present in the O'Caml standard library, and some proofs.
     537We note that the O'Caml backend codebase consists of 6770 lines of O'Caml code (including comments).
     538The Matita codebase consists of 6447 lines of Matita code (including comments).
     539This is a ratio of 0.95.
    537540
    538541%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%
Note: See TracChangeset for help on using the changeset viewer.