Rust: Update split_off models#21376

Open

geoffw0 wants to merge 3 commits intogithub:mainfrom

geoffw0:splitoff2

Commits on Feb 26, 2026

Rust: Move the existing 'alloc' neutral models into alloc.model.yml.
geoffw0
committed
Rust: Convert split_off QL-defined barrier to a neutral model (which was always the intent).
geoffw0
committed

Commits on Mar 6, 2026

Merge branch 'main' into splitoff2
geoffw0
authored