>> Does the software process "Compilation of PQL into SmPL" generate >> any disjunctions (and conjunctions) into the corresponding SmPL source code? > > I don't think so.
I am a bit surprised by this feedback. > In particular, isomorphisms are not applied. Such special settings might need another look, don't they? > Why do you ask? I am just curious on the amount of functionality that is used by the tool "Prequel" from the semantic patch language. How much are then also the programming languages "OCaml" and "Python" involved? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
