Skip to content

Unwrap substitutions both before _and_ after potential simplification#32116

Merged
weswigham merged 9 commits intomicrosoft:masterfrom
weswigham:unwrap-substitutes-post-simplification
Feb 26, 2020
Merged

Unwrap substitutions both before _and_ after potential simplification#32116
weswigham merged 9 commits intomicrosoft:masterfrom
weswigham:unwrap-substitutes-post-simplification

Commits

Commits on Aug 19, 2019

Commits on Sep 24, 2019

Commits on Feb 10, 2020

Commits on Feb 25, 2020

Commits on Feb 26, 2020