armchair_progamer@programming.devM to Programming Languages@programming.dev · 11 months 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 · 11 months agomessage-square5fedilinkfile-text
minus-squarecrystal@feddit.delinkfedilinkarrow-up1·11 months 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-211 months 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
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