Repository navigation

fix(core, analyzer): Fix method boundary instructions - #407

Merged

Saloed merged 4 commits into

mainfrom

saloed/method-exit-rules

Sep 30, 2026

Merged

fix(core, analyzer): Fix method boundary instructions#407
Saloed merged 4 commits into
mainfrom
saloed/method-exit-rules

Commits on Sep 30, 2026
- fix(jvm): add method boundary instructions to generated methods
  
  Saloed
  and
  claude
  committed
  1ec5a0c
- refactor(jvm): apply method exit rules on exit boundary instructions
  
  Saloed
  and
  claude
  committed
  8f72b18
- refactor(jvm): dispatch method exit boundaries explicitly
  
  Saloed
  and
  claude
  committed
  26beb0d
- refactor(jvm): drop alias handling from the method exit precondition
  
  Saloed
  and
  claude
  committed
  30ba14f