theories/lang/lifting.v · 89bbb46f145160369124eaaba1f10dedb0939a62 · Iris / RefinedC · GitLab

Find file Blame History Permalink

Adding rules for intptr casts + examples. · 89bbb46f
Rodolphe Lepigre authored Dec 09, 2020
```
Co-authored-by: Michael Sammler <msammler@mpi-sws.org>
```
89bbb46f