Repository navigation

codegen: skip IR emission for spec and proof functions - #8

Merged

SwayamInSync merged 3 commits into

mainfrom

fix/codegen-spec-proof-ghost-filtering

Apr 16, 2026

Commits on Apr 16, 2026

codegen: skip IR emission for spec and proof functions
SwayamInSync
committed
a6746e9
fix the codegen-zero cost test
SwayamInSync
committed
ffc2c8a
gate codegen to allow normal builds to skip densemap lookup
SwayamInSync
committed
ec3c69d