1. 22 Aug, 2019 2 commits
  2. 21 Aug, 2019 1 commit
  3. 26 Jul, 2019 2 commits
  4. 11 Jul, 2019 2 commits
  5. 23 May, 2019 1 commit
  6. 30 Apr, 2019 1 commit
  7. 24 Apr, 2019 1 commit
  8. 15 Apr, 2019 1 commit
    • 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
  9. 12 Apr, 2019 1 commit
  10. 30 Mar, 2019 1 commit
  11. 29 Jan, 2019 1 commit
  12. 28 Jan, 2019 1 commit
  13. 24 Jan, 2019 2 commits
  14. 21 Dec, 2018 1 commit
  15. 20 Dec, 2018 2 commits
  16. 15 Oct, 2018 1 commit
  17. 24 Jul, 2018 2 commits
  18. 10 Jul, 2018 1 commit
  19. 22 May, 2018 1 commit
  20. 18 May, 2018 1 commit
  21. 17 May, 2018 1 commit
  22. 15 May, 2018 1 commit
  23. 07 May, 2018 1 commit
  24. 04 May, 2018 3 commits
  25. 03 May, 2018 1 commit
  26. 27 Apr, 2018 1 commit
  27. 28 Mar, 2018 1 commit
  28. 21 Mar, 2018 1 commit
  29. 12 Feb, 2018 1 commit
  30. 15 Dec, 2017 1 commit
  31. 14 Dec, 2017 2 commits