Skip to content

IRGen: fix EnumConstantDecl miscompile + verifier; symex: structural Concat fold for byte shadows#588

Merged
kumarak merged 2 commits into
mainfrom
feature/irgen-decl-ref-fix
May 1, 2026
Merged

IRGen: fix EnumConstantDecl miscompile + verifier; symex: structural Concat fold for byte shadows#588
kumarak merged 2 commits into
mainfrom
feature/irgen-decl-ref-fix

symex: structural Concat-fold for byte-shadow load/store round-trips

0c47ba8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar