tool for automatic inference of semantic patches

Install

Authors

Maintainers

Sources

0.1.tar.gz
md5=d523b48a5e7b4d392cf7fcc7a2a07553

Description

spdiff-infered semantic patches can be applied by spatch from the coccinelle package (also in opam)

Published: 10 Sep 2014

Dependencies (2)

  1. menhir <= "20140422"
  2. ocaml

Dev Dependencies

    None

Used by

    None

Conflicts

    None