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. 17 Mar, 2010 26 commits
    • Erwan Jahier's avatar
      lurette 0.127 Mon, 24 Feb 2003 09:14:09 +0100 by jahier · 09d218f2
      Erwan Jahier authored
      Parent-Version:      0.126
      Version-Log:
      
      source/command_line_luc_exe.ml:
      source/command_line_luc_exe.mli:
      source/luc_exe.ml:
      source/store.ml:
      source/lurette.ml:
      source/lurettetop.ml:
         Put back the verteces draw. It was not such a great idea to remove
         after all...
      
         Also change verteces into vertices (oops...).
      
      Project-Description: Lurette
      09d218f2
    • Erwan Jahier's avatar
      lurette 0.126 Fri, 21 Feb 2003 18:49:20 +0100 by jahier · 5a165497
      Erwan Jahier authored
      Parent-Version:      0.125
      Version-Log:
      
      source/command_line_luc_exe.ml:
      source/command_line_luc_exe.mli:
      source/command_line.ml:
      source/command_line.mli:
      source/luc_exe.ml:
      source/lurette.ml:
      source/lurettetop.ml:
         Add the possibility to set the precision from lucky and lurette command
      lines.
      
         Remove the draw-vertices stuff.
      
      source/command_line_luc_exe.ml:
      source/command_line_luc_exe.mli:
      source/luc_exe.ml:
         Also add the --edges and the inside options for lucky.
      
      source/parse_env.ml:
        Allow to forget empty fields in the automata format.
      
      source/store.ml:
         Plug the new drawing heuristic
      
      Project-Description: Lurette
      5a165497
    • Erwan Jahier's avatar
      lurette 0.122 Mon, 17 Feb 2003 14:50:50 +0100 by jahier · 78f40b65
      Erwan Jahier authored
      Parent-Version:      0.121
      Version-Log:
      
      When delayed constraints are remaining at bdd leaves, we were
      printing a message saying that one shoud use a polyhedron solver
      based instead.  Now, I really call such a polyhedron solver in order
      to solve those constraints.
      
      This means that I use to different solvers to handle interval and
      polyhedron of dimension > 1.
      
      It also means that the satisfiability of constraints over polyhedra
      is only checked at bdd leaves, which, in some circumstances, migth be
      inefficient. The point is that, if we chose to check the formula
      satisfiability during the bdd traversal, we take the risk that a very
      polyhedron is created whereas it was not necessary (because of
      forthcoming equalities). And creating polyhedron with big (>15)
      dimension simply runs forever, which is really bad.
      
      nb : drawing in poyhedron not yet plugged.
      
      source/polyhedron.ml:
      source/polyhedron.mli: (new files)
          misc functions over polyhedra. The rational for creating that file
          is that rnumsolver is already much too big (and should be splitted
          some more btw).
      
      source/solver.ml:
         One of the main change is that now, draw_in_bdd returns 2 stores.
         One is Range based, the other one is polyhedron-based.
      
      source/rnumsolver.mli:
      source/rnumsolver.ml:
         Add the function switch_to_polyhedron_representation which
         handle delayed constraint if necessary. It is meant to be called
         at bdd leaves.
      
      source/solver.ml:
      source/rnumsolver.ml:
         Also do not use split_store anymore but add_constraint. This allows
         a much more elegant and efficient implementation of draw_in_bdd and
         draw_in_bdd_eq (Now the store is buid when and only when a new branch
         should be tried because of backtracking). It is also more efficient.
      
      source/constraint.mli
      source/constraint.ml
      source/ne.mli
      source/ne.ml
         Implement get_vars that retreive the variables occuring in a contraint
         or an expression.
      
      Project-Description: Lurette
      78f40b65
    • Erwan Jahier's avatar
      lurette 0.117 Mon, 18 Nov 2002 14:26:30 +0100 by jahier · fa2dfd3a
      Erwan Jahier authored
      Parent-Version:      0.116
      Version-Log:
      
      Various minor fixes in the documentation
      
      + Use a version of ocaml-3.06 that has been configured with -no-curses,
      which make things sligthly slower, but that avoid the need to find
      the curses lib...
      
      source/ne.ml:
      source/*.ml:
         Ne.find now returns an option value instead of raising a Not_found
         exp, which was not trap in some circumstances...
      
      source/ne.ml:
         Also, fix a couple of bugs where the code was supposing (falsely)
         that the constant (empty string) was always in the Map.
      
      Project-Description: Lurette
      fa2dfd3a
    • Erwan Jahier's avatar
      lurette 0.115 Thu, 07 Nov 2002 14:19:37 +0100 by jahier · 7c4feb61
      Erwan Jahier authored
      Parent-Version:      0.114
      Version-Log:
      
      source/automata.ml:
         Fix a bug where esp loops were not always cutted properly in some cases.
      
      source/show_env.ml:
         Truncate too long for in the dot output (which bugs dot or gv).
      
      ihm/xlurette/xlurette_glade_main.ml:
         Accept both .lut or .lut files as anv files, and make the show buttons
         behave properly in both cases.
      
      Project-Description: Lurette
      7c4feb61
    • Erwan Jahier's avatar
      lurette 0.103 Fri, 11 Oct 2002 17:50:55 +0200 by jahier · 70fca1e8
      Erwan Jahier authored
      Parent-Version:      0.102
      Version-Log:
      
      Add autoconf aupport.
      
      Project-Description: Lurette
      70fca1e8
    • Erwan Jahier's avatar
      lurette 0.101 Fri, 04 Oct 2002 15:38:51 +0200 by jahier · 47cf1f46
      Erwan Jahier authored
      Parent-Version:      0.100
      Version-Log:
      
      Rename any occurence of ima by luc or lucky.
      
      Project-Description: Lurette
      47cf1f46
    • Erwan Jahier's avatar
      lurette 0.96 Mon, 30 Sep 2002 16:58:31 +0200 by jahier · 42c10bc1
      Erwan Jahier authored
      Parent-Version:      0.95
      Version-Log:
      
      source/ne.ml,mli:
      source/value.ml,mli:
         (new files) put everything that is related to normal expressions
         and values in thoses 2 new modules.
      
      source/ne.ml,mli:
      source/gne.ml,mli:
         Make the normal expressions and the guarded normal expression abstract.
      
      source/solver.ml:
         also fix a bug in the previous change (forgot to try make test ...)
      
      Project-Description: Lurette
      42c10bc1
    • Erwan Jahier's avatar
      lurette 0.86 Wed, 18 Sep 2002 15:27:17 +0200 by jahier · 50ccf63a
      Erwan Jahier authored
      Parent-Version:      0.85
      Version-Log:
      
      Finish to implement xlurette.
      
      Project-Description: Lurette
      50ccf63a
    • Erwan Jahier's avatar
      lurette 0.82 Mon, 02 Sep 2002 16:59:37 +0200 by jahier · e655b8de
      Erwan Jahier authored
      Parent-Version:      0.81
      Version-Log:
      
      source/lurette.ml:
      source/ima_exe.ml:
         Check that nodes did not changed before redrawing anything
      
         also add a <<q>> command to exit from ima_exe more gently.
      
      Project-Description: Lurette
      e655b8de
    • Erwan Jahier's avatar
      lurette 0.77 Thu, 29 Aug 2002 11:46:51 +0200 by jahier · 5f2ead90
      Erwan Jahier authored
      Parent-Version:      0.76
      Version-Log:
      
      source/lurettetop.ml:
         Building every temporary files in /tmp/lurette2313/.
      
      Project-Description: Lurette
      5f2ead90
    • Erwan Jahier's avatar
      lurette 0.71 Mon, 22 Jul 2002 16:51:44 +0200 by jahier · 562a6ed5
      Erwan Jahier authored
      Parent-Version:      0.70
      Version-Log:
      
      automata.ml,mli:
      env.ml,mli:
      ima_exe.ml,mli:
      lurette.ml,mli:
         Fix a bug where the control expr were evaluated twice, which
         migth produce strange behavior whenever a CS var was drawn to 0
         in the place, and a value different from 0 in the second place.
         The fix consist in attaching the control.state at automata.t leaves,
         instead of the control expr labels (which was a bit silly BTW).
      
      show_env.ml:
         Fix a small bug in the dot output.
      
      Project-Description: Lurette
      562a6ed5
    • Erwan Jahier's avatar
      lurette 0.70 Fri, 19 Jul 2002 17:31:37 +0200 by jahier · da43be79
      Erwan Jahier authored
      Parent-Version:      0.69
      Version-Log:
      
      ima_exe.ml:
      lurette.ml:
      env_state.ml:
        Factoring out code into  two new functions, clear_step and clear_all.
      
      env_state.ml:
         Do not use to 2 ranges of indexes (one for atomic formula that depends on
      pre,
         one if it is not) but maintain a list a unused indexes instead.
      
      Project-Description: Lurette
      da43be79
    • Erwan Jahier's avatar
      lurette 0.69 Fri, 19 Jul 2002 10:19:59 +0200 by jahier · 135fe2d5
      Erwan Jahier authored
      Parent-Version:      0.68
      Version-Log:
      
      wtree.ml,mli:   (deleted)
      automa.ml,mli:  (new files)
      control.ml,mli: (new files)
      
         Replace the [wtree] module by an [automata] module, that basically
         does the same job, but in a different way. Namely, it no more uses
         the [wtree] DS to use [graph]s instead.  Indeed, the product of
         wtrees introduces some problems, in particular to ensure its
         correctness wrt to the automata run concurrently. Now, everything a
         dead-simple wrt product: we simply perform a quasi-classical automata
         product (well, at least, much closer from a classical product, cf
         paper).
      
         The way loop counters are handled has also changed. Now, counters are
         handled via expressions of a simple arithmetic language that
         basically lets one initialise a variable to an exact or a random
         value (uniform or normal draw) and decrement it. Arcs are now
         labelled by a formula plus 2 expressions of that mini-language (no
         more weigth nor cpt_init stuff). The 1st expression is evaluated
         during the draw, basically performs any operations on counters, and
         returns a positive int that is used as the formula weigth. The second
         expression (a kind of post-condition) is evaluated if its arc is the
         one that has been elected to perform the step.
      
      At several locations long lines (< 80) are reindented.
      
      parse_env.ml:
         In the ima format, IfThenElseExpr becomes IfThenElseNum.
         Also, parse list more cleanly.
      
      graph.ml,mli:
          Add a function that test whether a transition is in the graph.
      
          Do not sort list of transitions anymore (what was the point?).
          Also do not sort nodes in any way.
      
      show_env_env.ml,mli:
         Abstract away nodes and arcs data types (so that I can display
         Automata graphs). rename generate_env_graph into ima_to_dot.
      
      lurette.ml:
      ima_exe.ml:
         Fix a bug where bbd table were filled by asserted non regression expr.
      
      lurette.ml:
         Fix a bug where incorrect data was sent to sim2chro (ie, the output of the
         previous step instead of the ones of the current step.
      
      env_state.ml:
      solver.ml:
      gne.ml:
         Fix a performance bug where I was storing formula indexes even if
         they were depending on inputs or pre, which is stupid as they generally
         won't be used again. In order to fix that, I introduced  new
         atomic_formula <-> indexes table to stote the ones that do not depend
         on inputs apart. It was also necassery to propogate the <<depend on pre>>
         flag inside Gne.gn_expr (which i renamed Gne.t BTW).
      
      Project-Description: Lurette
      135fe2d5
    • Erwan Jahier's avatar
      lurette 0.68 Fri, 17 May 2002 17:59:13 +0200 by jahier · 8c24cdb7
      Erwan Jahier authored
      Parent-Version:      0.67
      Version-Log:
      
      Add a verbose option in ima_exe.
      
      Fix a bug in show_env.ml introduced in the previuos pci.
      
      Add support to dynamically load another ima from ima_exe (will usefull for
      Ludic).
      
      Project-Description: Lurette
      8c24cdb7
    • Erwan Jahier's avatar
      lurette 0.66 Thu, 16 May 2002 10:54:38 +0200 by jahier · 66e00627
      Erwan Jahier authored
      Parent-Version:      0.65
      Version-Log:
      
      solver.ml:
              Fix a bug is draw_in_bdd where it was unable to draw in a true
              formula when it was a top level one. The reason was that the
              tossing of remaining vars was not done at draw_in_bdd top level,
              which is wrong since true can appear on ima transitions.
      
      Project-Description: Lurette
      66e00627
    • Erwan Jahier's avatar
      lurette 0.65 Fri, 10 May 2002 16:54:24 +0200 by jahier · ee70bc48
      Erwan Jahier authored
      Parent-Version:      0.64
      Version-Log:
      
      Outputs error message on stderr rather than on stdout.
      
      Project-Description: Lurette
      ee70bc48
    • Erwan Jahier's avatar
      lurette 0.64 Fri, 10 May 2002 16:32:32 +0200 by jahier · 458e1508
      Erwan Jahier authored
      Parent-Version:      0.63
      Version-Log:
      
      Add support for loop Gauss.
      
      Fix a bug in the handling of loops where lurette (and ima_exe) was
      stopping whenever the body of a loop contains no satisfiable formula
      whereas the endLoop branch should be taken in that case.
      
      Project-Description: Lurette
      458e1508
    • Erwan Jahier's avatar
      lurette 0.63 Tue, 07 May 2002 15:12:50 +0200 by jahier · 9d1e0221
      Erwan Jahier authored
      Parent-Version:      0.62
      Version-Log:
      
      Reimplement the rif parsing in ima_exe.ml so that it is correct wrt the BLA-RIF
      doc.
      
      Project-Description: Lurette
      9d1e0221
    • Erwan Jahier's avatar
      lurette 0.62 Fri, 03 May 2002 15:21:42 +0200 by jahier · c88a7a6f
      Erwan Jahier authored
      Parent-Version:      0.61
      Version-Log:
      
      Reorganise things a little bit so that show_ima does not depend on
      cudd, etc.
      
      Project-Description: Lurette
      c88a7a6f
    • Erwan Jahier's avatar
      lurette 0.61 Fri, 03 May 2002 12:08:34 +0200 by jahier · 6b362e07
      Erwan Jahier authored
      Parent-Version:      0.60
      Version-Log:
      
      Add support for handling loops. This is based on the use of dynamic
      weigths. The idea is to compute the dynamic weigths before the trees
      are constructed.
      
      Add a --show-aut option for ima_exe.
      
      Also, Add the command lise args hashed to the end of the name of the dot file
      that is used to visualize the ima file.
      
      Project-Description: Lurette
      6b362e07
    • Erwan Jahier's avatar
      lurette 0.60 Mon, 29 Apr 2002 10:16:48 +0200 by jahier · b425173e
      Erwan Jahier authored
      Parent-Version:      0.59
      Version-Log:
      
      Add an make release rule to package a lurette.tgz ready to distribute.
      
      Create a bin dir where all the biniries (except lurette) will live.
      
      Create a show_ima executable that lets one (Yvan actually) display
      .env (or .ima) files off-line.
      
      Move read_env_state from env.ml to env_state.ml.
      
      Add support for lutin loops in the parser (not yet handled tough).
      
      In gen_stubs.ml, try to automatically call lustre whenever no C poc
      file exists for the invoked program.
      
      Project-Description: Lurette
      b425173e
    • Erwan Jahier's avatar
      lurette 0.54 Tue, 02 Apr 2002 14:25:12 +0200 by jahier · f0aff2da
      Erwan Jahier authored
      Parent-Version:      0.53
      Version-Log:
      
      Cosmetic change:
      
      Encapsulates the various fields of Env_state.
      
      Project-Description: Lurette
      f0aff2da
    • Erwan Jahier's avatar
      lurette 0.51 Wed, 27 Mar 2002 17:46:03 +0100 by jahier · 6f6168b0
      Erwan Jahier authored
      Parent-Version:      0.50
      Version-Log:
      
      Change the way pre are translated in the .env file. Now
      instead of writting "_pre2toto", one writes "pre(2,toto)".
      
      But internally, it is handled the same way as before (i.e., the first
      thing I do when parsing the env file is to transform "pre(2,toto)"
      into "_pre2toto" (it makes the hangling of pre vars much more
      homogeneous with the way the other vars are handled.
      
      Also fix a bug where it was not possible to have a pre on input
      vars because the update_pre was failing to proceed quietly  whenever
      one of its var was not computable because its pre does have a value.
      Also give an appropriate error message whenever the user wrongly
      use a pre on a var that can not be computed.
      
      Project-Description: Lurette
      6f6168b0
    • Erwan Jahier's avatar
      lurette 0.48 Fri, 22 Mar 2002 14:29:17 +0100 by jahier · 1c7769db
      Erwan Jahier authored
      Parent-Version:      0.47
      Version-Log:
      
      Add support for (boolean and numeric) if-then-else.
      
      Remove the eval.ml module as the replacement of pre and input
      vars is now done in Solver.formula_to_bdd.
      
      Add a new module gne.ml that provides a garded normal expressions
      data structure that is used to handle if-then-elses.
      
      Also introduce a new field to env_state called bdd_tbl_global which
      is used to cache the result of formula_to_bdd for bdds that do not
      depend on pre nor input vars. The field bdd_tbl which cache the other
      reults is now cleared at each step because it is useless to store results
      that depends on pre and inputs.
      
      Project-Description: Lurette
      1c7769db
    • Erwan Jahier's avatar
      lurette 0.47 Thu, 14 Mar 2002 18:45:50 +0100 by jahier · 606164a8
      Erwan Jahier authored
      Parent-Version:      0.46
      Version-Log:
      
      Implement an ima_exe that lets one imterprets .env automata offline
      via a rif dialogue (e.g., to be used from lulu).
      
      Project-Description: Lurette
      606164a8