Do witness resolution & forwarding in Converter - #3049

Merged

nordlander merged 7 commits into

mainfrom

converter-witness-forwarding

Aug 19, 2026

Commits on Aug 17, 2026

Snapshot conversion and codegen for unfilled witness slots
Kristian Larsson
committed
b65a1ce
Forward witness slots in Converter, not CodeGen
Kristian Larsson
committed
ad470e0

Commits on Aug 19, 2026

Align parentTEnv order with other TEnvs
Johan Nordlander
committed
04a56fb
Extend clash test to cover all inherited signatures
Johan Nordlander
committed
f087c9d
Update golden test w.r.t. changed parentTEnv order
Johan Nordlander
committed
d8f89d3
Adapt to previous parentTEnv reversal
Johan Nordlander
committed
e963b34
Update golden files again
Johan Nordlander
committed
c89a9a8