Skip to content
  • Erwan Jahier's avatar
    lurette 0.26 Mon, 11 Feb 2002 17:32:29 +0100 by jahier · 8e54c847
    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