package spdiff

  1. Overview
  2. Docs
tool for automatic inference of semantic patches

Install

Dune Dependency

Authors

Maintainers

Sources

0.1.tar.gz
sha256=58dade7a8a5fdb0add1abd4105e89fbc7c866b0b4b40bd95819e3e018eb43b0c
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

OCaml

Innovation. Community. Security.