Skip to content
  • Erwan Jahier's avatar
    lurette 0.70 Fri, 19 Jul 2002 17:31:37 +0200 by jahier · da43be79
    Erwan Jahier authored
    Parent-Version:      0.69
    Version-Log:
    
    ima_exe.ml:
    lurette.ml:
    env_state.ml:
      Factoring out code into  two new functions, clear_step and clear_all.
    
    env_state.ml:
       Do not use to 2 ranges of indexes (one for atomic formula that depends on
    pre,
       one if it is not) but maintain a list a unused indexes instead.
    
    Project-Description: Lurette
    da43be79