Skip to content
GitLab
Explore
Sign in
Paolo G. Giarrusso
iris
Repository
iris
algebra
sts.v
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