Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
iris
adequacy.v
Find file
Blame
History
Permalink
strengthen adequacy: allow ownership of an arbitrary valid ghost in the beginning
· a6f31142
Ralf Jung
authored
Jan 25, 2016
a6f31142