Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Tactics like wp_proj should always solve all to_val side-conditions. The tactic wp_done is used to handle these in a uniform way.
Robbert Krebbers authoredTactics like wp_proj should always solve all to_val side-conditions. The tactic wp_done is used to handle these in a uniform way.
