type-recovery is ongoing research and the code is rapidly changing. It is probably not useful to many at the moment.
Requires OCaml >= 4.06.0. The current version of CIL is not compatible with
4.06.0, but you should be able to install from the develop branch of my
fork using opam pin add cil [email protected]:jlacomis/cil.git#develop
.