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

Commits

Commits on May 1, 2026