1. 03 Aug, 2020 1 commit
  2. 31 Jul, 2020 1 commit
  3. 22 Jul, 2020 6 commits
  4. 04 Jul, 2020 1 commit
  5. 30 Jun, 2020 2 commits
  6. 28 Jun, 2020 1 commit
  7. 24 Jun, 2020 1 commit
  8. 23 Jun, 2020 2 commits
  9. 22 Jun, 2020 1 commit
  10. 13 Jun, 2020 1 commit
  11. 11 Jun, 2020 2 commits
  12. 09 Jun, 2020 2 commits
  13. 08 Jun, 2020 1 commit
  14. 04 Jun, 2020 1 commit
  15. 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
  16. 29 May, 2020 3 commits
  17. 27 May, 2020 1 commit
  18. 26 May, 2020 1 commit
  19. 19 May, 2020 1 commit
  20. 18 May, 2020 2 commits
  21. 17 May, 2020 1 commit
  22. 16 May, 2020 1 commit
  23. 15 May, 2020 1 commit
  24. 24 Apr, 2020 3 commits
  25. 23 Apr, 2020 1 commit