diff options
| author | Alasdair Armstrong | 2018-09-06 14:26:36 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-09-06 14:51:22 +0100 |
| commit | b04f8c9dfa599b48544bac024eaa78e6b93c29d4 (patch) | |
| tree | c66d7808cf49c42e0a6641a315007a4057ef8457 /riscv/platform_main.ml | |
| parent | d27c1dcae22d624e0ba8ec5c6790b1466fb2a3e3 (diff) | |
Allow options to be set in the interactive mode
Also allow options to be set via a pragma in Sail files
Diffstat (limited to 'riscv/platform_main.ml')
0 files changed, 0 insertions, 0 deletions