Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
This directory is used for adding your semantic patches to Coccinellery. Create a directory for you and put all semantic patches inside your directory. For each .cocci file, please create a .desc file. There are examples of .desc files on the repository. If you want a new target, add it to: 1 - targets file on the root directory of the Coccinellery repository: github.com/coccinelle/coccinellery/blob/master/targets 2 - html template github.com/coccinellery/coccinellery.github.com/blob/master/template/header.html