l4v icon indicating copy to clipboard operation
l4v copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Remove instances of `UNIV <\inter>` from CRefine

Open Xaphiosis opened this issue 1 year ago • 0 comments

Non-ancient tech can now handle the absence of the extra UNIV. When there's an opportunity, we should remove the UNIV <\inter> idiom from CRefine on all arches.

Xaphiosis avatar Oct 25 '23 05:10 Xaphiosis