1. 12 Apr, 2011 2 commits
  2. 31 Mar, 2011 2 commits
  3. 30 Mar, 2011 3 commits
  4. 09 Mar, 2011 1 commit
  5. 28 Feb, 2011 2 commits
  6. 24 Feb, 2011 2 commits
    • Erwan Jahier's avatar
      Do not delete existing rif files. · 5099f5dc
      Erwan Jahier authored
      Instead, add an integer suffix to the file name, e.g.,
      
        lutin -rif toto.rif (...)
      
      will generate the file toto-2.rif if toto.rif and toto-1.rif already
      exist.
      5099f5dc
    • Erwan Jahier's avatar
      Add a --oracle-ec option to lutin. · 69ac49f9
      Erwan Jahier authored
      This was done by moving most of the code from checkRif.ml to
      lustreRun.ml (new module) and coverage.ml, so that checkRif only
      contains administration stuff (dealing with options) plus a simple
      top-level loop.
      
      I've added some tests in exemple/lutin/oracle.
      69ac49f9
  7. 21 Feb, 2011 1 commit
    • Erwan Jahier's avatar
      Some work on check-rif. · 2d1cd4ed
      Erwan Jahier authored
      Try to push the reusable part of the code in the coverage and
      LustreRun modules, so that chekRif.ml only contains administration
      stuff (dealing with options) plus a simple top-level loop.
      
      The rationale would be to be able to reuse that stuff from lutin for
      instance.
      2d1cd4ed
  8. 17 Feb, 2011 1 commit
  9. 16 Feb, 2011 3 commits
    • Pascal Raymond's avatar
      Merge /home/jahier/lurette · 32f5edd6
      Pascal Raymond authored
      32f5edd6
    • Pascal Raymond's avatar
      lutexe: first usable version · b311ed64
      Pascal Raymond authored
      full tail rec algo abandoned (for the time being)
      b311ed64
    • Erwan Jahier's avatar
      Some work on the Alice backend. · 826aa62e
      Erwan Jahier authored
      - Add an option to specify the dir where to put generated C files in.
      - Propagate all lutin options in the C part that fork the lutin interpreter
      (-rif, -precision, -node, -boot)
      - use the Sys.argv.(0) as the lutin interpreter to be called (to make sure
      the same lutin is used and to be able to specify the full path in the C
      file if needed).
      826aa62e
  10. 15 Feb, 2011 1 commit
    • Erwan Jahier's avatar
      Some work on check-rif. · 4743771d
      Erwan Jahier authored
      - Split check-rif.ml into check-rif.ml and coverage.ml.
      - Add a section dedicated to check-rif in the Lutin manual, in the tool section.
      - Use the ocaml Arg module to deal with command-line args.
      - Take advantage of the fact that an ec file only have one node.
      - Store/update the corevage info in a .cov file
      4743771d
  11. 11 Feb, 2011 4 commits
  12. 08 Feb, 2011 5 commits
  13. 06 Feb, 2011 1 commit
  14. 05 Feb, 2011 1 commit
  15. 03 Feb, 2011 4 commits
  16. 01 Feb, 2011 1 commit
  17. 31 Jan, 2011 1 commit
  18. 26 Jan, 2011 2 commits
  19. 20 Jan, 2011 1 commit
  20. 15 Jan, 2011 1 commit
    • Pascal Raymond's avatar
      AutoExplore with partial eval no longer used, · 561ba995
      Pascal Raymond authored
      in order to avoid strange "assert" behavior.
      Simu is based on standard AutoGen, thus
      the behavior is the same with simu and compiled luc.
      Warning: the experience of AutoExplore raised
      important problems between Lutin and Lucky semantics:
      should be fixed in a later version !
      561ba995
  21. 14 Jan, 2011 1 commit