Hi Markus, Thanks for the reply and the pointers. Those are very helpful.
We are trying to evaluate different approaches in this space and trying to choose one that would work the best for us. If we decide to go down this route, we will work with your team to figure out how we can contribute. Best, Raghavan On Sun, Jul 21, 2019 at 4:45 AM Markus Elfring <[email protected]> wrote: > > We are looking into > using Coccinelle for refactoring in Go > > Thanks for your interest. > > > > Does Coccinelle include support for Go? > > Not yet. > > > > * Is there any plan to add support for the same? > > Would you like to contribute significant development resources for > corresponding software extensions? > > > > * What would it take to add this support? > > Remarkable desire for collateral evolution. > > > > Any documentation regarding > this? > > > Yes, of course. > > Did you notice information sources like the following already? > > * Paper “Computation tree logic with variables and witnesses” > > https://urldefense.proofpoint.com/v2/url?u=http-3A__coccinelle.lip6.fr_papers_popl09.pdf&d=DwIFaQ&c=r2dcLCtU9q6n0vrtnDw9vg&r=TMoJUATrFJ-DanWKiyV4vg&m=PHMByyX5UXMVrzhrHlaIacBrUqKn4XPs818jx0L9aYE&s=yQPALN3aGqQYDRq4eKwTN_P_UtFEwpIn-VevK9QGluc&e= > > https://urldefense.proofpoint.com/v2/url?u=https-3A__doi.org_10.1145_1480881.1480897&d=DwIFaQ&c=r2dcLCtU9q6n0vrtnDw9vg&r=TMoJUATrFJ-DanWKiyV4vg&m=PHMByyX5UXMVrzhrHlaIacBrUqKn4XPs818jx0L9aYE&s=zQVXV_GZVkPhV3r_Co5kGFTAjO2VMkhu5NWVW78BkeI&e= > > * Manual for the semantic patch language > > https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_coccinelle_coccinelle_blob_ed1eb8e06f800739d3992158d36945c0c4c6f0c7_docs_manual_cocci-5Fsyntax.tex-23L50&d=DwIFaQ&c=r2dcLCtU9q6n0vrtnDw9vg&r=TMoJUATrFJ-DanWKiyV4vg&m=PHMByyX5UXMVrzhrHlaIacBrUqKn4XPs818jx0L9aYE&s=fjSfzgpZ0VlHVBEX9BbF17Xj0Co6DpQUNoTyspB9lO0&e= > > * Clarification request: Support for more programming languages? > > https://urldefense.proofpoint.com/v2/url?u=https-3A__systeme.lip6.fr_pipermail_cocci_2016-2DJuly_003445.html&d=DwIFaQ&c=r2dcLCtU9q6n0vrtnDw9vg&r=TMoJUATrFJ-DanWKiyV4vg&m=PHMByyX5UXMVrzhrHlaIacBrUqKn4XPs818jx0L9aYE&s=h-OnZQhuthCctxsfOfpC5LhuamwKTEfRoIfG09Dd7Go&e= > > https://urldefense.proofpoint.com/v2/url?u=https-3A__lore.kernel.org_cocci_76bf1017-2Dd629-2Dd44a-2D5493-2D0dcccbbfa65b-40users.sourceforge.net_&d=DwIFaQ&c=r2dcLCtU9q6n0vrtnDw9vg&r=TMoJUATrFJ-DanWKiyV4vg&m=PHMByyX5UXMVrzhrHlaIacBrUqKn4XPs818jx0L9aYE&s=w4Riw44aVfsTNqmkc_okL7dRKVK0kZHsHpYBIHRQi_0&e= > > > How do you think about to improve related technologies? > > Regards, > Markus >
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
