-
Erwan Jahier authored
Parent-Version: 0.29 Version-Log: gen_stubs.ml: Updates the stubs files (lurette_stub.ml, sut_stub.c, sut_idl_stub.idl, oracle_stub.c, oracle_idl_stub.idl) iff they have changed to avoid unnecessary recompilations. Makefile: Minor cosmetic changes. wtree.ml,mli: env.ml: Also remove a loop in the dependencies that was confusing ocamldot (but how could it work before with that loop ?). To do that, pass Solver.is_satisfiable as a argument of Wtree.choose_n_formula so that Wtree does not depend on Solver anymore. Project-Description: Lurette
c6197659