diff options
| author | Kathy Gray | 2015-12-07 18:54:42 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-12-07 18:54:42 +0000 |
| commit | 164ad7d6660095e89e1963625f358ba4dc172c81 (patch) | |
| tree | 3b5637d4ab4dd80cc3b88c02480a6009ce56f457 /src/lem_interp/printing_functions.ml | |
| parent | b677e1579577b59219ba4673e45ebf7c6609046f (diff) | |
Reading of register slices and bits should now be tagged and effect annotated properly, as well as field accesses.
Writing of register slices and bits still look like writes of full registers from tags and effects (probably, if it works, it's an accident)
WARNING: interpreter still not up to date with this change
Diffstat (limited to 'src/lem_interp/printing_functions.ml')
0 files changed, 0 insertions, 0 deletions