diff options
| author | Prashanth Mundkur | 2018-06-08 14:52:49 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-06-08 14:52:49 -0700 |
| commit | 4d0eee64305705239b40c7b3328d45180a60f964 (patch) | |
| tree | d83aecee542d4fab101cc62c8e94862b18beeccd /src/state.ml | |
| parent | e9c0f8403a8c4b55aeed2173740f11714edf4c8b (diff) | |
Make the simulation loop use the platform interface to detect exits via htif.
Diffstat (limited to 'src/state.ml')
0 files changed, 0 insertions, 0 deletions