Skip to content

repsel: discharge the numeric-field proof at element-GROUP scope so proven reads drop js_number_coerce (#7770) - #7774

Merged
proggeramlug merged 5 commits into
mainfrom
repsel/7770-ptr-shape-raw-f64-load
Aug 10, 2026
Merged

repsel: discharge the numeric-field proof at element-GROUP scope so proven reads drop js_number_coerce (#7770)#7774
proggeramlug merged 5 commits into
mainfrom
repsel/7770-ptr-shape-raw-f64-load

test: exclude the numeric-proof parity fixture from the repsel corpus

a63797d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar