- Update to 1.0.2
* Positions of C tokens are now computed while lexing rather than
during a distinct pass. This makes use of the Lexing.new_line
function which has been introduced in OCaml 3.11. Coccinelle
can thus no longer be compiled with OCaml 3.10. --use-gitgrep
falls back to --use-coccigrep for a non-git repository.
* ocaml coccilib allows propagating identifiers, expressions,
statements, listlens, and positions to subsequent matching rules
* Allow @S, for statement metavariable S on expressions
* Exploit explicit positive constraints (no regexps) on
identifiers in file filtering
* Ability to declare a rule as matching an identifier. Doesn't
work properly for names of typedefs, enums, structures, or
unions.
* Iso: allow mixed for model for the case where the model is just
a metavar
* Allow ! to propagate into == or other ops in more cases.

- Update to 1.0.1
* Language:
+ allow static on type-level declarers
* Features:
+ add --use-gitgrep option, for scanning with git grep
* Bugfix:
+ Take into account constraints when determining whether a
metavar is pure don't add switch fall through when a default
is hidden under another case label.