-
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/
4599fe6bAndrei 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/
Loading