1. 27 Apr, 2018 1 commit
  2. 17 Mar, 2010 2 commits
    • Erwan Jahier's avatar
      lurette unstable_1_43.11 Thu, 07 Dec 2006 17:12:19 +0100 by jahier · 5e6fc3c0
      Erwan Jahier authored
      Parent-Version:      unstable_1_43.10
      Version-Log:
      
      j'ai rajouté une une option --lustre a luc2c qui permet d'appeler
      du lucky depuis lustre.
      
      Project-Description: Lurette
      5e6fc3c0
    • Erwan Jahier's avatar
      lurette unstable_1_43.8 Tue, 06 Jun 2006 14:26:40 +0200 by jahier · 85c76c08
      Erwan Jahier authored
      Parent-Version:      unstable_1_43.7
      Version-Log:
      
      Implement a luc4c API so that lucky programs can be called from C.
      This is meant to be used be luc2c.
      
      nb : not yet working.
      There is a seg fault when launched from the scade tck gui. Strangely,
      it seems to work when run from the command-line simulation executable.
      
      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. This change comes from a manual merge
      with the main branch.
      
      source/parse_luc.ml
         Enhance the parser error msgs.
      
      source/gen_stubs_common.ml
         Implement a typdef parser for type definition that are coming
         from the Scade tcl Gui (this change comes from a manual merge
         with the main branch).
      
      polka/caml/polka_lexer.mll
         Allow ident starting by _.
      
      source/gen_fake_lucky.ml:
         add a log file for gen_fake_lucky, which is useful for debugging,
         but also for users.
      
      source/type.mli:
      source/type.ml
         When generating, C code, translate ocaml float into C double instead
         of C float.
      
      source/gnuplot-rif.ml
         Allow true, false, True, and False as RIF data.
      
      source/liblutin_c.c:
         This a change from Pascal :
          The interval algorithm was completely false .
      
      source/graphUtil.ml
      source/graphUtil.mli
         Add a top_sort function that performs a topological sort in a graph
         with no cycle.
      
      source/luc2c.ml
         More work on that.
      
      source/luc_exe.ml
      source/lurette.ml
      source/lucky.ml
      source/util.ml
      source/parse_c_scade.ml
      install/configure.in
      OcamlMakefile
      Makefile
      source/Makefile
      source/luc4ocaml.ml
      source/Makefile.release
         Some Trivial changes.
      
      NEW FILES:
      source/luc4c_stubs.h
      source/luc4c_stubs.c
      source/luc4c_caml.ml
      source/luc4c.mli
      source/luc4c.ml
         The luc4c API files.
      
      examples/lucky/C/test.rif.exp
      examples/lucky/C/test.res
      examples/lucky/C/foo.luc
      examples/lucky/C/call_foo.c
         A few non-reg tests broke because of the changes to lutin_lib.c.
      
      examples/lucky/C/Makefile
         Some changes.
      
      Project-Description: Lurette
      85c76c08