Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
heap_lang
proofmode.v
Find file
Blame
History
Permalink
Also use `solve_vals_compare_safe` in TWP case of `wp_pure`.
· 9917cdfa
Robbert Krebbers
authored
May 15, 2020
9917cdfa