Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
program_logic
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