diff options
| author | Thomas Bauereiss | 2018-12-03 12:42:32 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-12-03 12:42:32 +0000 |
| commit | b4495040178bc7552acc76c14de7151583456ee6 (patch) | |
| tree | 61c3d4cc30fc404bb190bebef30afdbc84ce5ec5 /src/gen_lib/sail2_string.lem | |
| parent | 747999f5c9f9234d04ef9e574a415a88e2bcb52b (diff) | |
Make names of memory r/w events more consistent
Use E_read_memt for reading tagged memory, as in sail2_impl_base.lem,
and rename E_write_mem to E_write_memt, since it always writes a tag.
Diffstat (limited to 'src/gen_lib/sail2_string.lem')
0 files changed, 0 insertions, 0 deletions