Skip to content

fix: align checker numeric semantics with runtime - #83

Merged
rmichaelthomas merged 2 commits into
mainfrom
fix/numeric-checker-runtime-semantics
Oct 11, 2026
Merged

fix: align checker numeric semantics with runtime#83
rmichaelthomas merged 2 commits into
mainfrom
fix/numeric-checker-runtime-semantics

test: cover named numeric arithmetic intermediates

ba95ae4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar