diff options
| author | Robert Norton | 2018-05-01 15:05:54 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-01 15:05:54 +0100 |
| commit | f2aa97392d597ec0622c3a94585cf63d79eb6c81 (patch) | |
| tree | 4088ae729dcf95c5eff58102c931281416626a21 /src/lem_interp/run_interp.ml | |
| parent | cddff541c239689734ceca75c53fcdc0ae662071 (diff) | |
cheri256: switch to using absolute address (cursor) instead of offset (relative) representation in capability registers, making register and memory format the same and slightly simplifying code. Next step: use struct representation in registers eliminating many conversions between struct and bits?
Diffstat (limited to 'src/lem_interp/run_interp.ml')
0 files changed, 0 insertions, 0 deletions