Skip to content
  • Erwan Jahier's avatar
    lurette 0.137 Tue, 03 Jun 2003 15:32:29 +0200 by jahier · 5a9bb52c
    Erwan Jahier authored
    Parent-Version:      0.136
    Version-Log:
    
    source/gen_stubs:
       Fix a bug where the var name ok was clashing with user vars
       in the generated always true oracle. now i use the name
       weird_name_to_avoid_clash__ok
    
    source/lurettetop.ml:
       Make sure that the .lus files is less recent than the .c file
       before running.
    
    source/lurettetop.ml:
    source/gen_stubs.ml:
    ihm/xlurette/*.ml:
       Add support for future handling of the scade compiler.
       Currently, returns a msg saying it that the scade port is not implemented.
    
    Project-Description: Lurette
    5a9bb52c