1. 18 Jun, 2010 1 commit
  2. 04 Jun, 2010 1 commit
  3. 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
  4. 28 May, 2010 3 commits
  5. 26 May, 2010 1 commit
  6. 21 May, 2010 3 commits
  7. 19 May, 2010 1 commit
  8. 10 May, 2010 1 commit
  9. 08 Apr, 2010 1 commit
  10. 25 Mar, 2010 1 commit
  11. 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
  12. 17 Mar, 2010 24 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
    • Erwan Jahier's avatar
      lurette unstable_1_43.3 Mon, 23 Jan 2006 17:39:36 +0100 by jahier · 37b80fbc
      Erwan Jahier authored
      Parent-Version:      unstable_1_43.2
      Version-Log:
      
      Ditto.
      
      Project-Description: Lurette
      37b80fbc
    • Erwan Jahier's avatar
      lurette unstable_1_43.2 Mon, 23 Jan 2006 17:01:15 +0100 by jahier · 556cedbc
      Erwan Jahier authored
      Parent-Version:      unstable_1_43.1
      Version-Log:
      
      Ditto.
      
      Project-Description: Lurette
      556cedbc
    • Erwan Jahier's avatar
      lurette unstable_1_43.1 Mon, 23 Jan 2006 15:04:07 +0100 by jahier · 8210de82
      Erwan Jahier authored
      Parent-Version:      1.42
      Version-Log:
      
      Add all the missing files in the prcs repository.
      
      Project-Description: Lurette
      8210de82
    • Erwan Jahier's avatar
      lurette 1.42 Fri, 20 Jan 2006 15:06:27 +0100 by jahier · 04e06981
      Erwan Jahier authored
      Parent-Version:      1.41
      Version-Log:
      
      source/luc_exe.ml
      source/command_line_luc_exe.ml
      source/lurette.ml
      source/graph.ml
      source/lucky.mli
      source/lucky.ml
      source/util.ml
      source/formula_to_bdd.ml
      source/formula_to_bdd.mli
      source/fair_bddd.ml
      source/fair_bddd.mli
      source/bddd.ml
      source/bddd.mli
      source/solver.mli
      source/solver.ml
      source/polyhedron.ml
      source/polyhedron.mli
      source/store.mli
      source/store.ml
      source/parse_luc.mli
      source/parse_luc.ml
      source/show_env.ml
      source/env_state.mli
      source/env_state.ml
      source/run_aut.mli
      source/run_aut.ml
      source/lurettetop.ml
      source/draw.mli
      source/draw.ml
      source/gen_stubs.ml
      source/parse_c_scade.ml
      source/ne.ml
      source/prevar.ml
      source/prevar.mli
      source/show_luc.ml
      utils/lucky.el
      install/configure.in
      Makefile.common.source
      install/Makefile.lurette.in
      user-rules
      source/Makefile.lurettetop
      source/Makefile.gen_fake_lutin
      source/Makefile.show_luc
      source/Makefile.lucky
      source/Makefile.gen_stubs
      source/Makefile.lurette_lib
      source/Makefile
      RUN_ME
      TODO
      test/time-joly.exp
      test/time-joly.res
      test/time-ecrins.exp
      ihm/xlurette/xlurette_glade_main.ml
      ihm/xlurette/xlurette_glade_interface.ml
      ihm/xlurette/makefile
      polka/caml/Makefile
      polka/Makefile.config
      source/Makefile.gen_fake_lucky
      install/xlurette_sh.in
      install/xlurette.sh.in
      install/xlurette.bat.in
      install/set_env_var.in
      install/lurettetop_sh.in
      install/lurettetop.sh.in
      install/lurettetop.bat.in
      install/gen_stubs.sh.in
      source/poly_draw.ml
      source/poly_draw.mli
      source/lustreExp.ml
      source/lustreExp.mli
      source/exp.ml
      source/var.ml
      source/type.mli
      examples/xlurette/fault-tolerant-heater/degradable-sensors.luc
      examples/xlurette/fault-tolerant-heater/heater_control_env.luc
      examples/xlurette/fault-tolerant-heater/sensors.luc
      source/parser.mly
      doc/lurette-man/lurette-man.tex
      source/parse_sildex.ml
      test/time-asti.exp
      RELEASE-NOTES
      FAQ
      source/gnuplot-socket.ml
      source/luc4ocaml.ml
      source/luc4ocaml.mli
      source/Makefile.gnuplot-rif
      source/gnuplot-rif.ml
      source/luckyDraw.mli
      source/luckyDraw.ml
      source/luc4ocaml_nolbl.mli
      source/luc4ocaml_nolbl.ml
      source/lucky2lus.ml
      source/Makefile.luc4ocaml
      source/Makefile.lurette_ocaml_lib
      source/Makefile.lurette_debug
      source/Makefile.luckyDraw
      source/Makefile.lucky2lus
      xlurette/Scade/GenMake_l4sim.tcl
      examples/lucky/external_code/call_external_c_code.luc
      examples/lucky/external_code/Makefile
      VERSION
      install/configure
      install/set_env_var.bat.in
      
      Quite a lot of changes this time... far too much...
      
      Fix a at least 5 bugs, and re-organize directories, in particular
      the test dir. too much to say...
      
       * pre pre x was always equal to pre x (bugs introduced in 1.39 or something
      I think...).
       * ...
      
      One big improvment is that I have completely changed the way runtime automaton
      are handled, using continuations instead of maitaining an explicit
      data-structure.
      This let me reduce the run_aut module by 75 percent, resulting in much clearer
      code, and less buggy, and more efficient. ouaw!
      
      thanks to that, I support DAG now (was rejected before).
      
      The executable that do not need env var are no more called via a script that
      call set_env_var, so that they are fully stand-alone: show_luc, lucky,
      gen_fake_lucky. This is why util was splitted (util+util2)
      
      source/var.ml
      source/lucaml.ml  -> luc4ocaml.ml
      source/lucaml.mli -> luc4ocaml.mli
      
      source/run_aut.ml:
         Fix a bug during the backtraking in the dynamic tree.
      
      source/env_state.ml
      
      source/formula_to_bdd.ml
         sort the list of free index, because the first order of variable is
      generally
         better.
      
      source/bddd.ml
      source/bddd.mli
      source/solver.mli
      source/solver.ml
      source/polyhedron.ml
      source/polyhedron.mli
      source/store.mli
         Add the verbosity level in a few functions.
      
      source/store.ml
         FIX A BUG in the bdd traversal. Some branches were never visited because
         I was raising a No_numeric_solution exception instead od returning an empty
         store when adding a constraint... This embarassing bug is there from the
         begining... Ouille!
      
         Also, when a valid integer cannot be found, return a wrong one, which is a
         bug really. But is it better than the current state were raising the no_num
         expt would cut some branches in the bdd. I will fix that problem later.
      
      source/parse_luc.ml
      source/lustreExp.ml
      source/lustreExp.mli
         The list of pre vars was computed with a ref, which is bad. Moreover,
         the same pre var was created with different indexes, which did not lead
         to incorrect behavior, but still...
      
      source/exp.ml
      test/bj.luc
      examples/lucky/external_code/call_external_c_code.luc
      examples/lucky/external_code/Makefile
      
      Project-Description: Lurette
      04e06981
    • Erwan Jahier's avatar
      lurette 1.41 Mon, 26 Sep 2005 13:51:19 +0200 by jahier · 98380cec
      Erwan Jahier authored
      Parent-Version:      1.40
      Version-Log:
      
      source/luc_exe.ml
      source/lurette.ml
      source/util.ml
      source/formula_to_bdd.ml
      source/bddd.ml
      source/solver.ml
      source/store.ml
      source/parse_luc.mli
      source/parse_luc.ml
      source/env_state.mli
      source/env_state.ml
      source/run_aut.ml
      source/gne.mli
      source/gne.ml
      source/lurettetop.ml
      source/gen_stubs_poc.ml
      source/ne.ml
      source/ne.mli
      share/lucky.el
      share/configure.in
      Makefile.common.source
      OcamlMakefile
      user-rules
      source/Makefile.show_luc
      source/Makefile.lucky
      source/Makefile.gen_stubs
      source/Makefile.lurette_lib
      source/Makefile
      test/time-joly.res
      test/temp_int.luc
      ihm/xlurette/xlurette.glade
      ihm/xlurette/makefile
      source/Makefile.gen_fake_lucky
      source/lustreExp.ml
      source/lustreExp.mli
      source/exp.ml
      source/exp.mli
      source/parser.mly
      doc/lucky-man/lucky-man.tex
      source/gnuplot-socket.ml
      source/gnuplot-rif.ml
      source/luckyDraw.mli
      source/luckyDraw.ml
      source/essai-maitre.ml
      source/essai-esclave.ml
      source/Makefile.ocaml
      source/Makefile.luckyDraw
      
      Add the possibility to call external code via dyn lib.
      
      The generation of default lucky files from Lurette was broken.
      
      Fix warning generated by gcc4.
      
      Fix a bug where variables with default values were generated twice
      (bug only visible in assert mode ; in the other mode, one of the value
      was taken, but I am not sure which one...)
      
      Project-Description: Lurette
      98380cec
    • Erwan Jahier's avatar
      lurette 1.40 Fri, 22 Jul 2005 17:06:41 +0200 by jahier · b1a40b56
      Erwan Jahier authored
      Parent-Version:      1.39
      Version-Log:
      
      source/luc_exe.ml
      source/command_line_luc_exe.ml
      source/command_line_luc_exe.mli
      source/lurette.ml
      source/command_line.ml
      source/command_line.mli
      source/lucky.ml
      source/rif.ml
      source/env_state.mli
      source/env_state.ml
      source/run_aut.mli
      source/run_aut.ml
      source/lurettetop.ml
      ihm/xlurette/xlurette_glade_main.ml
        Add a reactive mode where the output of the previous cycle is returned
        when the Lucky environment is blocked (because no transition from
        the current node(s) is labelled by a satisfiable constraint.
      
      Remove the dependence on cygwin to run it under windows.
      
      In particular, to be able to do that, I now use socket instead of pipes
      in order to communicate between lurettetop and xlurette.
      
      Also, define proper, cp, rm, etc instead of doing them by sys calls.
      
      A lot of changes to make it work with the scade gui
      
      Project-Description: Lurette
      b1a40b56
    • Erwan Jahier's avatar
      lurette 1.39 Tue, 14 Dec 2004 11:29:46 +0100 by jahier · 3a6425a6
      Erwan Jahier authored
      Parent-Version:      1.38
      Version-Log:
      
      source/run_aut.mli
      source/run_aut.ml:
        Fix a bug when drawing transitions in the automata that made the distribution
        wrong wrt weights (oups)...
      
      source/lucky.ml
      source/run_aut.mli
      run_aut.ml:
        Fix a bug where the repartition wrt the automata transitions was wrong in
        case of backtracking.
      
      source/lurette.ml
        Fix a bug related to the thickness (when only all the vertices where
      required).
      
      demo-xlurette/fault-tolerant-heater/heater_control_env.luc
      share/show_luc.sh
      share/show_luc.bat
      
      source/gen_fake_lucky.ml
      source/lurettetop.ml
      source/util.ml
      ihm/xlurette/xlurette_glade_main.ml
      ihm/xlurette/xlurette.glade
         Add a button in xlurette that generates default environments.
         Add a buildenv command for lurettetop to do it.
      
      Project-Description: Lurette
      3a6425a6