search

CHERIoT-Platform / cheriot-sail

Sail code model of the CHERIoT ISA
Other
34 stars 9 forks source link

Detect and abort if trapping with untagged MTCC. #84

Closed nwf closed 1 week ago

nwf commented 1 week ago

While here, speed up compilation so future work isn't as painful.