diff options
| author | Prashanth Mundkur | 2018-07-08 21:36:09 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-07-08 21:36:09 -0700 |
| commit | b9d6151e8671a03eb58f2065e85367fff0a27cf0 (patch) | |
| tree | bef1863221efebc4b4fc9ca7f16d081111b234c2 /lib/coq | |
| parent | 24860b61c062175fc4db391c8bb5113a108ea82f (diff) | |
Make the riscv fetch-execute loop return instead of exiting when done.
Diffstat (limited to 'lib/coq')
0 files changed, 0 insertions, 0 deletions