-
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.
cc62f6c0
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.