armchair_progamerM to Programming Languages · 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_progamerM to Programming Languages · 1 year agomessage-square5fedilinkfile-text
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_progamerOPMlinkfedilinkarrow-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__goblinlinkfedilinkarrow-up1·1 year 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