Repository navigation
Prune reduplication matches whose copies cannot agree - #519
Merged
Merged
Commits
Commits on Oct 21, 2026
- committed
- committed
- committed
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
Skip the copy-agreement predicate for a part that is only repeated because the rule also modifies it
andcommitted- andcommitted