Handling escaped variables in region analysis#989

Draft

vesalvojdani wants to merge 8 commits into

Commits on Nov 17, 2023

Merge branch 'master' into region-escape
sim642
committed

Commits on May 7, 2026

Add regression test for pthread argument escape in region analysis

Copilot
and
michael-schwarz
authored
Update CI workflows and opam lock file to match current master

Copilot
and
michael-schwarz
authored