• Robbert Krebbers's avatar
    Make wp_tactics more robust. · d1fc135b
    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.
    d1fc135b
Name
Last commit
Last update
..
derived.v Loading commit data...
heap.v Loading commit data...
lang.v Loading commit data...
lifting.v Loading commit data...
notation.v Loading commit data...
par.v Loading commit data...
spawn.v Loading commit data...
substitution.v Loading commit data...
tactics.v Loading commit data...
tests.v Loading commit data...
wp_tactics.v Loading commit data...