diff options
| author | Kathy Gray | 2014-03-07 19:09:52 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-03-07 19:10:37 +0000 |
| commit | 5aa26527f071d2ca093455db39e5cd9273f35e95 (patch) | |
| tree | 89192bb48c59b2875e1cf53b8f0cafa97cd79d02 /src/process_file.mli | |
| parent | 7661dc91a4c62dc3c36357662a9902472e467604 (diff) | |
Treat registers as values when not being actively read or written to, so that we can have a vector of registers for example.
Also, register types can be explicitly referenced.
Diffstat (limited to 'src/process_file.mli')
0 files changed, 0 insertions, 0 deletions