platforms icon indicating copy to clipboard operation
platforms copied to clipboard

Add RISC-V extension constraints

Open tpudlik opened this issue 1 year ago • 0 comments

Mini design document: https://docs.google.com/document/d/18pFUSWH0vN-R0AfIC5Wk5yWzE3Rhe0miDI5TgPRj2s4/edit#

This PR is intended for discussion, I don't think it's necessarily ready to be merged. (In particular, I'm not sure if privileged execution modes are correctly modeled; see the design document.)

@aiuto

tpudlik avatar Mar 02 '23 00:03 tpudlik