1. 03 Dec, 2019 1 commit
  2. 01 Dec, 2019 1 commit
  3. 19 Sep, 2019 1 commit
  4. 04 Sep, 2019 1 commit
  5. 03 Sep, 2019 2 commits
    • erwan's avatar
      Build: make a smaller tgz for opam · 3218622f
      erwan authored
      3218622f
    • erwan's avatar
      Update: use dune instead of oasis · abd625df
      erwan authored
      Remove a lot of warnings (considered as errors by dune).
      
      Split the lutin opam package into several ones:
      - lutin
      - ezdl
      - gbddml
      
      Also, I've merge the content of lutin-utils into lutin.
      
      Note that this opam "package split/ocaml library merge" move is
      somewhat imposed by the fact that dune impose the use of one opam
      package per library (if I got it correctly). But as a matter of fact,
      merging lutin and lutin-utils libs makes sense. Having standalone ezdl
      and gbddml opam packages too.
      abd625df
  6. 29 Aug, 2019 1 commit
  7. 22 Aug, 2019 7 commits
  8. 21 Aug, 2019 1 commit
  9. 02 Aug, 2019 1 commit
  10. 26 Jul, 2019 3 commits
  11. 11 Jul, 2019 2 commits
  12. 09 Jul, 2019 1 commit
  13. 03 Jul, 2019 2 commits
  14. 02 Jul, 2019 1 commit
  15. 23 May, 2019 1 commit
  16. 22 May, 2019 2 commits
  17. 17 May, 2019 1 commit
  18. 16 May, 2019 1 commit
  19. 30 Apr, 2019 3 commits
  20. 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
  21. 26 Apr, 2019 1 commit
  22. 24 Apr, 2019 1 commit
  23. 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
  24. 12 Apr, 2019 1 commit
  25. 11 Apr, 2019 1 commit