Skip to content
  • Erwan Jahier's avatar
    lurette scade_gui.1 Tue, 06 Jun 2006 15:45:49 +0200 by jahier · 7cd28455
    Erwan Jahier authored
    Parent-Version:      1.42
    Parent-Version:      1.42
    Parent-Version:      unstable_1_43.6
    Version-Log:
    
    Some progress in the scade tcl gui connection.
    
    Add code to be able to parse type definitions that are coming
    from the Scade tcl Gui. Thanks to that, we do not need to parse
    generated C header files anymore.
    
    Not yet finished.
    
    Add a lot of files that were not prcs-ed.
    
    source/util.ml
    source/parse_luc.ml
    source/lustreExp.ml
       from_char_pos_to_line_and_col that is useg to guess the line and col
    number
       from the char number, was returning bad line numbers because cpp adds lines
       preceeded by #. Therefore, we add boolean flag to this function so that it
    
       does not count such lines if the flag is set to true.
    
    source/lurettetop.ml:
       Sim2chro and gnuplot were called with a bad arg in some cases (i do not
    remember
       which ones. Probably on win32.
    
    source/parse_c_scade.ml:
       Enhance the debug messages wrt line numbers.
    
    source/lurette_exe.c
       Add ifdef-ed debug dump (in a log file).
    
    install/configure.in:
    Makefile.common.source:
    Makefile
    source/Makefile.show_luc
    source/Makefile.lucky
    source/Makefile
       Minor changes.
    
    polka/caml/polka_lexer.mll:
       Allow ident starting by _.
    
    polka/Makefile.config
    install/set_env_var.in
    install/lurettetop.bat.in
       Minor changes.
    
    xlurette/Scade/LuretteGUILauncher.tcl
    xlurette/Scade/GenMake_l4sim.tcl
      The lurette dir in the Scade hierarchie is now lurette/bin instead of
      lurette/win32/bin (ditto for lib, and include).
    
      Some fix after my visit to Esterel (thanks to Aubanel).
    
    source/Makefile.luc4ocaml
       Add mli files.
    
    xlurette/Scade/Makefile
       Add a few rules to copy various files at various places.
    
    source/liblutin_c.c
       This a change from Pascal :
        The interval algorithm was completely false .
    
    examples/Makefile
       Typo.
    
    examples/ocaml/crazy-rabbit/rabbit.out
    examples/lucky/other/test4.rif
    examples/lucky/other/test4.res
    examples/xlurette/heater/test3.rif0
       A few non-reg tests broke because of the changes to lutin_lib.c.
    
    examples/luckyDraw/ocaml/Makefile
    examples/xlurette/Gyro/Makefile
    source/Makefile.release
       Some changes.
    
    Project-Description: Lurette
    7cd28455