Model Address Space Compz

[sid-agrawal]

We need to show more evidence that the model can capture

• Intel MPK
• ARM MD
• MTE
• CHERI
• SpaceJMP and LWC (What we have in the current verion is not enough)

[sid-agrawal]

Duplicate of #35