diff options
| author | Shaked Flur | 2017-09-26 09:12:37 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-09-26 09:12:37 +0100 |
| commit | 5cb198d1f9e944a9a7f7c4c01640ff8136b0e0ab (patch) | |
| tree | 6575d74926d55ecfa3af1552190a9b5bbde8866d /src/initial_check.ml | |
| parent | 8ca00a2729ed477183afeeb1ad20b5a0fc23dc82 (diff) | |
RISC-V: check alignment of atomic memory accesses (and escape when misaligned)
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions