Closed andrew-appel closed 3 months ago
In tactic solve_store_rule_evaluation, change
solve_store_rule_evaluation
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.
forward
duplicates #748
In tactic
solve_store_rule_evaluation
, changeto
and that will sometimes make
forward
100x faster.