-
Erwan Jahier authored
Parent-Version: 0.25 Version-Log: Re-arrange the code so that lurette_stub.ml is not called by all the modules of lurette to avoid that everything is recompiled each time a new sut is used. To do that, lurette nows only manipulates list of substitutuions instead of tuples (as only lurette_stub knows the size of the tuples). Also fix two bugs along the way: o wtree.ml: Random.int n draw between 0 inclusive and n *exclusive* ! o wtree.ml: in wtree_product, make sure that I do not unsort list of nodes o solver.ml: in draw_in_bdd, I was tossing up the top var of the formula instead of tossing up the one of the support Plus a few cosmetic change: show_env.ml: lurette.ml: prints the previous nodes in green environment.ps lurette.ml: rename arcs_inputs_loc into nll_inputs_loc. Project-Description: Lurette
8e54c847