1. 30 Jun, 2010 1 commit
  2. 29 Jun, 2010 3 commits
  3. 25 Jun, 2010 1 commit
  4. 24 Jun, 2010 1 commit
  5. 23 Jun, 2010 1 commit
  6. 18 Jun, 2010 1 commit
  7. 04 Jun, 2010 1 commit
  8. 02 Jun, 2010 1 commit
    • Erwan Jahier's avatar
      Code re-organisation to abstract Lucky concrete concepts from the · bd9c508e
      Erwan Jahier authored
      rest of the modules. More precisely, the lucky tools now rely only on
      Prog (see below), that is Lucky-agnostic.
      
      The rationale is to ease the plug of a Lutin programs interpreter
      afterwards. Indeed, one (ougth to) just need to implement its own
      version of the Prog module.
      
      To do that, I've splitted LusProg into :
         LucParse
         LucProg
         Prog
      
      Then, I moved the content of Env_state into LucProg. And all this
      had some consequences, that cause more code movement.
      bd9c508e
  9. 28 May, 2010 3 commits
  10. 26 May, 2010 1 commit
  11. 21 May, 2010 3 commits
  12. 19 May, 2010 1 commit
  13. 10 May, 2010 1 commit
  14. 08 Apr, 2010 1 commit
  15. 25 Mar, 2010 1 commit
  16. 19 Mar, 2010 2 commits
    • Erwan Jahier's avatar
      Fix a couple of bugs. · 9a16c8b5
      Erwan Jahier authored
      source/gen_stubs_poc.ml:
        Make sure the ocaml floats are casted to _real so that lurette works
        with programs that use floats.
      
      source/lurettetop.ml:
         Make use of Filename.is_relative instead of my buggy way todo it.
      9a16c8b5
    • Erwan Jahier's avatar
      Je viens d'effectuer la migration prcs2git (prcs est mort, vive git). · 5013c382
      Erwan Jahier authored
      Or j'étais en train de bidouiller plusieurs trucs sans avoir rien
      commité...
      
      Bon, plouf, plouf. Je synchronise et je repars sur des bases saines avec git.
      
      source/luc4c_stubs.c:
              je sauve et je restaure les fegetexcept flags pour tourner autour d'un bug dans
              caml qui se manisfestait quand j'appelais du lucky depuis Alices.
              C'est vraisemblement la source de mes déboires avec Scade/VCS.EXE il fut un temps.
      5013c382
  17. 17 Mar, 2010 17 commits
    • Erwan Jahier's avatar
      lurette 1.46 Wed, 15 Apr 2009 11:14:47 +0200 by jahier · c9f9ddd4
      Erwan Jahier authored
      Parent-Version:      1.45
      Version-Log:
      
      Use polkag instead of polkai to build the binaries, as the latter raises
      some seg fault when its capacity is exceded.
      Project-Description: Lurette
      c9f9ddd4
    • Erwan Jahier's avatar
      lurette 1.45 Mon, 22 Sep 2008 18:20:01 +0200 by jahier · 89aedffe
      Erwan Jahier authored
      Parent-Version:      1.44
      Version-Log:
      
      Fix an embarassing bug in the integer solver (in dimension 1).
      
      Project-Description: Lurette
      89aedffe
    • Erwan Jahier's avatar
      lurette 1.44 Tue, 04 Dec 2007 10:47:42 +0100 by jahier · b6379be0
      Erwan Jahier authored
      Parent-Version:      unstable.5
      Version-Log:
      
      source/util.ml
        add an entete function in order to decorate generated files.
      
      source/solver.ml
        Add more debug info in case of failure.
      
      source/parse_luc.ml
        better error message
      
      source/env_state.ml
        Fix a bug in the handling of the (undocumented) ~default option.
      
      source/lurettetop.ml
        better error message
      
      install/configure.in
        Add stuff for configuring mac os
        use install instead of cp.
      
      install/Makefile.lurette.in
      user-rules
        some improvements(?)
      
      source/Makefile.lucky
      source/Makefile.gen_stubs
      source/Makefile.lurette_lib
      source/Makefile
      polka/Makefile.config
      polka/Makefile
      source/gen_fake_lucky.ml
      source/Makefile.gen_fake_lucky
      install/xlurette.sh.in
      install/xlurette.bat.in
      install/set_env_var.in
      install/lurettetop.sh.in
      install/gen_stubs.sh.in
      source/exp.ml
      source/luc4ocaml.mli
      source/luckyDraw.mli
      source/Makefile.luc4ocaml
      source/Makefile.luckyDraw
      examples/lucky/external_88code/foo.c
      examples/lucky/external_code/call_external_c_code.luc
      examples/lucky/external_code/Makefile
      VERSION
      install/set_env_var.bat.in
      examples/Makefile
      examples/ocaml/crazy-rabbit/rabbit-dir-obstacle.luc
      examples/ocaml/crazy-rabbit/Makefile
      examples/ocaml/crazy-rabbit/rabbit.ml
      examples/rml/Makefile
      examples/lucky/other/Makefile
      examples/luckyDraw/c/luckyDrawC_stubs.c.m4
      examples/luckyDraw/c/essai.c
      examples/luckyDraw/c/Makefile
      examples/luckyDraw/ocaml/Makefile
      examples/xlurette/heater/Makefile
      examples/xlurette/Gyro/Makefile
      utils/lucky_cpp
      utils/luckytolatex
      source/Makefile.release
      source/version.ml
      source/Makefile.luc2c
      examples/xlurette/fault-tolerant-heater/Makefile
      examples/xlurette/tram/Makefile
      examples/xlurette/Sildex/Makefile
      xlurette/makefile
      xlurette/xlurette_glade_main.ml
      lnsw
      source/luc4c_stubs.h
      source/luc4c_stubs.c
      source/luc4c.ml
      examples/lucky/C/Makefile
      source/Makefile.luc4c
      examples/lucky/lustre/Makefile
        Figthing with library stuff.
        Add headers (time-stamps)
        + other minor changes
      
      examples/luckyDraw/c/luckyDrawC_stubs.h
        call the caml_startup() init procedure + various twix.
      
      source/luc2c.ml
        Add a --luciole option
      
      Project-Description: Lurette
      b6379be0
    • Erwan Jahier's avatar
      lurette unstable.5 Mon, 03 Dec 2007 17:43:18 +0100 by jahier · 4be4c2b2
      Erwan Jahier authored
      Parent-Version:      unstable.4
      Version-Log:         empty
      Project-Description: Lurette
      4be4c2b2
    • Erwan Jahier's avatar
      lurette unstable.4 Wed, 28 Feb 2007 11:28:50 +0100 by jahier · 29377b85
      Erwan Jahier authored
      Parent-Version:      unstable.3
      Version-Log:         empty
      Project-Description: Lurette
      29377b85
    • Erwan Jahier's avatar
      lurette unstable.3 Thu, 01 Feb 2007 10:32:02 +0100 by jahier · 1f7cfe34
      Erwan Jahier authored
      Parent-Version:      unstable.2
      Version-Log:         empty
      Project-Description: Lurette
      1f7cfe34
    • Erwan Jahier's avatar
      lurette unstable.2 Tue, 23 Jan 2007 09:54:37 +0100 by jahier · d5e465d2
      Erwan Jahier authored
      Parent-Version:      unstable.1
      Version-Log:         empty
      Project-Description: Lurette
      d5e465d2
    • Erwan Jahier's avatar
      lurette unstable.1 Mon, 11 Dec 2006 17:53:10 +0100 by jahier · 25b18e44
      Erwan Jahier authored
      Parent-Version:      1.43
      Version-Log:         empty
      Project-Description: Lurette
      25b18e44
    • Erwan Jahier's avatar
      lurette 1.43 Fri, 08 Dec 2006 15:36:26 +0100 by jahier · 0841ce15
      Erwan Jahier authored
      Parent-Version:      1.42
      Parent-Version:      1.42
      Parent-Version:      unstable_1_43.6
      Parent-Version:      unstable_1_43.10
      Parent-Version:      unstable_1_43.11
      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
      0841ce15
    • 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.10 Thu, 07 Dec 2006 08:47:28 +0100 by jahier · 33fa4b95
      Erwan Jahier authored
      Parent-Version:      unstable_1_43.9
      Version-Log:
      
      Project-Description: Lurette
      33fa4b95
    • Erwan Jahier's avatar
      lurette unstable_1_43.9 Wed, 25 Oct 2006 14:09:20 +0200 by jahier · 761e1121
      Erwan Jahier authored
      Parent-Version:      unstable_1_43.8
      Version-Log:         empty
      Project-Description: Lurette
      761e1121
    • 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
    • Erwan Jahier's avatar
      lurette unstable_1_43.7 Tue, 07 Feb 2006 17:49:05 +0100 by jahier · 2d0aacef
      Erwan Jahier authored
      Parent-Version:      unstable_1_43.6
      Version-Log:
      
      source/util.ml
      source/parse_luc.ml
      source/lurettetop.ml
         fix gnuplot calling under win32.
      
      source/parse_c_scade.ml
         give better error msg during a parse error
      
      source/lustreExp.ml
      
      source/Makefile.luc2c
      source/luc2c.ml
         A little bit more work on that.
      
      Project-Description: Lurette
      2d0aacef
    • Erwan Jahier's avatar
      lurette unstable_1_43.6 Tue, 24 Jan 2006 10:07:43 +0100 by jahier · 7b737c8c
      Erwan Jahier authored
      Parent-Version:      unstable_1_43.5
      Version-Log:         empty
      Project-Description: Lurette
      7b737c8c
    • Erwan Jahier's avatar
      lurette unstable_1_43.5 Mon, 23 Jan 2006 18:07:26 +0100 by jahier · 00ed5517
      Erwan Jahier authored
      Parent-Version:      unstable_1_43.4
      Version-Log:         empty
      Project-Description: Lurette
      00ed5517
    • Erwan Jahier's avatar
      lurette unstable_1_43.4 Mon, 23 Jan 2006 17:59:17 +0100 by jahier · 42e5d9b5
      Erwan Jahier authored
      Parent-Version:      unstable_1_43.3
      Version-Log:
      
      Ditto.
      
      Project-Description: Lurette
      42e5d9b5