• Andrei Paskevich's avatar
    move whyml to the Why3 library · 4599fe6b
    Andrei Paskevich authored
    + do not build src/programs/
    + build the library in lib/why3/
    + fix use_api.ml for the case when Alt-Ergo is not present
    + distribute lib/coq/BuiltIn.v
    + rename src/config to src/why3config
    + rename src/bench to src/why3bench
    + move src/config.ml to src/util/
mlw_ty.ml 31.8 KB