Forked from
Iris / Iris
5839 commits behind the upstream repository.
-
Robbert Krebbers authored
This also removes the double use of the name 'wp_fork' in both program_logic/weakestpre and heap_lang/lifting.
Robbert Krebbers authoredThis also removes the double use of the name 'wp_fork' in both program_logic/weakestpre and heap_lang/lifting.
