Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
refinedc
theories
lang
heap.v
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