Commit cce8f7d3 authored by Sergio Costas's avatar Sergio Costas

Updated documentation

parent aecff079
......@@ -15,8 +15,8 @@ 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
CRUST static analyzer, but they aren't needed or used during
normal 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