armchair_progamer@programming.devM to Programming Languages@programming.dev · 1 year agoCoccinelle For Rust (Automated complex syntax transforms)gitlab.inria.frexternal-linkmessage-square5fedilinkarrow-up16arrow-down10file-text
arrow-up16arrow-down1external-linkCoccinelle For Rust (Automated complex syntax transforms)gitlab.inria.frarmchair_progamer@programming.devM to Programming Languages@programming.dev · 1 year agomessage-square5fedilinkfile-text
minus-squarejeffhykin@lemm.eelinkfedilinkarrow-up4·1 year agoMight want to link to some examples, e. g. https://gitlab.inria.fr/coccinelle/coccinelleforrust/-/blob/main/docs/Getting Started.md?ref_type=heads I didn’t really understand the usecase till I saw that^
minus-squarecrystal@feddit.delinkfedilinkarrow-up1·1 year agoThe 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.)
minus-squarearmchair_progamer@programming.devOPMlinkfedilinkarrow-up1·edit-21 year agoThe 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)
minus-squarepixel__goblin@programming.devlinkfedilinkarrow-up1·11 months agoHello! I do not think the docs are ready for viewing yet. You should instead check out talks/lpc23.pdf and https://rust-for-linux.com/coccinelle-for-rust
minus-squarephilm@programming.devlinkfedilinkarrow-up1·1 year agoThanks for the link. It would be interesting, whether this handles macro-expansion as well (I doubt that, haven’t looked into detail yet though).
Might want to link to some examples, e. g. https://gitlab.inria.fr/coccinelle/coccinelleforrust/-/blob/main/docs/Getting Started.md?ref_type=heads
I didn’t really understand the usecase till I saw that^
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 https://rust-for-linux.com/coccinelle-for-rust
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).