Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
The proof now uses the stronger notion of memory permutation instead of a more general memory refinement. We have also proven that memory permutations are symmetric.
Robbert Krebbers authoredThe proof now uses the stronger notion of memory permutation instead of a more general memory refinement. We have also proven that memory permutations are symmetric.
