Skip to content

Copy a loop-body local to the loop head only when a nested loop needs it and it can be moved - #4957

Open
kasimte wants to merge 10 commits into
model-checking:mainfrom
kasimte:fix-4911-loophead-call-move
Open

Copy a loop-body local to the loop head only when a nested loop needs it and it can be moved#4957
kasimte wants to merge 10 commits into
model-checking:mainfrom
kasimte:fix-4911-loophead-call-move

Commits

  1. Commits on Oct 22, 2026

  2. Commits on Nov 2, 2026

  3. Commits on Nov 3, 2026