theories/lang/lang.v · b6b86ac1a0efc20eacadaefe104894c0afa1aafb · Iris / RefinedC · GitLab

Find file Blame History Permalink

Operational semantics for intptr casts + CMRA. · b6b86ac1
Rodolphe Lepigre authored Nov 30, 2020 and Michael Sammler committed Dec 04, 2020
```
Co-authored-by: Michael Sammler <msammler@mpi-sws.org>
```
b6b86ac1