1. 31 Jul, 2020 1 commit
  2. 22 Jul, 2020 6 commits
  3. 04 Jul, 2020 1 commit
  4. 30 Jun, 2020 2 commits
  5. 28 Jun, 2020 1 commit
  6. 24 Jun, 2020 1 commit
  7. 23 Jun, 2020 2 commits
  8. 22 Jun, 2020 1 commit
  9. 13 Jun, 2020 1 commit
  10. 11 Jun, 2020 2 commits
  11. 09 Jun, 2020 2 commits
  12. 08 Jun, 2020 1 commit
  13. 04 Jun, 2020 1 commit
  14. 03 Jun, 2020 2 commits
    • Add support for serial tail calls. · a81e082d
      Currently once we are serial no more parallel strains are executed. However, this could be changed using strain local resources in the future.
      FritzFlorian committed
    • Add prototype support for other, strain_local resources. · 6394b203
      The strain_local resources can be used to get unique IDs for resources that would, in a serial execution, only be used once in the call chain. This is a first prototype implementation and needs further tesitng. The current implementation adds linear overhead to each steal proportional to the number of used  resources. We might be able to reduce it, but for a first version it is fine.
      FritzFlorian committed
  15. 29 May, 2020 3 commits
  16. 27 May, 2020 1 commit
  17. 26 May, 2020 1 commit
  18. 19 May, 2020 1 commit
  19. 18 May, 2020 2 commits
  20. 17 May, 2020 1 commit
  21. 16 May, 2020 1 commit
  22. 15 May, 2020 1 commit
  23. 24 Apr, 2020 3 commits
  24. 23 Apr, 2020 1 commit
  25. 17 Apr, 2020 1 commit