Code

Implement explicit snapshots#16

Code

Draft

vweevers wants to merge 2 commits intomainLevel/memory-level:mainfrom explicit-snapshotsLevel/memory-level:explicit-snapshotsCopy head branch name to clipboard

+39-10

Commits

Commits on Dec 22, 2024

• Temporarily use Level/abstract-level#explicit-snapshots

  vweevers

  committed
  f394ea3

Commits on Dec 23, 2024

• Implement explicit snapshots

  Show description for 22e9e64
  vweevers

  committed
  22e9e64