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
478f56b
Rust: Convert split_off QL-defined barrier to a neutral model (which was always the intent).
geoffw0
committed
f2dc585

Commits on Mar 6, 2026

Merge branch 'main' into splitoff2
geoffw0
authored
d81b9aa