Skip to content
  • Erwan Jahier's avatar
    lurette 1.20 Fri, 13 Feb 2004 16:03:37 +0100 by jahier · b3d4d2c7
    Erwan Jahier authored
    Parent-Version:      1.19
    Version-Log:
    
    source/store.ml:
       Fix a bug found by Bertrand where it was necessary to
       apply substitutions each time a constraint is added
       Maybe it is sometimes overkill, but it is safe,
       and performance does not seem to suffer that much.
    
    source/parse_luc.ml:
       Do not open the .luc file twice, and keep the whole file
       in a string to call the lustre expression parser.
       This was an attempt to make the debbuger work again
       with big .luc file, but it fails... The Stream lib really
       seems to suck AFA ocamldebug is concerned.
    
       Also shout when a wrong flag is used.
    
    source/lurette.ml:
       when an assertion is violated, put the corresponding vector
       in the .rif file.
    
    Project-Description: Lurette
    b3d4d2c7