Skip to content

Fix for join_into status result when root value is changed - #142

Merged
luketpeterson merged 1 commit into
masterfrom
bugfix/join_into_status_for_root_val
Sep 27, 2026
Merged

luketpeterson merged 1 commit into
masterfrom
bugfix/join_into_status_for_root_val

Fixing https://github.com/Adam-Vandervorst/PathMap/issues/139 and add…

276fca0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Sep 27, 2026 in 10s