1. 02 Aug, 2019 1 commit
  2. 26 Jul, 2019 3 commits
  3. 11 Jul, 2019 2 commits
  4. 09 Jul, 2019 1 commit
  5. 03 Jul, 2019 2 commits
  6. 02 Jul, 2019 1 commit
  7. 23 May, 2019 1 commit
  8. 22 May, 2019 2 commits
  9. 17 May, 2019 1 commit
  10. 16 May, 2019 1 commit
  11. 30 Apr, 2019 3 commits
  12. 29 Apr, 2019 1 commit
    • erwan's avatar
      Fix: This time, the rdbg time traveling work! · 421bcc4d
      erwan authored
      It was due to the event_incr function in MainArg, that is using a
      reference to count event numbers, and that was not saved and restored
      by LutinRun.
      
      And this counter was used to set the PRGS! which is actually useless
      as it is handled in LutinRun via save_state/restore_state now.
      
      It is not clear if my monadisation work was really necessary. In
      theory, it is, but not in the examples I've tried. Sigh.
      421bcc4d
  13. 26 Apr, 2019 1 commit
  14. 24 Apr, 2019 1 commit
  15. 15 Apr, 2019 2 commits
    • erwan's avatar
      Update: monadisation of Lutin, part 6 · 74e896bf
      erwan authored
      Rationale: make rdbg time traveling work.
      74e896bf
    • erwan's avatar
      Update: monadisation of Lutin, part 5 + remove support for the fair mode. · 3cde6aa1
      erwan authored
      Rationale: make rdbg time traveling work.
      
      Rationale for removing the fair mode:
       - the code for choosing the mode was ugly
       - it duplicates the effort
       - they other means to be fair (via weigths)
       - it can be very expensive (it breaks the sharing in the bdd, and computing
         polyedron volume is costly). hence it is not in the spirit of all the tradeoffs
         used elsewhere in design choices.
       - I've never used it (well, except in the tuto...)
      3cde6aa1
  16. 12 Apr, 2019 1 commit
  17. 11 Apr, 2019 1 commit
  18. 10 Apr, 2019 2 commits
  19. 05 Apr, 2019 2 commits
  20. 30 Mar, 2019 3 commits
  21. 13 Mar, 2019 1 commit
  22. 29 Jan, 2019 1 commit
  23. 28 Jan, 2019 1 commit
  24. 24 Jan, 2019 4 commits
  25. 21 Dec, 2018 1 commit