Skip to content

Enhance Remergeables.distinct to operate on remergeable sets#345

Merged
jasone merged 1 commit into
BranchTaken:mainfrom
jasone:distinct
Jul 7, 2026
Merged

Enhance Remergeables.distinct to operate on remergeable sets#345
jasone merged 1 commit into
BranchTaken:mainfrom
jasone:distinct

Conversation

@jasone

@jasone jasone commented Jul 7, 2026

Copy link
Copy Markdown
Contributor

Rather than recording a single bidirectional mapping for a distinct pair, record mappings from all state nubs in one distinct mergeable set to all state nubs in the other distinct mergeable set.

Rather than recording a single bidirectional mapping for a distinct pair, record
mappings from all state nubs in one distinct mergeable set to all state nubs in
the other distinct mergeable set.
@jasone jasone self-assigned this Jul 7, 2026
@jasone jasone merged commit d92d3bb into BranchTaken:main Jul 7, 2026
4 checks passed
@jasone jasone deleted the distinct branch July 7, 2026 02:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant