diff options
| author | Brian Campbell | 2018-08-07 11:02:09 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-07 11:14:20 +0100 |
| commit | f9282ab5dec29d7ec99d473d013d32b41a0b8dbc (patch) | |
| tree | 97908cf43a4eb858a6be57e7b370eba503b6cf03 /src/spec_analysis.mli | |
| parent | 6538b63c944e32692447423829f8f4e91428b473 (diff) | |
Improve cast introduction for Lem
Handles mutable variables and conditionals (there are still some corner
cases that don't appear in Aarch64 to do).
The pretty printer is now back to preferring to use concrete types, but
has a special case for casts to print more general types.
Diffstat (limited to 'src/spec_analysis.mli')
0 files changed, 0 insertions, 0 deletions