summaryrefslogtreecommitdiff
path: root/src/sail_lib.ml
diff options
context:
space:
mode:
authorRobert Norton2016-07-28 13:37:15 +0100
committerRobert Norton2016-07-28 13:37:19 +0100
commit74aef0cc74487bbc1646f1761d573f572935a9c7 (patch)
tree16be52305f63f558138d7ee70696b69cae4ac221 /src/sail_lib.ml
parent0d83a7f890799d3ebee7229ea8d5c2c9681a27c2 (diff)
Banish exit from the mips/cheri sail except at end of SignalException function. There is a plan to replace this syntax with something more understandable. Should make no functional difference using sequential interpretor but will need to do some work on exception functions when integrating with ppcmem so that it know register writes are exceptional etc.
Diffstat (limited to 'src/sail_lib.ml')
0 files changed, 0 insertions, 0 deletions