diff options
| author | Brian Campbell | 2019-05-01 15:22:25 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-06 16:36:45 +0100 |
| commit | 157935a2394cf900a0e74830f5ea4dc545238c6f (patch) | |
| tree | 4bd856c2c9e3ee4ea377f5ee74350ee87b3bac8d /src/sail_lib.ml | |
| parent | 88a3cf88630d10619c0ef0f03a74a5fa8e935ce9 (diff) | |
Don't initialise registers in interpreter when register accesses not allowed
Avoids having to handle unexpected undefined values during constant
propagation.
Diffstat (limited to 'src/sail_lib.ml')
0 files changed, 0 insertions, 0 deletions