1.0.0-rc14 is available on the web page. It may be some time before it is available on github, due to the person who takes care of that being on vacation. The main changes are the addition of the --defined and --undefined command-line arguments, which are interpreted when parsing #ifdef and #ifndef, and a small change to the implementation of when forall in an exists rule (* for matching rather than +- for transformation).

julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to