Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

[beamer] A few straight forward slides added

Browse Source
This commit is contained in:
Arnaud DABY-SEESARAM 2022-12-16 10:45:20 +01:00
parent 3417d75620
commit 3fa0f92233
1 changed files with 35 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

50
beamer/beamer.tex
View File

@ -97,35 +97,49 @@
\section{Passes} \section{Passes}
\begin{frame}{Passes} \begin{frame}{Passes}
\begin{block}{Classification} \begin{block}{Sanity checks}
The passes of our compiler are functions of taking a program and either:
\begin{itemize} \begin{itemize}
\item returning a program if the pass succeeded \item Check the well-typedness of a program
\item returns nothing otherwise \item Check that there are no assignment conflicts in a programs
\end{itemize}
\end{block}
\begin{block}{AST modification}
\begin{itemize}
\item Rewrite automata into \texttt{if-then-else} constructs
\item Linearization of the equations
\item (no longer required) Push the \texttt{pre} to variables
\end{itemize} \end{itemize}
We only have one language in our compiler: no intermediary language.
\end{block} \end{block}
\end{frame} \end{frame}
\subsection{Check} \section{Translation to C}
\begin{frame} \begin{frame}
\begin{block}{Passes} \centerline{\Huge TODO $\boxed{\ddot\smile}$}
The passes can be split into: \end{frame}
\section{Tests}
\begin{frame}{Tests}
\begin{block}{testing methods}
We thought of three testing methods:
\begin{itemize} \begin{itemize}
\item those checking the program validity \item manual testing of our functionalities
\item those modifying the AST of the program \item run the sanity-checks-passes after any AST-altering pass
\item simulation of the nodes (aborted)
\end{itemize} \end{itemize}
\end{block} \end{block}
\end{frame} \end{frame}
\begin{frame}{Implemented passes} \section{Possible improvements}
\begin{block}{\texttt{pre}-propagation to leaves} \begin{frame}{Improvements}
\end{block} \begin{itemize}
\begin{block}{Check: unique initialization for variables} \item Increase the expressivity of the accepted programs
\end{block} \item Improve the complexity of the different passes
\begin{block}{Linearization of the equations} \begin{itemize}
\end{block} \item Group neighbour passes of the same type (node-, expression or
equation-pass).
\end{itemize}
\item \dots{}
\end{itemize}
\end{frame} \end{frame}
\end{document} \end{document}