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