diff options
| author | Alasdair Armstrong | 2017-07-25 15:06:23 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-25 15:06:23 +0100 |
| commit | 3ff8009f1dc81593a972eb2050f7e1159aba718a (patch) | |
| tree | 6cad4b9def8550d02fb67032a6598c3985ddfc19 /src/spec_analysis.ml | |
| parent | 5c306614427179282c8747a6fa6c34637c64ca68 (diff) | |
Improved l-expressions
- Fixed a bug where some l-expressions which wrote registers wern't
picking up register writes.
- Can now write to registers with record types. e.g. ARM's ProcState
record from ASL.
Diffstat (limited to 'src/spec_analysis.ml')
0 files changed, 0 insertions, 0 deletions