program_logic/sts.v · 48d0c51ae94fe94e1030c46bc591bc6f1d331a4d · Marianna Rapoport / iris-coq · GitLab

Find file Blame History Permalink

*finally* arrive at the weakening for STS state asswrtions that we need · 48d0c51a
Ralf Jung authored Feb 15, 2016
```
Turns out it only holds as a view shift, not as an implication
```
48d0c51a