diff options
| author | Alasdair Armstrong | 2017-10-26 14:58:49 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-10-26 14:58:49 +0100 |
| commit | 68d109416999f31bf0674516e69d56ea9995be0d (patch) | |
| tree | 31f922c8a9500272c8b2b1eec4cc1c92d41023ee /etc/mips_header | |
| parent | 5fc7d18f2ab65100b2a0894daae874145b5d6813 (diff) | |
Updated ocaml backend so tracing instrumentation is optional.
Cleaned up the option list in sail.ml
Diffstat (limited to 'etc/mips_header')
0 files changed, 0 insertions, 0 deletions