diff options
| author | Robert Norton | 2016-11-03 16:28:20 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-11-03 16:28:31 +0000 |
| commit | aeb83c296e6ca169ef6483562935f7b72bdb2db7 (patch) | |
| tree | 174e7110bee3c300fd87caca121667cf94e53af5 /src/lem_interp/run_interp_model.ml | |
| parent | b1970df86db7589a1415e5b76397119a255e2dde (diff) | |
split out RI node so that ppcmem model does not implement reserved instruction exception behaviour but sequential model does (for test suite).
Diffstat (limited to 'src/lem_interp/run_interp_model.ml')
0 files changed, 0 insertions, 0 deletions