Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
refinedc
theories
typing
optional.v
Find file
Blame
History
Permalink
allow opening invariants around typed_read_end and typed_write_end
· ccdf71c5
Michael Sammler
authored
Jul 28, 2021
ccdf71c5