Skip to content

affected-set: PARTIAL witness (a) foundation — edited_test_fns axis (#5994) - #6072

Merged
briansrls merged 15 commits into
mainfrom
session/vivid-owl-377-witness-a
Jul 1, 2026
Merged

affected-set: PARTIAL witness (a) foundation — edited_test_fns axis (#5994)#6072
briansrls merged 15 commits into
mainfrom
session/vivid-owl-377-witness-a

fix: floor_test_fn_declaration_edited matches Rust decl span (#6072)

9af2e75
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar