OCaml 4.12.0-compliant.

GenProg 4.0 is OCaml 4.12.0-compliant (or rather, builds after 4.05, which was untrue of the previous version). Build instructions in README; requires a fork of Cil. Code is otherwise only lightly modified to bring it up to date with modern OCaml API. However, since those changes are breaking viz previous OCaml versions (and vanilla Cil), I updated the major version number.

OCaml-4.05.0-compliant code.

Code and README are OCaml-4.05.0 compliant; builds with vanilla Cil 1.7.3, installed via opam.

October 2018 release checkpoint.

This release serves as an endpoint for development activities from October 5, 2018.

releases/v3.2

New asmrep that was used in the PowerGAUGE paper experiments