Skip to content

codegen: lower match to scrutinee-save + chained i64.eq + nested if (closes #43)#61

Merged
proofmancer merged 1 commit into
mainfrom
codegen/match
May 25, 2026
Merged

codegen: lower match to scrutinee-save + chained i64.eq + nested if (closes #43)#61
proofmancer merged 1 commit into
mainfrom
codegen/match

codegen: lower match to scrutinee-save + chained i64.eq + nested if (…

ad2f67d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar