Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
theories
heap_lang
adequacy.v
Find file
Blame
History
Permalink
rename gen_heap_ctx -> gen_heap_interp, and similar for proph_map_ctx
· e31517d5
Ralf Jung
authored
Oct 13, 2020
e31517d5