1. 24 Feb, 2021 5 commits
  2. 23 Feb, 2021 6 commits
  3. 22 Feb, 2021 3 commits
  4. 19 Feb, 2021 1 commit
  5. 18 Feb, 2021 1 commit
  6. 17 Feb, 2021 1 commit
  7. 15 Feb, 2021 2 commits
  8. 10 Feb, 2021 4 commits
  9. 09 Feb, 2021 2 commits
  10. 05 Feb, 2021 7 commits
  11. 04 Feb, 2021 3 commits
  12. 03 Feb, 2021 3 commits
  13. 30 Jan, 2021 1 commit
    • Ralf Jung's avatar
      support function calls without affecting local lifetime context · 7ce2a43b
      Ralf Jung authored
      Thread through the "max" fraction of the token that we have, and remove the
      persistence modality around the lifetime-end view shift so that it can
      implicitly own enough tokens to combine with that "max" fraction to end the
      lifetime. The advantage is that ending the lifetime only needs the whole token
      for *one* of the involved intersected lifetimes.
      7ce2a43b
  14. 29 Jan, 2021 1 commit