1. 03 Aug, 2011 1 commit
  2. 15 Jul, 2011 2 commits
  3. 12 Jul, 2011 1 commit
  4. 11 Jul, 2011 1 commit
  5. 07 Jul, 2011 2 commits
  6. 01 Jul, 2011 1 commit
  7. 29 Jun, 2011 1 commit
  8. 24 Jun, 2011 1 commit
  9. 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
  10. 18 Apr, 2011 1 commit
  11. 15 Apr, 2011 2 commits
  12. 14 Apr, 2011 1 commit
  13. 31 Mar, 2011 2 commits
  14. 02 Mar, 2011 1 commit
  15. 28 Feb, 2011 1 commit
    • Erwan Jahier's avatar
      Various improvements in displayed information (stdout/stderr) · 884d2fbb
      Erwan Jahier authored
      - put the seed and the lutin version on stdour (as stderr) so that it appears in the .rif file
      - add a '#' before "The oracle returned false at step" in the rif file
      - Replace every occurence of "the oracle is violated" by "the oracle returned false".
      - Display more information in lutin and check-rif when an oracle returned false.
      884d2fbb
  16. 24 Feb, 2011 1 commit
    • 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
  17. 17 Feb, 2011 1 commit
  18. 16 Feb, 2011 1 commit
  19. 08 Feb, 2011 2 commits
  20. 31 Jan, 2011 1 commit
  21. 26 Jan, 2011 1 commit
  22. 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
  23. 14 Jan, 2011 1 commit
  24. 13 Jan, 2011 4 commits
  25. 05 Jan, 2011 1 commit
  26. 17 Dec, 2010 3 commits
  27. 13 Dec, 2010 4 commits