solve_store_rule_evaluation
andrew-appel opened this issue · comments
In tactic solve_store_rule_evaluation
, change
change (upd_reptype t gfs h0 h1 = rhs);
to
change (@upd_reptype cs t gfs h0 h1 = rhs);
and that will sometimes make forward
100x faster.
duplicates #748