Properly define memory model of mem_space #15
Description
Guarantees and non-guarantees of arch::mem_space need to be spelled out explicitly.
{{ message }}
Guarantees and non-guarantees of arch::mem_space need to be spelled out explicitly.