1. 07 Jul, 2011 3 commits
  2. 06 Jul, 2011 2 commits
  3. 04 Jul, 2011 1 commit
  4. 01 Jul, 2011 3 commits
  5. 30 Jun, 2011 1 commit
  6. 29 Jun, 2011 3 commits
  7. 24 Jun, 2011 1 commit
  8. 23 Jun, 2011 1 commit
    • Erwan Jahier's avatar
      Quite a lot of changes in lurettetop: · f59bc4de
      Erwan Jahier authored
        - Add support to handle several oracles.
        - Add a info command
        - Don't create a tmp dir in the direct mode.
        - Do not overwrite rif file, unless --overwrite-output is used
        - Add a ec_exe mode for rp that les one plus aby rif based exec to bu plugged.
        - Clean all tables to make sure that lutin result are reproductible when not
          quitting lurettetop (was not necessary in the old mode...).
        nb : this has broken some of the non-reg test.
        - and more...
      
      Some improvements in the Lutin manual.
      f59bc4de
  9. 18 Apr, 2011 1 commit
  10. 15 Apr, 2011 2 commits
  11. 14 Apr, 2011 4 commits
  12. 13 Apr, 2011 4 commits
  13. 12 Apr, 2011 2 commits
  14. 31 Mar, 2011 2 commits
  15. 30 Mar, 2011 3 commits
  16. 09 Mar, 2011 1 commit
  17. 02 Mar, 2011 1 commit
  18. 28 Feb, 2011 2 commits
  19. 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
  20. 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