diff options
| author | Robert Norton | 2016-07-28 13:37:15 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-07-28 13:37:19 +0100 |
| commit | 74aef0cc74487bbc1646f1761d573f572935a9c7 (patch) | |
| tree | 16be52305f63f558138d7ee70696b69cae4ac221 /src/gen_lib/state.lem | |
| parent | 0d83a7f890799d3ebee7229ea8d5c2c9681a27c2 (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/gen_lib/state.lem')
0 files changed, 0 insertions, 0 deletions
