Skip to content

Fix join_into overwriting a destination that holds the source - #116

Merged
luketpeterson merged 2 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/join-into-holds-source
Sep 19, 2026
Merged

Fix join_into overwriting a destination that holds the source#116
luketpeterson merged 2 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/join-into-holds-source

Merge branch 'master' into fix/join-into-holds-source

1f1bbe2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Sep 19, 2026 in 8s