diff options
| author | Robert Norton | 2016-04-22 12:36:18 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-22 12:36:18 +0100 |
| commit | 70da83060e4fdb49afa352edf7201e005eb25a31 (patch) | |
| tree | fff8d84ca14af5a23a66f6c71791df6bdb72020e /src/lem_interp/interp_inter_imp.lem | |
| parent | af4841d5fa173e2d9639afe737d9cdfab733c935 (diff) | |
Add address calculation wrapper to constrain and translate standard mips loads/stores via c0 under cheri. Length checks for unaligned loads/stores are not correct and there seems to be no tests...
Diffstat (limited to 'src/lem_interp/interp_inter_imp.lem')
0 files changed, 0 insertions, 0 deletions