1. 13 Jun, 2016 2 commits
  2. 09 Jun, 2016 1 commit
  3. 26 Jan, 2016 1 commit
  4. 25 Jan, 2016 1 commit
  5. 17 Dec, 2014 1 commit
  6. 15 Apr, 2013 1 commit
    • Erwan Jahier's avatar
      Plug the lus2lic lib to ldbg and lurettetop. The "v6" rp port now uses lus2lic -exec · 472c46b7
      Erwan Jahier authored
      (and do not go via ec anymore).
      
      Split the Failure module so that it can be shared with the lus2lic
      ldbg plugin without requiring the bdd lib.
      
      + mv the lus2licRun.ml/mli file to the Lurette git repo.
      
      + add a copy (in read-only mode) of the source files of the lus2lic compiler
      
      + Share the comion content of Makefile.lurettetop and Makefile.ldbg via a new
      Makefile.comon that is included in both.
      
      + Merge code of modules that are now shared with the lus2lic repo:
       -  Verbose, Data, Rif_base
      472c46b7
  7. 01 Jun, 2012 1 commit
  8. 23 May, 2012 1 commit
    • Erwan Jahier's avatar
      Some work to make the non-reg tests work on win32. · ccf44dd9
      Erwan Jahier authored
      It is a bit tricky because all the tools are compiled with the mingw
      compiler, which means that all the system calls are done via the DOS
      convention. Therefore, we need  to use :
      
      - the rigth path conventions
      - .bat instead of .sh scripts
      ccf44dd9
  9. 16 May, 2012 1 commit
    • Erwan Jahier's avatar
      Change the whole non-reg test scheme and make it work for win32 arch. · 47fa7fe5
      Erwan Jahier authored
      Add a  --ocamlc-version option to lurettetop and lutin.
      
      The idea is to put all the .exp files into a `lurettetop/lutin --ocamlc-version`
      dir so that I have an .exp file for each ocaml version.
      
      If the `lurettetop --ocaml-version`/*.exp does not exist, I generate it.
      
      Also, don't non-reg test lucky dirs anymore (because they are boring).
      
      Aldo, don't rely on the HOSTTYPE env var, but use Sys.os_type instead.
      47fa7fe5
  10. 16 Sep, 2011 1 commit
  11. 04 Jul, 2011 1 commit
  12. 11 Feb, 2011 2 commits
  13. 03 Feb, 2011 1 commit
  14. 01 Feb, 2011 1 commit
  15. 05 Jan, 2011 1 commit
  16. 08 Dec, 2010 1 commit
  17. 23 Nov, 2010 1 commit
  18. 18 Nov, 2010 1 commit
  19. 12 Nov, 2010 1 commit
    • Erwan Jahier's avatar
      Fix the ocaml lurette support. That was due to source/Makefile that · 15c0f0f2
      Erwan Jahier authored
      should make sure that no sut.cmx (nor oracle.cmx) is around when
      generating the lib lurette_ml_exe.cmxa.
      
      Allow lutin files wherever lucky files were expected !!  For
      instance, luc2c now accepts lutin files (so lucky do).  hum... All
      those tools ougth to be renamed at some points.
      
      Encapsulate the show_env program with a scrit sourcing set_env_var.
      
      Makefile cleaning.
      15c0f0f2
  20. 12 Oct, 2010 1 commit
    • Erwan Jahier's avatar
      Makefile hacking to compile everything under windows, and to generate a luc4c.dll. · 4c3993cb
      Erwan Jahier authored
      In particular, make sure we don't pass the '-cc gcc' option to
      ocamlopt, as since ocaml version 3.11 (because of flexdll), it breaks
      the compilation under windows.
      
      Moreover, I've added the fenv.cc/.h (from the cygwin cvs rep) that is
      currently only available in dev version of cygwin (feature introduced
      the 10/09/2010).
      
      Also, disable the ocaml/xlurette test as it is currently broken (i
      will fix it later).
      4c3993cb
  21. 18 Aug, 2010 1 commit
    • Erwan Jahier's avatar
      Enhance ocaml support in lurette (cf 74f93d6c) · 533fac24
      Erwan Jahier authored
      The oracle is not necessary anymore to run a test.
      
      Moreover, the sut no more needs to (and must not) be named 'sut.ml'
      (resp.  'oracle.ml' for the oracle).
      
      Moreover, rename the env var EXTRA_CFILES into EXTRA_SOURCE_FILES, so that users
      use it for ocaml programs.
      533fac24
  22. 13 Jul, 2010 1 commit
    • Erwan Jahier's avatar
      Add ocaml support in lurette. · 74f93d6c
      Erwan Jahier authored
      For the time being, it crashes if no valid oracle.ml exists in the
      user directory. Moreover, and the sut has to be named 'sut.ml' (resp.
      oracle.ml for the oracle). But otherwise, it works fine.
      74f93d6c
  23. 06 Jul, 2010 1 commit
  24. 02 Jul, 2010 1 commit
  25. 29 Jun, 2010 1 commit
  26. 25 Jun, 2010 1 commit
  27. 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
  28. 28 May, 2010 1 commit
    • Erwan Jahier's avatar
      Beautifying a little bit the code from places to places. · bd904a00
      Erwan Jahier authored
      Actually, my first idea was to change Run_aut so that the fact that
      several programs were run in parallel was hidden. But it turned out
      to be a bad idea, because of numeric unsatisfiability + the
      interaction between the module that choses a formula, and the one
      that draw (performing the numeric satisfiability solving). Indeed,
      when a formula appear to be unsatisfiable for numeric reason, we need
      to backtrack in via Run_aut.choose_on_formula in one of the
      Run_aut.t ; but of course if the list of Run_aut.t is hidden, we are
      dead. One solution would have been to complicate a little bit the
      Run_aut.t interface ; but my first motivation was actually to
      simplify it...
      bd904a00
  29. 26 May, 2010 1 commit
  30. 21 May, 2010 1 commit
  31. 19 May, 2010 1 commit
  32. 08 Apr, 2010 1 commit
  33. 25 Mar, 2010 1 commit
  34. 19 Mar, 2010 1 commit
    • 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
  35. 17 Mar, 2010 4 commits
    • 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.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