Commit 8c8673b6 authored by Sergio Costas's avatar Sergio Costas

Updated documentation

parent 49f8ce9a
......@@ -10,12 +10,13 @@ CRUST works by adding several tags to the source code. These
tags allow to specify which pointers must be tracked by CRUST
and their properties.
The tags are automagically removed by the C Preprocessor, so
they are completely transparent to the compiler. That also
means that there are no fancy libraries, runtimes or expandable
macros: the source code is just standard, plain C. The tags just
allow to annotate specific information for the CRUST preprocessor,
but they aren't used during compilation.
The tags are automagically removed by the C Preprocessor during
compilation, so they are completely transparent to the compiler.
That also means that there are no fancy libraries, runtimes or
expandable macros: the source code is just standard, plain C.
The tags just allow to annotate specific information for the
CRUST preprocessor, but they aren't needed or used during
compilation.
It can be useful for projects where RUST is not feasible, like
code for microcontrollers, kernel drivers...
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment