Changeset 1428


Ignore:
Timestamp:
Oct 20, 2011, 3:32:03 PM (9 years ago)
Author:
mulligan
Message:

finished d4.3 report

Location:
Deliverables/D4.2-4.3/reports
Files:
2 edited

Legend:

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

    r1420 r1428  
    547547We list some important functions and axioms in the backend compilation:
    548548
    549 \paragraph{From RTL/RTLabsToRTL.ma}
     549\paragraph{From RTLabs/RTLabsToRTL.ma}
    550550\begin{center}
    551551\begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}}
  • Deliverables/D4.2-4.3/reports/D4-3.tex

    r1427 r1428  
    641641We list some important functions and axioms in the backend semantics:
    642642
     643\paragraph{From RTLabs/semantics.ma}
     644\begin{center}
     645\begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}}
     646Title & Description \\
     647\hline
     648\texttt{make\_initial\_state} & Build an initial state \\
     649\texttt{eval\_statement} & Evaluate a single RTLabs statement \\
     650\texttt{is\_final} & Check whether a state is in a `final' configuration \\
     651\texttt{RTLabs\_exec} & Execute an RTLabs program
     652\end{tabular*}
     653\end{center}
     654
     655\paragraph{From RTL/semantics.ma}
     656\begin{center}
     657\begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}}
     658Title & Description \\
     659\hline
     660\texttt{rtl\_exec\_extended} & Execute a single step of the RTL language's extended instructions \\
     661\texttt{rtl\_fullexec} & Execute an RTL program
     662\end{tabular*}
     663\end{center}
     664
     665\paragraph{From ERTL/semantics.ma}
     666\begin{center}
     667\begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}}
     668Title & Description \\
     669\hline
     670\texttt{ertl\_exec\_extended} & Execute a single step of the ERTL language's extended instructions \\
     671\texttt{ertl\_fullexec} & Execute an ERTL program
     672\end{tabular*}
     673\end{center}
     674
     675\paragraph{From LTL/semantics.ma}
     676\begin{center}
     677\begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}}
     678Title & Description \\
     679\hline
     680\texttt{ltl\_fullexec} & Execute an LTL program
     681\end{tabular*}
     682\end{center}
     683
     684\paragraph{From LIN/semantics.ma}
     685\begin{center}
     686\begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}}
     687Title & Description \\
     688\hline
     689\texttt{lin\_fullexec} & Execute a LIN program
     690\end{tabular*}
     691\end{center}
     692
     693\paragraph{From LIN/joint\_LTL\_LIN\_semantics.ma}
     694\begin{center}
     695\begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}}
     696Title & Description \\
     697\hline
     698\texttt{ltl\_lin\_exec\_extended} & Execute a single step of the joint LTL-LIN language's extended instructions \\
     699\texttt{ltl\_lin\_fullexec} & Execute a joint LTL-LIN language program
     700\end{tabular*}
     701\end{center}
     702
     703\paragraph{From joint/semantics.ma}
     704\begin{center}
     705\begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}}
     706Title & Description \\
     707\hline
     708\texttt{eval\_statement} & Evaluate a single joint language statement \\
     709\texttt{is\_final} & Check whether a state is in a `final' configuration \\
     710\texttt{joint\_fullexec} & Execute a joint language program
     711\end{tabular*}
     712\end{center}
     713
     714\paragraph{From joint/SemanticUtils.ma}
     715\begin{center}
     716\begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}}
     717Title & Description \\
     718\hline
     719\texttt{graph\_fetch\_statement} & Fetch a statement from a control flow graph
     720\end{tabular*}
     721\end{center}
     722
    643723\end{document}
Note: See TracChangeset for help on using the changeset viewer.