Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Also, since do_head_step no longer has a purpose, I have removed it and just use a bunch of eauto hints.
Robbert Krebbers authoredAlso, since do_head_step no longer has a purpose, I have removed it and just use a bunch of eauto hints.
