Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

  1. 13 Mar, 2019 1 commit
  2. 25 Jan, 2016 1 commit
  3. 13 Jan, 2011 1 commit
  4. 30 Jun, 2010 1 commit
  5. 23 Jun, 2010 1 commit
  6. 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
  7. 28 May, 2010 3 commits
  8. 26 May, 2010 1 commit
  9. 17 Mar, 2010 10 commits
    • 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.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
    • Erwan Jahier's avatar
      lurette 1.23 Mon, 08 Mar 2004 14:10:38 +0100 by jahier · 18e59b0d
      Erwan Jahier authored
      Parent-Version:      1.22
      Version-Log:
      
      source/*.ml*:
         perform a sed 's/[ ]*$//' on all files to remove
         trailing space.
      
      Project-Description: Lurette
      18e59b0d
    • Erwan Jahier's avatar
      lurette 1.15 Mon, 05 Jan 2004 17:46:15 +0100 by jahier · e1350c78
      Erwan Jahier authored
      Parent-Version:      1.14
      Version-Log:
      
      source/util.ml:
         Redirect third party tools error msgs in the main windows rather than in the
      misc.
      
      source/lucky.ml:
      source/run_aut.ml:
         Indicate the removed paths in the verbose mode only.
      
      source/run_aut.ml:
         Fix a bug where the execution was looping when no more formula
         were satisfiable (when all formula mode was on).
      
      source/fair_bddd.ml:
         Raise No_numeric_solution if the polyhedron volume
         is smaller then epsilon.
      
      source/lurettetop.ml:
         Recompile the Lustre program if necessary.
      
      source/gen_fake_lutin.ml:
         Declare the variables in the same order as in the sut program.
      
      source/store.ml:
      source/polyhedron.ml:
         Fix a bug signaled by Claude where lurette was aborting
         when solving integer constraints. It was due to a bad
         implementation of is_point_in_poly which did not
         convert floats to ints when necessary (this bug was introduced
         rather recently when i provided my own version of
         is_point_in_poly... and of course i have non reg-test
         with integer constraints...).
      
      Project-Description: Lurette
      e1350c78
    • Erwan Jahier's avatar
      lurette 1.14 Fri, 19 Dec 2003 15:39:58 +0100 by jahier · d534db9c
      Erwan Jahier authored
      Parent-Version:      1.13
      Version-Log:
      
      gen_stubs_scade.ml:
         fix a bug which was causing a bus error: to fix it, i simply delete
         a couple a extras &...
      
      Project-Description: Lurette
      d534db9c
    • Erwan Jahier's avatar
      lurette 1.13 Fri, 12 Dec 2003 14:21:26 +0100 by jahier · 21390374
      Erwan Jahier authored
      Parent-Version:      1.12
      Version-Log:
      
      aesthetic changes in mli files so that
      the automatically generated doc looks ok.
      
      Project-Description: Lurette
      21390374
    • Erwan Jahier's avatar
      lurette 1.11 Wed, 26 Nov 2003 08:52:30 +0100 by jahier · b3c5c602
      Erwan Jahier authored
      Parent-Version:      1.10
      Version-Log:
      
      No more side effects are done via the Env_state module.
      
      Project-Description: Lurette
      b3c5c602
    • Erwan Jahier's avatar
      lurette 1.10 Thu, 20 Nov 2003 10:09:54 +0100 by jahier · 540ee1f9
      Erwan Jahier authored
      Parent-Version:      1.9
      Version-Log:
      
      removing of Env_state module -- part 1
      
      Now env_step and env_try are fully functionnal (no side-effects).
      
      Project-Description: Lurette
      540ee1f9
    • Erwan Jahier's avatar
      lurette 1.9 Tue, 18 Nov 2003 11:17:12 +0100 by jahier · 67c17ef7
      Erwan Jahier authored
      Parent-Version:      1.8
      Version-Log:
      
      A lot (too much...) of changes, mainly renaming files, and types, and
      functions,
      change the interface, move from one module to another, etc.
      
      Bref, a lot of cleanning.
      
      Project-Description: Lurette
      67c17ef7