diff options
| author | Thomas Bauereiss | 2017-08-29 17:15:20 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-08-29 17:47:16 +0100 |
| commit | 2c3608d421db5978958f010c34e83346ae06fdaa (patch) | |
| tree | 5e8469be4b5a057dc0fa43ef07ee0d812c6d98e6 /mips_new_tc/mips_extras_embed.lem | |
| parent | 80a65e821d52fcc414b50f33d0dff60f7a38bd5f (diff) | |
Expand Nexp_id's in sizeof rewriting (e.g. cap_size_t in CHERI)
Also, rewrite expressions in global let bindings (not only function bodies)
Diffstat (limited to 'mips_new_tc/mips_extras_embed.lem')
0 files changed, 0 insertions, 0 deletions