252,7 → 252,7 |
|
\begin{figure}[t] |
\begin{center} |
\resizebox*{120mm}{!}{\includegraphics{diag}} |
\resizebox*{125mm}{!}{\includegraphics{diag}} |
\caption{Overview of the formalisms and tools proposed.} |
\label{fig:diag} |
\end{center} |
290,7 → 290,7 |
approaches. First, we would certainly like to know whether our code base is compliant with the |
programming language specification and passes only the basic semantic checks (proper number |
and types of arguments passed to functions, etc.). It is perhaps not very surprising that |
these decisions can be make by any plain C compiler. However, with the current implementation |
these decisions can be made by any plain C compiler. However, with the current implementation |
of HelenOS even this is not quite trivial. |
|
Besides the requirement to support 7 hardware platforms, the system's compile-time configuration |