Rust: Update split_off models#21376

Merged

geoffw0 merged 3 commits into

github:mainfrom

geoffw0:splitoff2

Mar 9, 2026

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