Skip to content
  • Erwan Jahier's avatar
    lurette 1.17 Thu, 08 Jan 2004 09:06:39 +0100 by jahier · 06abf72c
    Erwan Jahier authored
    Parent-Version:      1.16
    Version-Log:
    
    source/env_state.ml
       Fix several bugs in the way automata run in parallel were handled.
       (actually, i knew that this feature was broken).
    
       Also add support to handle cases where the same variable has
       several min (take the max), max (take the  min), alias, default,
       init (abort) option values.
       I am not sure if i should authorize that for min and max though.
    
    Project-Description: Lurette
    06abf72c