Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
iris
base_logic
lib
ghost_map.v
Find file
Blame
History
Permalink
Merge branch 'ralf/ghost-map' into 'master'
· 79074660
Ralf Jung
authored
Mar 08, 2021
Use ghost_map in proph_map and gen_heap See merge request
iris/iris!645
79074660