1. 21 Jun, 2019 3 commits
  2. 15 Jun, 2019 1 commit
  3. 14 Jun, 2019 1 commit
  4. 12 Jun, 2019 1 commit
  5. 11 Jun, 2019 1 commit
  6. 09 Jun, 2019 1 commit
  7. 03 Jun, 2019 1 commit
  8. 02 Jun, 2019 1 commit
  9. 01 Jun, 2019 1 commit
  10. 31 May, 2019 2 commits
  11. 29 May, 2019 3 commits
  12. 22 May, 2019 1 commit
  13. 09 May, 2019 1 commit
  14. 05 May, 2019 1 commit
  15. 03 May, 2019 1 commit
  16. 30 Apr, 2019 1 commit
  17. 27 Apr, 2019 1 commit
    • Pino Toscano's avatar
      Optimize reduced po computation without filter · 1c5cc960
      Pino Toscano authored
      In case a domain has no reduction filter set, directly set part_po as
      full_po.
      
      This way, it is possible to avoid creating a Path, trying to get the
      statistics of and unlink a non-existing file.  As result, few syscalls
      (a couple of stat's and one unlink) are avoided.
      1c5cc960
  18. 26 Apr, 2019 4 commits
  19. 25 Apr, 2019 1 commit
  20. 24 Apr, 2019 2 commits
  21. 23 Apr, 2019 3 commits
  22. 21 Apr, 2019 1 commit
  23. 17 Apr, 2019 1 commit
  24. 11 Apr, 2019 1 commit
  25. 09 Apr, 2019 2 commits
  26. 02 Apr, 2019 1 commit
  27. 30 Mar, 2019 2 commits