[herd] Improvements for vmsa+ifetch - #1940

[herd] Improvements for vmsa+ifetch#1940

artkhyzha wants to merge 2 commits into

herd:masterherd/herdtools7:masterfrom

artkhyzha:artem-vmsa-for-ifetchartkhyzha/herdtools7:artem-vmsa-for-ifetchCopy head branch name to clipboard