search

rems-project / sail-arm

Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
Other
71 stars 18 forks source link

add TakeException barrier type #10

Closed bensimner closed 3 years ago

bensimner commented 3 years ago

add a TakeException event that can be pulled out during axiomatic modelling

haven't tested this yet