1. 15 Apr, 2011 2 commits
  2. 14 Apr, 2011 4 commits
  3. 13 Apr, 2011 4 commits
  4. 12 Apr, 2011 2 commits
  5. 31 Mar, 2011 2 commits
  6. 30 Mar, 2011 3 commits
  7. 09 Mar, 2011 1 commit
  8. 28 Feb, 2011 2 commits
  9. 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
  10. 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
  11. 17 Feb, 2011 1 commit
  12. 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
  13. 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
  14. 11 Feb, 2011 4 commits
  15. 08 Feb, 2011 5 commits
  16. 06 Feb, 2011 1 commit
  17. 05 Feb, 2011 1 commit
  18. 03 Feb, 2011 1 commit