Closed RunDevelopment closed 11 months ago
Changes:
apply-assertions
remove-unnecessary-assertions
simplify
Changes:
apply-assertions
will rewrite loops more aggressively.remove-unnecessary-assertions
.remove-unnecessary-assertions
twice insimplify
to avoid undoing the loop rewriting ofapply-assertions
.