diff options
| author | Prashanth Mundkur | 2018-01-29 08:48:57 -0800 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-01-29 09:38:49 -0800 |
| commit | 23c9f3dc615f034dffb95fe0ba2bbce237381dc5 (patch) | |
| tree | b903cb067c8b14d04685bbb4a71289cbf55c4663 /src/ast_util.mli | |
| parent | dfd8939377c2802d9ff5be3d36abcafd59c90f16 (diff) | |
Add satp to CSR dummy implemented predicate. Also direct the illegal instruction exception through the exception handler.
Diffstat (limited to 'src/ast_util.mli')
0 files changed, 0 insertions, 0 deletions