The page is written as if there’s more to come (“This is not the correct patch, but we will come to that”), but I don’t see any further pages. Is this explaination unfinished or did I just miss where it continues? (I’m not used to Gitlab.)
armchair_progamer@programming.dev
on 04 Dec 2023 16:39
nextcollapse
The original (C) Cocinelle page may have better use cases. Cocinelle for Rust is in the early stages, Cocinelle for C has been around for a long time.
threaded - newest
Might want to link to some examples, e. g. gitlab.inria.fr/coccinelle/…/Getting Started.md?r…
I didn’t really understand the usecase till I saw that^
Thanks for the link.
It would be interesting, whether this handles macro-expansion as well (I doubt that, haven’t looked into detail yet though).
The page is written as if there’s more to come (“This is not the correct patch, but we will come to that”), but I don’t see any further pages. Is this explaination unfinished or did I just miss where it continues? (I’m not used to Gitlab.)
The original (C) Cocinelle page may have better use cases. Cocinelle for Rust is in the early stages, Cocinelle for C has been around for a long time.
Semantic patches (a simple example)
Impact on the Linux kernel (case study)
Hello! I do not think the docs are ready for viewing yet. You should instead check out talks/lpc23.pdf and rust-for-linux.com/coccinelle-for-rust