Skip to content

Fixing issue #845#846

Merged
marcoeilers merged 4 commits into
masterfrom
meilers_fix_845
Jun 7, 2024
Merged

Fixing issue #845#846
marcoeilers merged 4 commits into
masterfrom
meilers_fix_845

Conversation

@marcoeilers

@marcoeilers marcoeilers commented Jun 7, 2024

Copy link
Copy Markdown
Contributor
  • When we need a snapshot map without a domain, we can take a cached one that does have a domain if the domain condition is true
  • When we create a new snapshot map to define the snapshot of consuming a single location, it does not need a domain.

Fixes #845 and #844.

@marcoeilers marcoeilers enabled auto-merge (squash) June 7, 2024 15:19
@marcoeilers marcoeilers merged commit 2209768 into master Jun 7, 2024
@marcoeilers marcoeilers deleted the meilers_fix_845 branch July 1, 2024 13:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Does not regonize heap dependent function as trigger

1 participant