minirust icon indicating copy to clipboard operation
minirust copied to clipboard

Published 20 hours ago • verified publisher icon RalfJung

Support for CHERI

Open RalfJung opened this issue 2 years ago • 7 comments

Currently MiniRust defines how pointers are encoded and decoded pretty precisely. This might be too restrictive for CHERI so we might have to figure out a way to leave this more abstract.

RalfJung avatar Nov 01 '22 17:11 RalfJung