Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
refinedc
theories
lang
heap.v
Find file
Blame
History
Permalink
More support comparing pointers with 0 in the front end + rules for if and assert on pointers.
· 3d4a9844
Rodolphe Lepigre
authored
Aug 03, 2021
and
Michael Sammler
committed
Aug 03, 2021
3d4a9844